/usr/share/gap/pkg/irredsol/data/gl_22_2.grp.gz
3.91 KB
-rw-r--r--
File
- Name
- /usr/share/gap/pkg/irredsol/data/gl_22_2.grp.gz
- Digest (sha256)
- 01ad26b3670b4dbdf3134fab545c0df01cde17ff5a6c2ba09fd3b22176adbe67
- Size
- 3.91 KB
- Modification time
- Mon, 05 Apr 2021 17:03:18 UTC
- Flags
- none
- RPM
- gap-pkg-irredsol-1.4.6-1.fc45.noarch.rpm