Mon, 09 Dec 2019 23:42:29 UTC

Information for file /usr/src/debug/gnatcoll-2018-2.fc31.aarch64/src/gnatcoll-io-remote.ads

Name/usr/src/debug/gnatcoll-2018-2.fc31.aarch64/src/gnatcoll-io-remote.ads
Digest (sha256)1b052444b819183fcb53f5964494f99686258996945d34851096ff8f1814377b
Size7158
Modification timeFri, 25 May 2018 05:42:27 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMgnatcoll-debugsource-2018-2.fc31.aarch64.rpm