Wed, 04 Dec 2024 01:20:53 UTC | login

Information for file /usr/share/gap/pkg/GAPDoc/lib/getdtd.g

Name/usr/share/gap/pkg/GAPDoc/lib/getdtd.g
Digest (sha256)53dc91edf00457b61ff486f1221977995c01827c5f63c8b64fb521a9b07b7140
Size3.19 KB
Modification timeFri, 01 Jul 2022 18:22:01 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMGAPDoc-1.6.6-5.fc38.noarch.rpm