diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2019-11-13 02:26:06 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-11-13 02:26:06 +0000 |
| commit | 8b40100900a212c0b75d9c2a8e13b4a6337c334e (patch) | |
| tree | df726613a5d3507a3499a99244bbd9696e7e7d99 /metadata/md5-cache/dev-libs/mps-1.106.2 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-8b40100900a212c0b75d9c2a8e13b4a6337c334e.tar.gz gentoo-8b40100900a212c0b75d9c2a8e13b4a6337c334e.tar.bz2 gentoo-8b40100900a212c0b75d9c2a8e13b4a6337c334e.zip | |
2019-11-13 02:26:05 UTC
Diffstat (limited to 'metadata/md5-cache/dev-libs/mps-1.106.2')
| -rw-r--r-- | metadata/md5-cache/dev-libs/mps-1.106.2 | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/metadata/md5-cache/dev-libs/mps-1.106.2 b/metadata/md5-cache/dev-libs/mps-1.106.2 deleted file mode 100644 index 0942bc6ab14d..000000000000 --- a/metadata/md5-cache/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 |