dev-ada/gnatcoll: drop last-rited package

Signed-off-by: Aaron Bauman <[email protected]>
johu · Dec 3, 2019 · 7ffa2e7 · 7ffa2e7
1 parent 2782aba
commit 7ffa2e7
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 697 deletions.
diff --git a/dev-ada/gnatcoll/Manifest b/dev-ada/gnatcoll/Manifest
diff --git a/dev-ada/gnatcoll/files/gnatcoll-2017-gentoo.patch b/dev-ada/gnatcoll/files/gnatcoll-2017-gentoo.patch
diff --git a/dev-ada/gnatcoll/files/gnatcoll-2017-r1-gentoo.patch b/dev-ada/gnatcoll/files/gnatcoll-2017-r1-gentoo.patch