Wed, 27 Nov 2024 01:46:43 UTC | login

Information for file /usr/src/debug/zenon-0.8.5-22.fc40.riscv64/prove.ml

Name/usr/src/debug/zenon-0.8.5-22.fc40.riscv64/prove.ml
Digest (sha256)49c11a64e07b5edf3fdba13a94fb7c95509533b710bed6b34bf06e927ac0d028
Size42.85 KB
Modification timeFri, 23 Oct 2020 15:19:07 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMzenon-debugsource-0.8.5-22.fc40.riscv64.rpm