Wed, 11 Dec 2024 21:38:22 UTC | login

Information for file /usr/src/debug/flint-2.5.2-27.fc31.riscv64/flint-2.5.2-gc/NTL-interface.h

Name/usr/src/debug/flint-2.5.2-27.fc31.riscv64/flint-2.5.2-gc/NTL-interface.h
Digest (sha256)ed6164ad6fd71837ba24916d309ae4aa9186ea22b34fcad231838521f6ab52b4
Size4.33 KB
Modification timeThu, 13 Aug 2015 16:16:22 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMflint-debugsource-2.5.2-27.fc31.riscv64.rpm