Mon, 16 Dec 2024 12:57:00 UTC | login

Information for file /usr/lib/gap/pkg/nautytracesinterface/gap/NautyGraph.gd

Name/usr/lib/gap/pkg/nautytracesinterface/gap/NautyGraph.gd
Digest (sha256)8ae54400226cfb1f5dbaa8fcb7647817a45951f620b4651129d6bca66b929ad0
Size1.65 KB
Modification timeTue, 10 Jul 2018 13:30:52 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgap-pkg-nautytracesinterface-0.2-5.20180710gitc037e1a.fc30.riscv64.rpm