diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 01:01:31 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 01:01:31 +0000 |
commit | 5d0c0ffd63620a4db788484bd36ab92b76e7891b (patch) | |
tree | b4204d122504a5c2d3bfdb2cc9f3a5dcf5fe07b2 /sci-mathematics/alt-ergo/files | |
parent | 60945053af0588a6219a4a6867aace9e7b47faeb (diff) |
gentoo auto-resync : 20:11:2022 - 01:01:31
Diffstat (limited to 'sci-mathematics/alt-ergo/files')
-rw-r--r-- | sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch | 11 |
1 files changed, 11 insertions, 0 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 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) |