From 9257212a8841f37588d5b5a94a7930db4585a106 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 9 Sep 2022 16:40:34 +0100 Subject: gentoo auto-resync : 09:09:2022 - 16:40:34 --- dev-ml/lambda-term/Manifest | 2 +- dev-ml/lambda-term/lambda-term-3.1.0.ebuild | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'dev-ml/lambda-term') diff --git a/dev-ml/lambda-term/Manifest b/dev-ml/lambda-term/Manifest index 39b5827f8c30..c693978ccd68 100644 --- a/dev-ml/lambda-term/Manifest +++ b/dev-ml/lambda-term/Manifest @@ -1,3 +1,3 @@ DIST lambda-term-3.1.0.tar.gz 144714 BLAKE2B a84af472834f33ce0a88b0e21f13db66e5b28576a959c0c2e173da045d4c408c183c9eb9664678de7574b840bd129284e406af3d7392ceb0b8be3e53973214bd SHA512 b1601749214747504a248392ec81ce20f4cd44bddbf14424e40725e6d506d925320fc7ef7f4ce58e876769d858c5e3882664e27ca33a9dc74d29a4a22ed0d705 -EBUILD lambda-term-3.1.0.ebuild 527 BLAKE2B 3aadced723cdbcd444ccc779680cd897df77663981fd3b4f3421ed779d8c6fe86ba7e7d5feba5ef935b8e5d6c75504463012c48437d0a43d43e22dc4a345b8b4 SHA512 2a7946f7b32c4f6732d33cd9df1e3cd3c1dc87646a1321046d6503f229a3d4cc14850899c7383442be0268ee0b2887e67686b3d2c04a001ffad4dbd22e603b51 +EBUILD lambda-term-3.1.0.ebuild 533 BLAKE2B 2eff8937debc2ed3fcdfca40483fee94e2d8443a5fbbb3f52f7278c9a5f88e011d555e9fafeec4d39c85c96568b752e9a35f5134af9f0252eee5f2893df04e43 SHA512 e53683b52d81612f3698b4bfdae3e0f4bc55f652ef17c842583e732c020ef17ec30df48ab86d5c2b08bfca7c63a76b4633cf58a337c87f913928e96cc2711016 MISC metadata.xml 979 BLAKE2B b9b1298397f0b376d54f7d5920d47a58e11f1345d04a376273c9ba21fe7c80c3a3058ba4e73502092a0a63d8dd9e493002c76bf031ecba23112adc04e8c49b62 SHA512 7160fadbd00ba69a20e10a16ab30a53f2e348c866bc45466dd064d05c99e4b0abc3f19831b86f0711e791c9cafc6a9c25fc2f0956a3fabd98509189d1e926688 diff --git a/dev-ml/lambda-term/lambda-term-3.1.0.ebuild b/dev-ml/lambda-term/lambda-term-3.1.0.ebuild index 82fa0daf8691..899ce30cf1b4 100644 --- a/dev-ml/lambda-term/lambda-term-3.1.0.ebuild +++ b/dev-ml/lambda-term/lambda-term-3.1.0.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -16,7 +16,7 @@ IUSE="+ocamlopt" RDEPEND=" dev-ml/camomile:= - dev-ml/lwt:= + >=dev-ml/lwt-5.4:= dev-ml/lwt_log:= dev-ml/mew_vi:= dev-ml/react:= -- cgit v1.2.3