Tue, 03 Dec 2024 14:56:03 UTC | login

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

Name/usr/share/texlive/texmf-dist/tex/generic/petri-nets/pnets.sty
Digest (sha256)c6085bebb86cc8e99d9fede2efa546ab29027f3668a82dab6b9fd9a068c7828a
Size154.00 B
Modification timeSat, 21 Nov 2020 16:48:44 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMtexlive-petri-nets-7:20200327-18.1.riscv64.fc33.noarch.rpm