projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2782aba) | patch
dev-ada/gnatcoll: drop last-rited package
authorAaron Bauman <bman@gentoo.org>
Tue, 3 Dec 2019 01:48:01 +0000 (20:48 -0500)
committerAaron Bauman <bman@gentoo.org>
Tue, 3 Dec 2019 01:48:01 +0000 (20:48 -0500)
commit7ffa2e7755de8f2bd00fdb150e287640d4d0efa2
tree80cbd66a63aa0808a906b0925c14c34acaa8c75atree | snapshot
parent2782aba08badb411244efa4a2a68686200b3e9bdcommit | diff
dev-ada/gnatcoll: drop last-rited package

Signed-off-by: Aaron Bauman <bman@gentoo.org>
dev-ada/gnatcoll/Manifest [deleted file] blob | history
dev-ada/gnatcoll/files/gnatcoll-2017-gentoo.patch [deleted file] blob | history
dev-ada/gnatcoll/files/gnatcoll-2017-r1-gentoo.patch [deleted file] blob | history
dev-ada/gnatcoll/gnatcoll-2017-r1.ebuild [deleted file] blob | history
dev-ada/gnatcoll/gnatcoll-2017.ebuild [deleted file] blob | history
dev-ada/gnatcoll/metadata.xml [deleted file] blob | history
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.