Tue, 03 Dec 2024 12:48:07 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, 18 Jan 2020 11:10:21 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMtexlive-petri-nets-7:20190410-8.0.riscv64.fc32.noarch.rpm