diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-03-05 13:06:03 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-03-05 13:06:03 +0000 |
commit | f61d8811e916303cabe9fafdefbe188ba9b500d5 (patch) | |
tree | 2af9236d3e678dca4d443b94bfc1b88aec45c669 /dev-ml/zarith/files/zarith-1.12-shuffle.patch | |
parent | 66a7d60eb8beba754ba79c2752cbf70fcf741b0b (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.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 - |