Tue, 25 Jun 2024 22:45:11 UTC | login

Information for file /usr/lib/gap/pkg/irredsol/data/gl_5_4.grp.gz

Name/usr/lib/gap/pkg/irredsol/data/gl_5_4.grp.gz
Digest (sha256)6584e7b2171d7be2d11369b0d7171132ea11ca642da74556dc9014bd7843011b
Size542.00 B
Modification timeMon, 18 Jan 2016 21:29:21 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-irredsol-1.3.1-1.fc25.noarch.rpm