From 5d0c0ffd63620a4db788484bd36ab92b76e7891b Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 20 Nov 2022 01:01:31 +0000 Subject: gentoo auto-resync : 20:11:2022 - 01:01:31 --- sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch (limited to 'sci-mathematics/alt-ergo/files') 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 new file mode 100644 index 000000000000..58bcbaa70257 --- /dev/null +++ b/sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch @@ -0,0 +1,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) -- cgit v1.2.3