Sun, 22 Dec 2024 14:17:27 UTC | login

Information for file /usr/src/debug/gappa-1.3.2-3.fc30.riscv64/src/proofs/basic_proof.cpp

Name/usr/src/debug/gappa-1.3.2-3.fc30.riscv64/src/proofs/basic_proof.cpp
Digest (sha256)81f7dc88f61c75ffedab4c71e3d7e7e54e18b8d50630e56e0bfb6cf8256f4763
Size46.75 KB
Modification timeMon, 09 Jan 2017 17:00:42 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgappa-debugsource-1.3.2-3.fc30.riscv64.rpm