projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d92cc7) | patch
Revert "dev-libs/mps: drop old"
authorAaron Bauman <bman@gentoo.org>
Wed, 13 Nov 2019 02:47:21 +0000 (21:47 -0500)
committerAaron Bauman <bman@gentoo.org>
Wed, 13 Nov 2019 02:47:41 +0000 (21:47 -0500)
commitb178240a71fbd767b13aa372e19f427000f8f3a7
treeedd2555130dc003b52eba75ddcc51aef6ab8a845tree | snapshot
parent2d92cc7e774dc049d453155639191316031f5b00commit | diff
Revert "dev-libs/mps: drop old"

This reverts commit 2afcd3d55f5b743e182c789d6f12cc178f231c34.

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