diff options
Diffstat (limited to 'dev-ada/gnatcoll/Manifest')
| -rw-r--r-- | dev-ada/gnatcoll/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ada/gnatcoll/Manifest b/dev-ada/gnatcoll/Manifest deleted file mode 100644 index 3fb4963a439a..000000000000 --- a/dev-ada/gnatcoll/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST gnatcoll-gpl-2017-src.tar.gz 5785988 BLAKE2B 828aff797f7d992bf3f5dda7f8ce8a79e97ecd98253a657fb6e79a2fd08aac97e19cb421f47010f8c1f26442a013b9126ab3a95353d9ce0f29d071601e9dfe2f SHA512 e8b7f2c00816597f33496168bf8928841a2037e517908810761849e23633b2c229d47e4bfaa808e5a619da52bc165f17b8aefa5dee39ecf1a6773b3b1db80363 |