projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d6d87c) | patch
dev-libs/mps: drop old
authorAaron Bauman <bman@gentoo.org>
Wed, 13 Nov 2019 02:03:17 +0000 (21:03 -0500)
committerAaron Bauman <bman@gentoo.org>
Wed, 13 Nov 2019 02:10:39 +0000 (21:10 -0500)
commit2afcd3d55f5b743e182c789d6f12cc178f231c34
tree52752cb2504f94cafc2556bf36bcfc5dfd290b85tree | snapshot
parent4d6d87c9a014fbd64976658ac023775599bce3a6commit | diff
dev-libs/mps: drop old

Signed-off-by: Aaron Bauman <bman@gentoo.org>
dev-libs/mps/Manifest diff | blob | history
dev-libs/mps/mps-1.106.2.ebuild [deleted file] blob | history
dev-libs/mps/mps-1.110.0.ebuild [deleted file] blob | history
dev-libs/mps/mps-1.111.0.ebuild [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.