Tue, 26 Nov 2024 12:00:31 UTC | login

Information for file /usr/lib/gap/pkg/GAPDoc/lib/GAPDoc.gi

Name/usr/lib/gap/pkg/GAPDoc/lib/GAPDoc.gi
Digest (sha256)736998ccde3bd257e1d5762eb0eaa30ad9b70bd0bcf1b190a65fdec767e89f8e
Size28.78 KB
Modification timeTue, 16 Jul 2019 14:37:39 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMGAPDoc-1.6.3-1.fc31.noarch.rpm