summaryrefslogtreecommitdiff
path: root/dev-ml/seq
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-10-27 21:58:13 +0100
committerV3n3RiX <venerix@koprulu.sector>2022-10-27 21:58:13 +0100
commit62082029157d2ef97a43e34ce34a55877afa8a58 (patch)
tree7ae84333ee590b9c0a99459888f508b3727849fe /dev-ml/seq
parent3cafd803b6d89f6e823358a8d7f4a97e6d0629e1 (diff)
gentoo auto-resync : 27:10:2022 - 21:58:13
Diffstat (limited to 'dev-ml/seq')
-rw-r--r--dev-ml/seq/Manifest2
-rw-r--r--dev-ml/seq/seq-0.3.ebuild4
2 files changed, 4 insertions, 2 deletions
diff --git a/dev-ml/seq/Manifest b/dev-ml/seq/Manifest
index c3d0e8a8efa8..051a5a36bfe6 100644
--- a/dev-ml/seq/Manifest
+++ b/dev-ml/seq/Manifest
@@ -3,5 +3,5 @@ DIST seq-0.2.tar.gz 12012 BLAKE2B 2321caabaefd98d4237d6ede034007ae5a4295765df4df
DIST seq-0.3.tar.gz 12562 BLAKE2B 2ef68aac50cee1a6faa97cd408d231541f3b0a941896bfadd4503c7b26a554b95314bedfba6cf34c2253858f5e86660876a1635e87a861a7a54d8a805106f9be SHA512 3cbca9e771bc05350b5c6ffd41237fa12c6909a077f1090e28c4d0403711c137c96fccd670f074b1ea1a47bdcfd7a7618247bdad6ee71e52e9af75894e8cd974
EBUILD seq-0.2.2.ebuild 411 BLAKE2B 95e47a75a66913b0f6f5b41179a9f26ce68f9dd6e7ee4c85c2222c723064e2586a79678d42d5ef2535d4b67a37ad65efd7c8bffea0f38e7f6618a5f21f499e64 SHA512 a59c08a76390ca909da275f1b13c633ad98029a66128ddf2ec50e7908e82f923e1ce664a986534f36fe09e112fa027a8663e5968e6a9f5f87c8f8bba9223385a
EBUILD seq-0.2.ebuild 404 BLAKE2B 19af5fc56a282c807ba4ce03d45be9647642288f952316722629a7c06eef35db1c359719d2ace92ea139f0234fb5e99094e09f5aeaa042a5762aae72b55bf6a0 SHA512 c22d91c186dee6e9026f026e4de2b5587579d947786ee7722ff0c571c34b122eec3b9aace5b49b345e2eb3d70302f1080bad38cad2406469a9cd24f0e82436b8
-EBUILD seq-0.3.ebuild 417 BLAKE2B cd007c5d702aa654e0cd5e906a320a749a9571a7e6e6c5c71e433a5572f913b584cfffa05b17613205081ccbe2863566fc0eedadf4385ad0d1bbb2b851650b33 SHA512 b855bd826be578378c0f32dbd10765196600637c71ecadf0a7c979403e7b18b5aedc0f12dd38c297b59f1b6cff61efec4d913aaa7a509bca22feb04f664fca41
+EBUILD seq-0.3.ebuild 442 BLAKE2B d76ee718d7128d2615e23521f999567b632fb545bf8a10ce407abafb0df8f40ff7d65e15970f324cb6c04eac2f0e76686b22a6a36b4f88a38b934859800dfcb3 SHA512 36b4be138eab4910b9465c84314286ddb186a43b5a43cd07c051266a35842f2d9bda88d56855db6ec0b4d33a5397c31ae543b9adeaebb38fd505c0b967c37bff
MISC metadata.xml 338 BLAKE2B f947fa0825c1a3fd959515164da36ffc9694c570ed6eb6eef8686fc24b4582ee88ecb7304507c79cf2733fb77ae3570468ec8da886367d79721c81f148931833 SHA512 9d052ada92f441fa4908f4ec9a2561f7276872281ffa65f0ad92c8d0f7c15aeea11d6c887d4af7535d7d72bce3dec8f12622aee5eb9a79e510e8baaa208a54cd
diff --git a/dev-ml/seq/seq-0.3.ebuild b/dev-ml/seq/seq-0.3.ebuild
index 7f7482efb9b0..3ae37ac37172 100644
--- a/dev-ml/seq/seq-0.3.ebuild
+++ b/dev-ml/seq/seq-0.3.ebuild
@@ -11,5 +11,7 @@ SRC_URI="https://github.com/c-cube/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
IUSE="+ocamlopt"
+
+RDEPEND="<dev-lang/ocaml-4.07"