diff options
Diffstat (limited to 'dev-ada/gps-bin/Manifest')
| -rw-r--r-- | dev-ada/gps-bin/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ada/gps-bin/Manifest b/dev-ada/gps-bin/Manifest new file mode 100644 index 000000000000..70e439d44a0a --- /dev/null +++ b/dev-ada/gps-bin/Manifest @@ -0,0 +1 @@ +DIST gnat-gpl-2016-x86_64-linux-bin.tar.gz 372813330 SHA256 d083c01e054d0aeda7c67967306cfa5a8df12268664f9098a2d9b331aa24dfe7 SHA512 5115ac3be0badc5125ee048a98230f18363d72107da3325ce602c0e618cee2e3646a0decc00a2388f14bc61bfed51dd0622f365f5f7ee8b0cec2187ebcf8e075 WHIRLPOOL 7802a81533e5faad9c6913a2feae4e57fa4ce54ad7b561b23fbb64fdd9fa4bf3753e3c89e8d8fe15dce7a1294def8a5a4252f6aa66b4aef98d5669c2d08e0dd5 |