From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id 6504213838B for ; Tue, 16 Sep 2014 04:08:03 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 34A53E0879; Tue, 16 Sep 2014 04:07:57 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 583A7E089C for ; Tue, 16 Sep 2014 04:07:56 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 85677340328 for ; Tue, 16 Sep 2014 04:07:54 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id A50945A8E for ; Tue, 16 Sep 2014 04:07:51 +0000 (UTC) From: "Christoph Junghans" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Christoph Junghans" Message-ID: <1410838454.87a518c55c7376f2ef9d0e13487a1e81b74eb977.ottxor@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/why3/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/why3/ChangeLog sci-mathematics/why3/why3-0.83.ebuild X-VCS-Directories: sci-mathematics/why3/ X-VCS-Committer: ottxor X-VCS-Committer-Name: Christoph Junghans X-VCS-Revision: 87a518c55c7376f2ef9d0e13487a1e81b74eb977 X-VCS-Branch: master Date: Tue, 16 Sep 2014 04:07:51 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: 4b4eee9a-d759-49c2-b956-c553577fcb97 X-Archives-Hash: 404412a407851a8a943cdf7d0a768f35 commit: 87a518c55c7376f2ef9d0e13487a1e81b74eb977 Author: Christoph Junghans gentoo org> AuthorDate: Tue Sep 16 03:34:14 2014 +0000 Commit: Christoph Junghans gentoo org> CommitDate: Tue Sep 16 03:34:14 2014 +0000 URL: http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=87a518c5 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 why3-0.83.ebuild: + drop autotools.eclass + 21 Jun 2014; Jonathan-Christofer Demay +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/"