Tue, 03 Dec 2024 06:19:24 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, 20 Nov 2020 21:43:55 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMtexlive-petri-nets-7:20200327-18.0.riscv64.fc33~bootstrap.noarch.rpm