summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/dev-lang/polyml-5.9-r2
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-09-08 04:29:46 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-09-08 04:29:46 +0100
commit91123d2faefa2e7d77657215ec9287ae5d6dc0d7 (patch)
tree89a4d67ea84c89db1f1c03f53f83cfe59a923b47 /metadata/md5-cache/dev-lang/polyml-5.9-r2
parentde1079fbccb3bceb32818385f756637e266f2107 (diff)
gentoo auto-resync : 08:09:2023 - 04:29:45
Diffstat (limited to 'metadata/md5-cache/dev-lang/polyml-5.9-r2')
-rw-r--r--metadata/md5-cache/dev-lang/polyml-5.9-r215
1 files changed, 15 insertions, 0 deletions
diff --git a/metadata/md5-cache/dev-lang/polyml-5.9-r2 b/metadata/md5-cache/dev-lang/polyml-5.9-r2
new file mode 100644
index 000000000000..b2982ca8ab90
--- /dev/null
+++ b/metadata/md5-cache/dev-lang/polyml-5.9-r2
@@ -0,0 +1,15 @@
+BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71-r5 >=sys-devel/libtool-2.4.7
+DEFINED_PHASES=configure install prepare test
+DEPEND=dev-libs/libffi:= X? ( x11-libs/motif:0 ) gmp? ( >=dev-libs/gmp-5:= )
+DESCRIPTION=Poly/ML is a full implementation of Standard ML
+EAPI=8
+HOMEPAGE=https://www.polyml.org
+INHERIT=autotools
+IUSE=X +gmp portable
+KEYWORDS=~amd64 ~x86
+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_=autotools 6ae9a4347149b19a112caa1182d03bde gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca
+_md5_=fe52739c216d7101186fc418098e9fcb