summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2021-01-31 00:47:43 +0100
committerMichał Górny <mgorny@gentoo.org>2021-01-31 01:06:31 +0100
commit34b29c890e10bb160cb390da8b3dfbd7bfe02aa3 (patch)
treed596d261e8ac87b99c999c523d358d232acde6c9 /dev-ada/libadalang-tools/Manifest
parentdev-ada/gps: Remove last-rited pkg (diff)
downloadgentoo-34b29c890e10bb160cb390da8b3dfbd7bfe02aa3.tar.gz
gentoo-34b29c890e10bb160cb390da8b3dfbd7bfe02aa3.tar.bz2
gentoo-34b29c890e10bb160cb390da8b3dfbd7bfe02aa3.zip
dev-ada/libadalang-tools: Remove last-rited pkg
Closes: https://bugs.gentoo.org/735264 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-ada/libadalang-tools/Manifest')
-rw-r--r--dev-ada/libadalang-tools/Manifest1
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ada/libadalang-tools/Manifest b/dev-ada/libadalang-tools/Manifest
deleted file mode 100644
index 4875851f52d..00000000000
--- a/dev-ada/libadalang-tools/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST libadalang-tools-2019-20190517-195C4-src.tar.gz 625775 BLAKE2B 2ec69e307576c505d20a43d229b13404966f4442778e5390da327ae71cc065873de4fff03a720949fa6bfb5ce66f405e7d45f7f0c21032a639efcff208323aed SHA512 b7368606847244cbb08ff2111fabfbfc8a9aa7f58e953febc70838006d94711dba1fd75bfb69ed2081a37a2dfaaad46097127870696c882d7cc54de5d7b051a1