summaryrefslogtreecommitdiff
path: root/sci-mathematics/alt-ergo
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-10-01 17:44:07 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-10-01 17:44:07 +0100
commit5bd02f229a9c4ce484e49ec36dcb1f4eb5dfcdae (patch)
treebd9151b602024702907ff1e5d953f6945b67f25c /sci-mathematics/alt-ergo
parentb447ac3a6d1bb09ddb6a5686620670e223b37642 (diff)
gentoo auto-resync : 01:10:2023 - 17:44:07
Diffstat (limited to 'sci-mathematics/alt-ergo')
-rw-r--r--sci-mathematics/alt-ergo/Manifest1
-rw-r--r--sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch11
2 files changed, 0 insertions, 12 deletions
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
index a18954052284..5296c2c720b6 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1,4 +1,3 @@
-AUX alt-ergo-2.4.2-dune.patch 366 BLAKE2B 4235894eac0760eb6d866a203a80c6c69d8bc6a1b4b70f67b865833f53391ca995a777c4e6e0ac64e918073e101eb35bf4f06824df7018e9630eaa75621dbcdf SHA512 64938a2f79889d67ca22d8153eaa3167ee752d13bfd0b9b6690293962a9170b208fa7f4f7375cb356d75e665cf9aa3cbf0c9d48247b9eb99573ba704b81a6a40
AUX alt-ergo-2.4.3-dune.patch 136 BLAKE2B 7a8740fd14531be7dc595dd3dc3eef119c39943fbec98c9784f6a25dcc1947ebefacd079bcc95a48b07f8d94641ad66261e06efd18edc5cfe59783626b6bcf4d SHA512 016d80dc17436e469746822f62a1748a661a74e5ec2009a0f297a75a763b645cb95e564727ba03434602c494bf866f563adf558ff24f915d50fe198f9c9fe3c1
DIST alt-ergo-2.4.3.tar.gz 2902450 BLAKE2B bb8931dc512e3745496c1801fe959ac0fc4758b03049462506689021508a4ea364f0aae8679c776d8154c9f86a09080801c9b822d23355c572a24bd8b0e38210 SHA512 88a26b138e41997516085dbbf279e1ce11d03c18c0464ba80d5403dc80ff0f8cb5cbd4ad1489a60ff2a3b9539f9c55e4274008b14eed47b6fd057ce0a94ef98f
EBUILD alt-ergo-2.4.3.ebuild 1381 BLAKE2B 058af8ee21ec2c30a9f31c2b8b7704c1d6944506f851d8574a4d4320c935b8249d39fc28ec42f7f9b945b4624f23a58ab21994fa65ab98e910546449ad343282 SHA512 ab112811eaedbef1fcd0becfb154a4b3add1d30bee1c958c749489ffc9ed9f2ffe6589041e5d4a6d001ff8afe7664212ced4c05e583a37514cb70cccb90f6f17
diff --git a/sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch b/sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch
deleted file mode 100644
index 58bcbaa70257..000000000000
--- a/sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- a/src/lib/dune
-+++ b/src/lib/dune
-@@ -21,7 +21,7 @@
-
- ; external dependencies
- (libraries
-- seq unix num str zarith dynlink ocplib-simplex stdlib-shims)
-+ unix num str zarith dynlink ocplib-simplex stdlib-shims)
-
- ; .mli only modules *also* need to be in this field
- (modules_without_implementation matching_types numbersInterface sig sig_rel)