Thu, 20 Jun 2024 17:09:52 UTC | login

Information for file /usr/src/debug/gcc-13.2.1-6.0.riscv64.fc40.riscv64/gcc/ada/contracts.ads

Name/usr/src/debug/gcc-13.2.1-6.0.riscv64.fc40.riscv64/gcc/ada/contracts.ads
Digest (sha256)b20ea45c74daa10178c6bf8763d8c31837da3c276c4c2213dc588d63e6f738f9
Size12.41 KB
Modification timeTue, 05 Dec 2023 17:12:14 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgcc-debugsource-13.2.1-6.0.riscv64.fc40.riscv64.rpm