diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2023-07-30 18:33:33 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2023-07-30 18:33:33 +0000 |
| commit | 9391a3e6ce57644b38d96845cdd4a3114c2c77ed (patch) | |
| tree | e83e8fb91a5b0a05c673d1a15bbedfd9050b651c /metadata/md5-cache/dev-lang/polyml-5.9-r1 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-9391a3e6ce57644b38d96845cdd4a3114c2c77ed.tar.gz gentoo-9391a3e6ce57644b38d96845cdd4a3114c2c77ed.tar.bz2 gentoo-9391a3e6ce57644b38d96845cdd4a3114c2c77ed.zip | |
2023-07-30 18:33:31 UTC
Diffstat (limited to 'metadata/md5-cache/dev-lang/polyml-5.9-r1')
| -rw-r--r-- | metadata/md5-cache/dev-lang/polyml-5.9-r1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/dev-lang/polyml-5.9-r1 b/metadata/md5-cache/dev-lang/polyml-5.9-r1 index c3eb004099e6..005bc223b29f 100644 --- a/metadata/md5-cache/dev-lang/polyml-5.9-r1 +++ b/metadata/md5-cache/dev-lang/polyml-5.9-r1 @@ -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 8e3fb781f3258ae2757d1dfc2c7c170e multilib c19072c3cd7ac5cb21de013f7e9832e0 libtool 9d3a9a889a6fa62ae794f817c156491b autotools 6ae9a4347149b19a112caa1182d03bde +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e356bb9aa600fd4b0dc539d33513bba7 multilib c19072c3cd7ac5cb21de013f7e9832e0 libtool 9d3a9a889a6fa62ae794f817c156491b autotools 6ae9a4347149b19a112caa1182d03bde _md5_=6ad79975f5c840708284ef565b12a102 |