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 06561138E74 for ; Tue, 2 Sep 2014 21:19:42 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id D89F0E0A8D; Tue, 2 Sep 2014 21:19:39 +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 5A566E0A8D for ; Tue, 2 Sep 2014 21:19:39 +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 1EB2C33F7F8 for ; Tue, 2 Sep 2014 21:19:38 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id BFBE348CC for ; Tue, 2 Sep 2014 21:19:36 +0000 (UTC) From: "Jauhien Piatlicki" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Jauhien Piatlicki" Message-ID: <1409690623.637e6ccd3529b1d3c9c69d192426315c17a3cbe8.jauhien@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/why3/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/why3/metadata.xml X-VCS-Directories: sci-mathematics/why3/ X-VCS-Committer: jauhien X-VCS-Committer-Name: Jauhien Piatlicki X-VCS-Revision: 637e6ccd3529b1d3c9c69d192426315c17a3cbe8 X-VCS-Branch: master Date: Tue, 2 Sep 2014 21:19:36 +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: 29e62f75-4f30-42ee-934a-11b7067ef64b X-Archives-Hash: 5ce1a560269cd787673c5ac6dfdb1872 commit: 637e6ccd3529b1d3c9c69d192426315c17a3cbe8 Author: Jauhien Piatlicki gentoo org> AuthorDate: Tue Sep 2 20:43:43 2014 +0000 Commit: Jauhien Piatlicki gentoo org> CommitDate: Tue Sep 2 20:43:43 2014 +0000 URL: http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=637e6ccd sci-mathematics/why3: silence repoman, fix metadata.xml --- sci-mathematics/why3/metadata.xml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/sci-mathematics/why3/metadata.xml b/sci-mathematics/why3/metadata.xml index 17c0a90..b116328 100644 --- a/sci-mathematics/why3/metadata.xml +++ b/sci-mathematics/why3/metadata.xml @@ -14,4 +14,8 @@ automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs. + + Add sci-mathematics/flocq support + Enable Frama-C plugin +