diff options
Diffstat (limited to 'dev-ada/gnat_util/Manifest')
| -rw-r--r-- | dev-ada/gnat_util/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ada/gnat_util/Manifest b/dev-ada/gnat_util/Manifest new file mode 100644 index 000000000000..74f186b9a0a6 --- /dev/null +++ b/dev-ada/gnat_util/Manifest @@ -0,0 +1 @@ +DIST gnat_util-gpl-2016-src.tar.gz 1126296 SHA256 8e76d7eb1cbae1d3040b9e4196ab07d6e0dd5d4eeb3f5e0fbeb267b1a3470af5 SHA512 1edb67e762637e9e951356c7be402d7b2b903a05abdc93eadaf5ba98bc7bfa936b4fa2a2ae7eb986200dec755020e53d312d42769512fba2e290099f6030bbd0 WHIRLPOOL c2218ba14f669aa2412be4e0a42b1ffb475c720e608e73bca3bbe42dcaefe2dc4410c4632e0e900a8c72ed92c3ec670bd35935783f43c1eb0eb2cdb7afc4f63e |