Sat, 09 Nov 2024 22:49:04 UTC | login

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

Name/usr/share/texlive/texmf-dist/tex/generic/petri-nets
Digest (sha256)
Size0.00 B
Modification timeSat, 23 Jun 2018 09:01:57 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMtexlive-petri-nets-7:20180414-12.0.riscv64.fc29.noarch.rpm