Information for file /usr/share/gap/pkg/irredsol/data/gl_10_4.grp.gz
Name | /usr/share/gap/pkg/irredsol/data/gl_10_4.grp.gz |
---|---|
Digest (sha256) | 4b599bc804f729756a95e7ee6d5957fe0a1b7139b04d4f8e90b07440bbfb46d0 |
Size | 6.83 KB |
Modification time | Sat, 12 Mar 2016 11:06:03 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | gap-pkg-irredsol-1.4.4-4.fc39.noarch.rpm |