Mon, 02 Dec 2024 15:34:26 UTC | login

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

Name/usr/share/texlive/texmf-dist/tex/generic/petri-nets/pntext.sty
Digest (sha256)8913ad31c87d11ce5eb0c6d2658ee8196e775b1c3a265918ac19d91ae679063c
Size1.78 KB
Modification timeSat, 18 Jan 2020 11:10:21 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMtexlive-petri-nets-7:20190410-8.0.riscv64.fc32.noarch.rpm