summaryrefslogtreecommitdiff
path: root/dev-ml/zarith/files/zarith-1.12-shuffle.patch
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-03-05 13:06:03 +0000
committerV3n3RiX <venerix@koprulu.sector>2024-03-05 13:06:03 +0000
commitf61d8811e916303cabe9fafdefbe188ba9b500d5 (patch)
tree2af9236d3e678dca4d443b94bfc1b88aec45c669 /dev-ml/zarith/files/zarith-1.12-shuffle.patch
parent66a7d60eb8beba754ba79c2752cbf70fcf741b0b (diff)
gentoo auto-resync : 05:03:2024 - 13:06:02
Diffstat (limited to 'dev-ml/zarith/files/zarith-1.12-shuffle.patch')
-rw-r--r--dev-ml/zarith/files/zarith-1.12-shuffle.patch11
1 files changed, 0 insertions, 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
-