diff options
Diffstat (limited to 'dev-ml/zarith')
| -rw-r--r-- | dev-ml/zarith/files/zarith-1.12-shuffle.patch | 11 |
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 - |