Tue, 26 Nov 2024 16:25:26 UTC | login

Information for file /usr/lib/gap/pkg/groupoids-1.68/lib/grpgraph.gd

Name/usr/lib/gap/pkg/groupoids-1.68/lib/grpgraph.gd
Digest (sha256)c3d2ddf75af534386d72b5dcf5cd778a07cc3c72ab670f1bcb68529a16af32a5
Size11.44 KB
Modification timeWed, 04 Sep 2019 10:02:22 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-groupoids-1.68-3.fc33.noarch.rpm