Sat, 14 Dec 2019 18:11:55 UTC

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

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