Mon, 02 Dec 2024 20:10:01 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 timeFri, 24 Aug 2018 13:27:02 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMtexlive-petri-nets-7:20180414-19.0.riscv64.fc29.noarch.rpm