diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2023-10-29 04:03:42 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2023-10-29 04:03:42 +0000 |
commit | 4acd1f30001a907bd20f2e84b2b48e6ce6993c38 (patch) | |
tree | cb05e166c58e4bf4824357a64c0adad56c49a972 /metadata/md5-cache/dev-lang/polyml-5.9.1 | |
parent | Merge updates from master (diff) | |
download | gentoo-4acd1f30001a907bd20f2e84b2b48e6ce6993c38.tar.gz gentoo-4acd1f30001a907bd20f2e84b2b48e6ce6993c38.tar.bz2 gentoo-4acd1f30001a907bd20f2e84b2b48e6ce6993c38.zip |
2023-10-29 04:03:40 UTC
Diffstat (limited to 'metadata/md5-cache/dev-lang/polyml-5.9.1')
-rw-r--r-- | metadata/md5-cache/dev-lang/polyml-5.9.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/dev-lang/polyml-5.9.1 b/metadata/md5-cache/dev-lang/polyml-5.9.1 index 5a2566117f70..90535f9e6ac7 100644 --- a/metadata/md5-cache/dev-lang/polyml-5.9.1 +++ b/metadata/md5-cache/dev-lang/polyml-5.9.1 @@ -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.1 SRC_URI=https://github.com/polyml/polyml/archive/v5.9.1.tar.gz -> polyml-5.9.1.tar.gz -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs fbbbc99d10168de2926e06da7169b8dc multilib c19072c3cd7ac5cb21de013f7e9832e0 libtool 9d3a9a889a6fa62ae794f817c156491b autotools 6ae9a4347149b19a112caa1182d03bde +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 70ec42843fec87d20fd94c67e77cdbff multilib c19072c3cd7ac5cb21de013f7e9832e0 libtool 9d3a9a889a6fa62ae794f817c156491b autotools 6ae9a4347149b19a112caa1182d03bde _md5_=4b51322d2861eca63833eb1cc1d81ce7 |