Sat, 30 Nov 2024 02:02:04 UTC | login

Information for file /usr/lib/gap/pkg/groupoids-1.68/lib/gpdgraph.gi

Name/usr/lib/gap/pkg/groupoids-1.68/lib/gpdgraph.gi
Digest (sha256)9f1007a403203c3613d191cd5f56c620a821a8d4917f13c700c1fcf41b7fa9a9
Size23.72 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