From 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 21:03:06 +0100 Subject: gentoo resync : 14.07.2018 --- dev-libs/mps-1.106.2 | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 dev-libs/mps-1.106.2 (limited to 'dev-libs/mps-1.106.2') diff --git a/dev-libs/mps-1.106.2 b/dev-libs/mps-1.106.2 deleted file mode 100644 index 0942bc6ab14d..000000000000 --- a/dev-libs/mps-1.106.2 +++ /dev/null @@ -1,9 +0,0 @@ -DEFINED_PHASES=compile install prepare -DESCRIPTION=Ravenbrook Memory Pool System -EAPI=4 -HOMEPAGE=http://www.ravenbrook.com/project/mps/ -KEYWORDS=~x86 -LICENSE=Sleepycat -SLOT=0 -SRC_URI=http://www.ravenbrook.com/project/mps/release/1.106.2/mps-kit-1.106.2.tar.gz -_md5_=96f0bf34d5f3035a8e4d99e82c42c1eb -- cgit v1.2.3