diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2023-11-04 18:03:45 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2023-11-04 18:03:45 +0000 |
| commit | dbb15639076ac506f0a4ae34a9dc8ffa077b798b (patch) | |
| tree | 9e4d5327bf5975567ea47ef60c8043f21445f5c8 /metadata/md5-cache/dev-lang/polyml-5.9-r2 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-dbb15639076ac506f0a4ae34a9dc8ffa077b798b.tar.gz gentoo-dbb15639076ac506f0a4ae34a9dc8ffa077b798b.tar.bz2 gentoo-dbb15639076ac506f0a4ae34a9dc8ffa077b798b.zip | |
2023-11-04 18:03:43 UTC
Diffstat (limited to 'metadata/md5-cache/dev-lang/polyml-5.9-r2')
| -rw-r--r-- | metadata/md5-cache/dev-lang/polyml-5.9-r2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/dev-lang/polyml-5.9-r2 b/metadata/md5-cache/dev-lang/polyml-5.9-r2 index 21daf24c645f..fca07701177d 100644 --- a/metadata/md5-cache/dev-lang/polyml-5.9-r2 +++ b/metadata/md5-cache/dev-lang/polyml-5.9-r2 @@ -11,5 +11,5 @@ LICENSE=LGPL-2.1 RDEPEND=dev-libs/libffi:= X? ( x11-libs/motif:0 ) gmp? ( >=dev-libs/gmp-5:= ) SLOT=0/5.9 SRC_URI=https://github.com/polyml/polyml/archive/v5.9.tar.gz -> polyml-5.9.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 70ec42843fec87d20fd94c67e77cdbff multilib c19072c3cd7ac5cb21de013f7e9832e0 libtool 9d3a9a889a6fa62ae794f817c156491b autotools 6ae9a4347149b19a112caa1182d03bde +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs edeef89edaf21d30225d31702ab117ac multilib c19072c3cd7ac5cb21de013f7e9832e0 libtool 9d3a9a889a6fa62ae794f817c156491b autotools 6ae9a4347149b19a112caa1182d03bde _md5_=fe52739c216d7101186fc418098e9fcb |