diff options
Diffstat (limited to 'dev-ada/gnatcoll-db/Manifest')
| -rw-r--r-- | dev-ada/gnatcoll-db/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ada/gnatcoll-db/Manifest b/dev-ada/gnatcoll-db/Manifest deleted file mode 100644 index ecb7f53f2007..000000000000 --- a/dev-ada/gnatcoll-db/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST gnatcoll-db-2019-src.tar.gz 2405755 BLAKE2B 70db599e8fe90a1312c2078379c6cddf518159fd8eea8c958d1abf4f4ccc504c8296e0018b03fe7f145619b6f73d6ce38b7a43cfd73dd5e1df7eb1949aa81043 SHA512 89e941a786b1d9591f4cb9f5f7db02875bb37638be7efb88e31087900c8c10ac52680f1246f90cda6fbac1b9ab213bf364d88bf583ad262f17c0a647492019a3 |