Tue, 18 Jun 2024 21:22:50 UTC | login

Information for file /usr/lib/gap/pkg/irredsol/lib/util.gi

Name/usr/lib/gap/pkg/irredsol/lib/util.gi
Digest (sha256)48799dbd268e04a0ab5365dd911289a35f72bca22788fc85a4dfd3a8377bc608
Size6.71 KB
Modification timeThu, 03 Aug 2017 14:01:45 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-irredsol-1.4-1.fc27.noarch.rpm