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


1
2
3
4
5
6
7
8
9
10

--- a/src/lib/dune
+++ b/src/lib/dune
@@ -21,7 +21,6 @@
 
   ; external dependencies
   (libraries
-    seq
     unix
     num
     str