projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99ce1c0) | patch
dev-lang/mercury-extras: remove old versions
authorKeri Harris <keri@gentoo.org>
Mon, 25 Sep 2017 10:43:19 +0000 (12:43 +0200)
committerKeri Harris <keri@gentoo.org>
Mon, 25 Sep 2017 10:43:31 +0000 (12:43 +0200)
commit23e59915d89aba9d32b03ae6452c907b942d5bf8
tree29d6d1d6be73a70e79712b40cae79dc225047d85tree | snapshot
parent99ce1c0fbcbfcb26b67edbf81fdba18997f8fc3ecommit | diff
dev-lang/mercury-extras: remove old versions

Package-Manager: Portage-2.3.8, Repoman-2.3.1
dev-lang/mercury-extras/Manifest diff | blob | history
dev-lang/mercury-extras/mercury-extras-11.01.ebuild [deleted file] blob | history
dev-lang/mercury-extras/mercury-extras-11.07.1.ebuild [deleted file] blob | history
dev-lang/mercury-extras/mercury-extras-11.07.2.ebuild [deleted file] blob | history
dev-lang/mercury-extras/mercury-extras-11.07.ebuild [deleted file] blob | history
dev-lang/mercury-extras/mercury-extras-13.05.1.ebuild [deleted file] blob | history
dev-lang/mercury-extras/mercury-extras-13.05.ebuild [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.