diff options
Diffstat (limited to 'dev-ada/gps-bin/Manifest')
| -rw-r--r-- | dev-ada/gps-bin/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ada/gps-bin/Manifest b/dev-ada/gps-bin/Manifest deleted file mode 100644 index 7def8be9a44d..000000000000 --- a/dev-ada/gps-bin/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST gnat-gpl-2016-x86_64-linux-bin.tar.gz 372813330 BLAKE2B a0374ad730ae275aaedcf5663c30f8e0221af32f14391fe87a3ce0630d4498a1e90671c02830d62f78857571a5a521af91f6db409a7b3c367c7b0f059571eefd SHA512 5115ac3be0badc5125ee048a98230f18363d72107da3325ce602c0e618cee2e3646a0decc00a2388f14bc61bfed51dd0622f365f5f7ee8b0cec2187ebcf8e075 |