sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch


1
2
3
4
5
6
7
8
9
10
11

--- 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)