Tue, 25 Jun 2024 18:45:18 UTC | login

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

Name/usr/share/gap/pkg/irredsol/lib/util.gi
Digest (sha256)48799dbd268e04a0ab5365dd911289a35f72bca22788fc85a4dfd3a8377bc608
Size6.71 KB
Modification timeMon, 05 Apr 2021 17:03:46 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-irredsol-1.4.4-6.fc40.noarch.rpm