diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2024-03-04 19:18:52 +0100 |
|---|---|---|
| committer |   Petr Vaněk <arkamar@gentoo.org> | 2024-03-05 10:17:04 +0100 |
| commit | ed6f84502b7ab30f764ee97500eabce4cd4a664d (patch) | |
| tree | 06232dbdb7cc45e6ab5bba759b1ccdc4e81e0fd3 /dev-ml/zarith | |
| parent | dev-dotnet/fable: remove unused patch (diff) | |
| download | gentoo-ed6f84502b7ab30f764ee97500eabce4cd4a664d.tar.gz gentoo-ed6f84502b7ab30f764ee97500eabce4cd4a664d.tar.bz2 gentoo-ed6f84502b7ab30f764ee97500eabce4cd4a664d.zip | |
dev-ml/zarith: remove unused patch(es)
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Signed-off-by: Petr Vaněk <arkamar@gentoo.org>
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 - |