diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2021-03-16 19:02:19 +0100 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2021-03-16 18:50:17 +0000 |
| commit | f4ffccd4759b9d789870be733ba7c7c0545b2a65 (patch) | |
| tree | 0543c7c7d9a3eb759da9b28931fde092ca0b1402 /dev-ml/zarith | |
| parent | dev-ml/ppx_deriving: remove unused patch(es) (diff) | |
| download | gentoo-f4ffccd4759b9d789870be733ba7c7c0545b2a65.tar.gz gentoo-f4ffccd4759b9d789870be733ba7c7c0545b2a65.tar.bz2 gentoo-f4ffccd4759b9d789870be733ba7c7c0545b2a65.zip | |
dev-ml/zarith: remove unused patch(es)
Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/19960
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/zarith')
| -rw-r--r-- | dev-ml/zarith/files/zarith-1.9.1-ar.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-ml/zarith/files/zarith-1.9.1-ar.patch b/dev-ml/zarith/files/zarith-1.9.1-ar.patch deleted file mode 100644 index 122cf0797dbe..000000000000 --- a/dev-ml/zarith/files/zarith-1.9.1-ar.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/configure 2020-05-17 17:46:29.826822055 +0200 -+++ b/configure 2020-05-17 17:47:37.699808615 +0200 -@@ -22,7 +22,7 @@ - gmp='auto' - perf='no' - --ar='ar' -+ar="${AR}" - ocaml='ocaml' - ocamlc='ocamlc' - ocamlopt='ocamlopt' |