Tue, 03 Dec 2024 14:27:38 UTC | login

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

Name/usr/share/texlive/texmf-dist/doc/generic/petri-nets/README
Digest (sha256)695690e6d31db50e3ed676eb89676ccd306053bf2e636a928ab3b9fac8adcf53
Size889.00 B
Modification timeFri, 25 Nov 2016 18:27:45 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-petri-nets-7:20180414-19.0.riscv64.fc29.noarch.rpm