Mon, 02 Dec 2024 00:54:14 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, 20 Nov 2020 21:43:55 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-petri-nets-7:20200327-18.0.riscv64.fc33~bootstrap.noarch.rpm