commit: 4999d78af7e0e60ca6d68eb6cb831c18f0a76f72 Author: Christoph Junghans <ottxor <AT> gentoo <DOT> org> AuthorDate: Tue Sep 16 03:34:14 2014 +0000 Commit: Justin Lecher <jlec <AT> gentoo <DOT> org> CommitDate: Wed Sep 17 06:40:14 2014 +0000 URL: http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=4999d78a
drop autotools.eclass Package-Manager: portage-2.2.8-r1 --- sci-mathematics/why3/ChangeLog | 3 +++ sci-mathematics/why3/why3-0.83.ebuild | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/sci-mathematics/why3/ChangeLog b/sci-mathematics/why3/ChangeLog index a91bee8..5fa385d 100644 --- a/sci-mathematics/why3/ChangeLog +++ b/sci-mathematics/why3/ChangeLog @@ -2,6 +2,9 @@ # Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ + 16 Sep 2014; Christoph Junghans <[email protected]> why3-0.83.ebuild: + drop autotools.eclass + 21 Jun 2014; Jonathan-Christofer Demay <[email protected]> +ChangeLog, +metadata.xml, +why3-0.83.ebuild: initial version diff --git a/sci-mathematics/why3/why3-0.83.ebuild b/sci-mathematics/why3/why3-0.83.ebuild index 0f92282..61ceaed 100644 --- a/sci-mathematics/why3/why3-0.83.ebuild +++ b/sci-mathematics/why3/why3-0.83.ebuild @@ -4,7 +4,7 @@ EAPI="5" -inherit autotools eutils +inherit eutils DESCRIPTION=" Why3 is a platform for deductive program verification" HOMEPAGE="http://why3.lri.fr/";
