Tue, 03 Dec 2024 14:18:15 UTC | login

Information for file /usr/share/texlive/texmf-dist/doc/generic/petri-nets/pndoc.tex

Name/usr/share/texlive/texmf-dist/doc/generic/petri-nets/pndoc.tex
Digest (sha256)53ccd44ed44c58d97b637124085d0d245c0f14c59b84a2528af372ae232128cd
Size42.33 KB
Modification timeFri, 25 Nov 2016 18:27:45 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-petri-nets-7:20180414-19.0.riscv64.fc29.noarch.rpm