public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/zarith/files/
@ 2021-03-16 18:50 Sam James
  0 siblings, 0 replies; 2+ messages in thread
From: Sam James @ 2021-03-16 18:50 UTC (permalink / raw
  To: gentoo-commits

commit:     f4ffccd4759b9d789870be733ba7c7c0545b2a65
Author:     Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at>
AuthorDate: Tue Mar 16 18:02:19 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Tue Mar 16 18:50:17 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f4ffccd4

dev-ml/zarith: remove unused patch(es)

Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/19960
Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-ml/zarith/files/zarith-1.9.1-ar.patch | 11 -----------
 1 file changed, 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 122cf0797db..00000000000
--- 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'


^ permalink raw reply related	[flat|nested] 2+ messages in thread

* [gentoo-commits] repo/gentoo:master commit in: dev-ml/zarith/files/
@ 2024-03-05  9:18 Petr Vaněk
  0 siblings, 0 replies; 2+ messages in thread
From: Petr Vaněk @ 2024-03-05  9:18 UTC (permalink / raw
  To: gentoo-commits

commit:     ed6f84502b7ab30f764ee97500eabce4cd4a664d
Author:     Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at>
AuthorDate: Mon Mar  4 18:18:52 2024 +0000
Commit:     Petr Vaněk <arkamar <AT> gentoo <DOT> org>
CommitDate: Tue Mar  5 09:17:04 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed6f8450

dev-ml/zarith: remove unused patch(es)

Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at>
Signed-off-by: Petr Vaněk <arkamar <AT> gentoo.org>

 dev-ml/zarith/files/zarith-1.12-shuffle.patch | 11 -----------
 1 file changed, 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
- 


^ permalink raw reply related	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2024-03-05  9:18 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-03-16 18:50 [gentoo-commits] repo/gentoo:master commit in: dev-ml/zarith/files/ Sam James
  -- strict thread matches above, loose matches on Subject: below --
2024-03-05  9:18 Petr Vaněk

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox