diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-06-04 15:34:41 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-06-04 15:34:41 +0100 |
commit | bb8c9132545ddf1e366b0b478c0dc89c56cf6dcd (patch) | |
tree | c121c55dcca2400955023c5c77b1f677c9b17eec /sci-mathematics/alt-ergo/files | |
parent | 13b130894803eda558b74353eda3bf7504615b38 (diff) |
gentoo auto-resync : 04:06:2023 - 15:34:41
Diffstat (limited to 'sci-mathematics/alt-ergo/files')
-rw-r--r-- | sci-mathematics/alt-ergo/files/alt-ergo-2.4.3-dune.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sci-mathematics/alt-ergo/files/alt-ergo-2.4.3-dune.patch b/sci-mathematics/alt-ergo/files/alt-ergo-2.4.3-dune.patch new file mode 100644 index 000000000000..eea143fdd38a --- /dev/null +++ b/sci-mathematics/alt-ergo/files/alt-ergo-2.4.3-dune.patch @@ -0,0 +1,10 @@ +--- a/src/lib/dune ++++ b/src/lib/dune +@@ -21,7 +21,6 @@ + + ; external dependencies + (libraries +- seq + unix + num + str |