drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/doc/latex/petri-nets
|
-rw-r--r-- | 888 | root |
root |
/usr/share/texmf-dist/doc/latex/petri-nets/README
|
-rw-r--r-- | 201924 | root |
root |
/usr/share/texmf-dist/doc/latex/petri-nets/pndoc.pdf
|
-rw-r--r-- | 40026 | root |
root |
/usr/share/texmf-dist/doc/latex/petri-nets/pndoc.tex
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/source/latex/petri-nets
|
-rw-r--r-- | 18007 | root |
root |
/usr/share/texmf-dist/source/latex/petri-nets/COPYING
|
-rw-r--r-- | 2635 | root |
root |
/usr/share/texmf-dist/source/latex/petri-nets/pn2pdf
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/texmf-dist/tex/latex/petri-nets
|
-rw-r--r-- | 1099 | root |
root |
/usr/share/texmf-dist/tex/latex/petri-nets/pndraw.sty
|
-rw-r--r-- | 16155 | root |
root |
/usr/share/texmf-dist/tex/latex/petri-nets/pndraw.tex
|
-rw-r--r-- | 154 | root |
root |
/usr/share/texmf-dist/tex/latex/petri-nets/pnets.sty
|
-rw-r--r-- | 117 | root |
root |
/usr/share/texmf-dist/tex/latex/petri-nets/pnets.tex
|
-rw-r--r-- | 1819 | root |
root |
/usr/share/texmf-dist/tex/latex/petri-nets/pntext.sty
|
-rw-r--r-- | 1715 | root |
root |
/usr/share/texmf-dist/tex/latex/petri-nets/pntext.tex
|
-rw-r--r-- | 27 | root |
root |
/usr/share/texmf-dist/tex/latex/petri-nets/pnversion.tex
|