diff options
Diffstat (limited to 'sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch')
| -rw-r--r-- | sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch | 11 |
1 files changed, 0 insertions, 11 deletions
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) |