Mon, 17 Jun 2024 15:11:52 UTC | login

Information for file /usr/src/debug/nauty-2.6.11-2.fc31.riscv64/nauty/naurng.h

Name/usr/src/debug/nauty-2.6.11-2.fc31.riscv64/nauty/naurng.h
Digest (sha256)d32abb83d3204521474a32f069df580f8765e9d5d990ebe1fbd6307acf33eef7
Size1.19 KB
Modification timeSat, 27 Jul 2019 06:17:26 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMnauty-debugsource-2.6.11-2.fc31.riscv64.rpm