* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq/files: coq-8.2_p2-make-3.82.patch coq-8.2_p2-camlp5-6-compat.patch coq-8.3-camlp5-6-compat.patch coq-8.3-make-3.82-compat.patch
@ 2011-07-06 18:41 Alexis Ballier (aballier)
0 siblings, 0 replies; only message in thread
From: Alexis Ballier (aballier) @ 2011-07-06 18:41 UTC (permalink / raw
To: gentoo-commits
aballier 11/07/06 18:41:39
Removed: coq-8.2_p2-make-3.82.patch
coq-8.2_p2-camlp5-6-compat.patch
coq-8.3-camlp5-6-compat.patch
coq-8.3-make-3.82-compat.patch
Log:
remove old
(Portage version: 2.2.0_alpha43/cvs/Linux x86_64)
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-07-06 18:41 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2011-07-06 18:41 [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq/files: coq-8.2_p2-make-3.82.patch coq-8.2_p2-camlp5-6-compat.patch coq-8.3-camlp5-6-compat.patch coq-8.3-make-3.82-compat.patch Alexis Ballier (aballier)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox