Thu, 12 Dec 2024 10:24:54 UTC | login

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

Name/usr/share/texlive/texmf-dist/doc/generic/petri-nets
Digest (sha256)
Size0.00 B
Modification timeMon, 08 Jun 2020 20:53:38 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMtexlive-petri-nets-7:20200327-6.1.riscv64.fc33.noarch.rpm