dev-ada/gnatcoll-db: Remove last-rited pkg

Closes: https://bugs.gentoo.org/735262 Signed-off-by: Michał Górny <[email protected]>
johu · Jan 31, 2021 · 4366c34 · 4366c34
1 parent fc58734
commit 4366c34
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 161 deletions.
diff --git a/dev-ada/gnatcoll-db/Manifest b/dev-ada/gnatcoll-db/Manifest
diff --git a/dev-ada/gnatcoll-db/files/gnatcoll-db-2018-gentoo.patch b/dev-ada/gnatcoll-db/files/gnatcoll-db-2018-gentoo.patch
diff --git a/dev-ada/gnatcoll-db/gnatcoll-db-2019.ebuild b/dev-ada/gnatcoll-db/gnatcoll-db-2019.ebuild
diff --git a/dev-ada/gnatcoll-db/metadata.xml b/dev-ada/gnatcoll-db/metadata.xml
diff --git a/profiles/package.mask b/profiles/package.mask
@@ -350,7 +350,6 @@ dev-ada/langkit
 dev-ada/libadalang
 dev-ada/libadalang-tools
 dev-ada/gps
-dev-ada/gnatcoll-db
 
 # Mart Raudsepp <[email protected]> (2020-08-15)
 # Development release, needs testing to ensure valac-0.50