Thu, 14 Nov 2024 10:45:28 UTC | login

Information for file /usr/share/gap/pkg/irredsol/data/gl_17_2.grp.gz

Name/usr/share/gap/pkg/irredsol/data/gl_17_2.grp.gz
Digest (sha256)553f83dda5f11b25387157a11c7b212f3d69b7521574a6cdc9571938cbd8f247
Size362.00 B
Modification timeMon, 18 Jan 2016 21:29:21 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-irredsol-1.4.4-11.fc41.noarch.rpm