Mon, 02 Dec 2024 20:57:09 UTC | login

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

Name/usr/share/texlive/texmf-dist/tex/generic/petri-nets/pnversion.tex
Digest (sha256)6f2767d8fed1ed81c4e659ac8ca896160e0998c35bca9564252269d3493c685d
Size27.00 B
Modification timeSat, 21 Nov 2020 16:48:44 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMtexlive-petri-nets-7:20200327-18.1.riscv64.fc33.noarch.rpm