commit: ed6f84502b7ab30f764ee97500eabce4cd4a664d Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at> AuthorDate: Mon Mar 4 18:18:52 2024 +0000 Commit: Petr Vaněk <arkamar <AT> gentoo <DOT> org> CommitDate: Tue Mar 5 09:17:04 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed6f8450
dev-ml/zarith: remove unused patch(es) Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at> Signed-off-by: Petr Vaněk <arkamar <AT> gentoo.org> dev-ml/zarith/files/zarith-1.12-shuffle.patch | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/dev-ml/zarith/files/zarith-1.12-shuffle.patch b/dev-ml/zarith/files/zarith-1.12-shuffle.patch deleted file mode 100644 index 4ddff37d6b04..000000000000 --- a/dev-ml/zarith/files/zarith-1.12-shuffle.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/project.mak 2023-01-25 22:56:39.079292147 +0100 -+++ b/project.mak 2023-01-25 22:56:57.865057118 +0100 -@@ -145,7 +145,7 @@ - make -C tests clean - - depend: $(AUTOGEN) -- $(OCAMLDEP) -native $(OCAMLINC) $(MLSRC) $(MLISRC) > depend -+ $(OCAMLDEP) $(OCAMLINC) $(MLSRC) $(MLISRC) > depend - - include depend -
