drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/texlive-petri-nets-svn24088.0
|
lrwxrwxrwx | 35 | root |
root |
/usr/share/doc/texlive-petri-nets-svn24088.0/gpl.txt
|
-rw-r--r-- | 4733 | root |
root |
/usr/share/texlive/texmf-dist/tex/generic/petri-nets/pndraw.sty
|
-rw-r--r-- | 16512 | root |
root |
/usr/share/texlive/texmf-dist/tex/generic/petri-nets/pndraw.tex
|
-rw-r--r-- | 154 | root |
root |
/usr/share/texlive/texmf-dist/tex/generic/petri-nets/pnets.sty
|
-rw-r--r-- | 117 | root |
root |
/usr/share/texlive/texmf-dist/tex/generic/petri-nets/pnets.tex
|
-rw-r--r-- | 1819 | root |
root |
/usr/share/texlive/texmf-dist/tex/generic/petri-nets/pntext.sty
|
-rw-r--r-- | 1715 | root |
root |
/usr/share/texlive/texmf-dist/tex/generic/petri-nets/pntext.tex
|
-rw-r--r-- | 27 | root |
root |
/usr/share/texlive/texmf-dist/tex/generic/petri-nets/pnversion.tex
|