diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2023-09-26 20:03:20 +0200 |
|---|---|---|
| committer |   Maciej Barć <xgqt@gentoo.org> | 2023-10-01 17:37:29 +0200 |
| commit | c370c4c77f8068906dafd100f13ccb6355867261 (patch) | |
| tree | 20f455d71e7c8cadba408c4dbee1c15efb221b54 /sci-mathematics/alt-ergo | |
| parent | media-fonts/lxgw-wenkai: drop 1.250 (diff) | |
| download | gentoo-c370c4c77f8068906dafd100f13ccb6355867261.tar.gz gentoo-c370c4c77f8068906dafd100f13ccb6355867261.tar.bz2 gentoo-c370c4c77f8068906dafd100f13ccb6355867261.zip | |
sci-mathematics/alt-ergo: remove unused patch
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/33071
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/alt-ergo')
| -rw-r--r-- | sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch | 11 |
1 files changed, 0 insertions, 11 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 deleted file mode 100644 index 58bcbaa70257..000000000000 --- a/sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- 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) |