summaryrefslogtreecommitdiff
path: root/dev-lang/polyml
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2020-11-25 22:39:15 +0000
committerV3n3RiX <venerix@redcorelinux.org>2020-11-25 22:39:15 +0000
commitd934827bf44b7cfcf6711964418148fa60877668 (patch)
tree0625f358789b5e015e49db139cc1dbc9be00428f /dev-lang/polyml
parent2e34d110f164bf74d55fced27fe0000201b3eec5 (diff)
gentoo resync : 25.11.2020
Diffstat (limited to 'dev-lang/polyml')
-rw-r--r--dev-lang/polyml/Manifest4
-rw-r--r--dev-lang/polyml/polyml-5.6.ebuild4
-rw-r--r--dev-lang/polyml/polyml-5.8.ebuild4
3 files changed, 6 insertions, 6 deletions
diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest
index ed271763c9d7..a17ab4b6036d 100644
--- a/dev-lang/polyml/Manifest
+++ b/dev-lang/polyml/Manifest
@@ -2,6 +2,6 @@ AUX polyml-5.6-configure.patch 390 BLAKE2B 7f20e9de1c00a429ed86ab33cd05bd2aed0a4
AUX polyml-5.6-ffi3.patch 584 BLAKE2B 6c7e38c077968f439f03739a4d95bad6d5f631b4cf4e1a51a58ae6273c40a1ae5dbd1fe3aa6e338215f9cedec950435e846351275be7bccb80fd313965888b78 SHA512 22bb8e13672ddb0a8f7a3ed9908fb652e238c849b553ab3ceb9b33daebc35d6502dbff3f099ab933f4e2639b5eac2294e21d45bfc96dcb1b9c6be0129c57232d
DIST polyml-5.6.tar.gz 6066166 BLAKE2B dc7e35ad1f51f270f9043736bca8b3d8a96e208dfa2833a2de3c06c969e8bb9d5e92c3ab025e4e55539188a9d6d5000b7befdd3cfc17aa3b0e54315778ab71b0 SHA512 cd4f25c225831dec512f7136dfda4ba31abd6939d9e8e0cacdb6d48212488b56ba5969c76e76fcbfcfa83d015a67d9cf62457286086f3c2b3f7914a7939d7b59
DIST polyml-5.8.tar.gz 9817105 BLAKE2B 93992c8baa78017bfda6c2151d1f48805829b77c0b7ed9bec87c951fc4a4236459ed59aab1eca88ed4a1d7aa10eb9734f93324583e012b18bb7d8cce84b5a35b SHA512 50baed79b50b14bd87acc637de93fd6d0f05e61fe0f03682a12a1d2c5f382313488d48f84b49ad915b01acc5a3a5769fb05fcaa7b24499c56402ddd3ba393930
-EBUILD polyml-5.6.ebuild 1209 BLAKE2B a5490bacdab41a33525d841ef527a45b4f5068130888c206db3dd51cdbbba5a779f364e03603450c8432443fc512305c0aa9a5db81aa78884fb677ef89f1a4b9 SHA512 d8fc8f66cfe3b9065e530cf3d839756250a9b08847d3dafc80f18e062cd92f11d209c8cb432208c46f2206dbc4e31a2e2d5b9317202182fd9f00af2b1eceb0cb
-EBUILD polyml-5.8.ebuild 1219 BLAKE2B 05123eacb9c5e19207cbf6fe3f6ccc81372333baeadb092d078897fdef0da567f22186e71edba2e3f506064f7d7b0d5bc6e9609fe736effec2cc47d48b147727 SHA512 f414bd49ba8a01f190354ab5a76d056f9e454c58d3a2344ff7f4dff5957098476c595322e362a2f5ebd1e238ef45228eb1eeecbc292d0c83fba2adfa67a0e21d
+EBUILD polyml-5.6.ebuild 1212 BLAKE2B d59d404d9d735dc700fdb62534284aef3ab6260df7ff22fa192c8edf5e9ade50bd219cde51afaf95022633df105e99d156f07609a1071359c12fba04d7d1d7ba SHA512 90bef019b8717e55409b52cf812704955778b21023d2364b8a8f0414d43cb0d1f32c31c67d9975f52c571b7f802964a14756dc7d45920651dd54b274d99504d7
+EBUILD polyml-5.8.ebuild 1222 BLAKE2B 303ce107ff8f8131ea957ed8cf871a979529cd1bd51032f4b032a0dc1757535253a4085c8f4bed274a533be6f51b554525267171ea41ad5217e8aeee442ee15e SHA512 6773ac8ab453edc3a2e6dd4091881c7c8719a6806e270f64ef35027527fd362cabe52555c46f692b3d5bf0ef5364ab3c06fe01ab221c5f71fbca11f33ac2e3b0
MISC metadata.xml 357 BLAKE2B f994f420abc8bb1020fc533a0adf04c861961b8e6cd72626db3d7d2e8ef8558903df895d182266eb419e75f6293524e690b45738902cb74ac79afe04a94f2a99 SHA512 d7f4c4c4f07e7f516fac55a58d83256f54566e0bce940d178e739b05c740abf842f6f343add927dd098546828547f16f3176e874fb8501e84d12ca7ead9fcb32
diff --git a/dev-lang/polyml/polyml-5.6.ebuild b/dev-lang/polyml/polyml-5.6.ebuild
index 6f30939f7d53..8d2700996b92 100644
--- a/dev-lang/polyml/polyml-5.6.ebuild
+++ b/dev-lang/polyml/polyml-5.6.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="6"
@@ -18,7 +18,7 @@ RESTRICT="!test? ( test )"
RDEPEND="X? ( x11-libs/motif:0 )
gmp? ( >=dev-libs/gmp-5 )
elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) )
- virtual/libffi"
+ dev-libs/libffi:="
DEPEND="${RDEPEND}"
PATCHES=(
diff --git a/dev-lang/polyml/polyml-5.8.ebuild b/dev-lang/polyml/polyml-5.8.ebuild
index 37dc19e4e1db..266856a8de2e 100644
--- a/dev-lang/polyml/polyml-5.8.ebuild
+++ b/dev-lang/polyml/polyml-5.8.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="6"
@@ -18,7 +18,7 @@ RESTRICT="!test? ( test )"
RDEPEND="X? ( x11-libs/motif:0 )
gmp? ( >=dev-libs/gmp-5 )
elibc_glibc? ( threads? ( >=sys-libs/glibc-2.13 ) )
- virtual/libffi"
+ dev-libs/libffi:="
DEPEND="${RDEPEND}"
PATCHES=(