diff options
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/Manifest.gz | bin | 18834 -> 18833 bytes | |||
| -rw-r--r-- | sci-mathematics/alt-ergo/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch | 11 |
3 files changed, 0 insertions, 12 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex e349fb43d392..9f44fb14bc25 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz 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) |