commit: c370c4c77f8068906dafd100f13ccb6355867261 Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at> AuthorDate: Tue Sep 26 18:03:20 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sun Oct 1 15:37:29 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c370c4c7
sci-mathematics/alt-ergo: remove unused patch Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/33071 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch | 11 ----------- 1 file changed, 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)
