Sun, 16 Jun 2024 05:10:26 UTC | login

Information for file /usr/src/debug/gcc-13.0.1-0.12.0.riscv64.fc38.riscv64/gcc/ada/contracts.ads

Name/usr/src/debug/gcc-13.0.1-0.12.0.riscv64.fc38.riscv64/gcc/ada/contracts.ads
Digest (sha256)b20ea45c74daa10178c6bf8763d8c31837da3c276c4c2213dc588d63e6f738f9
Size12.41 KB
Modification timeSat, 01 Apr 2023 07:40:54 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgcc-debugsource-13.0.1-0.12.0.riscv64.fc38.riscv64.rpm