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 992A81384B6 for ; Tue, 15 Jan 2013 15:27:28 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 5F38521C0DB; Tue, 15 Jan 2013 15:27:27 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id B695221C03B for ; Tue, 15 Jan 2013 15:27:26 +0000 (UTC) Received: from hornbill.gentoo.org (hornbill.gentoo.org [94.100.119.163]) (using TLSv1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id CBFE833DAE2 for ; Tue, 15 Jan 2013 15:27:25 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by hornbill.gentoo.org (Postfix) with ESMTP id 5E853E4089 for ; Tue, 15 Jan 2013 15:27:24 +0000 (UTC) From: "Justin Lecher" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Justin Lecher" Message-ID: <1358243117.7495c6fff8ab8c036a7ad12b56524869548152be.jlec@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: / X-VCS-Repository: proj/sci X-VCS-Committer: jlec X-VCS-Committer-Name: Justin Lecher X-VCS-Revision: 7495c6fff8ab8c036a7ad12b56524869548152be X-VCS-Branch: master Date: Tue, 15 Jan 2013 15:27:24 +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: 5a208961-bab8-4f78-ab41-2583ebfa3f83 X-Archives-Hash: f3c3ebc4e128bab1158166ccb632dbf9 commit: 7495c6fff8ab8c036a7ad12b56524869548152be Author: Justin Lecher gentoo org> AuthorDate: Tue Jan 15 09:45:17 2013 +0000 Commit: Justin Lecher gentoo org> CommitDate: Tue Jan 15 09:45:17 2013 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=7495c6ff Merge branch 'master' of git+ssh://git.overlays.gentoo.org/proj/sci * 'master' of git+ssh://git.overlays.gentoo.org/proj/sci: sci-mathematics/pff: version bump sci-mathematics/giac: version bump sci-mathematics/gappalib-coq: version bump sci-mathematics/gappa: version bump sci-mathematics/frama-c: version bump sci-mathematics/flocq: version bump sci-mathematics/alt-ergo: initial commit dev-ml/zarith: initial commit dev-ml/ocamlgraph: version bump dev-ml/ocamlgraph/ChangeLog | 6 ++- dev-ml/ocamlgraph/Manifest | 10 ++-- dev-ml/ocamlgraph/metadata.xml | 6 ++ ...lgraph-1.8.1.ebuild => ocamlgraph-1.8.2.ebuild} | 2 +- dev-ml/zarith/ChangeLog | 19 +----- dev-ml/zarith/Manifest | 3 + dev-ml/zarith/metadata.xml | 20 ++++-- dev-ml/zarith/zarith-1.1.ebuild | 54 ++++++--------- sci-mathematics/alt-ergo/ChangeLog | 8 ++ sci-mathematics/alt-ergo/Manifest | 4 + sci-mathematics/alt-ergo/alt-ergo-0.95.ebuild | 39 +++++++++++ sci-mathematics/alt-ergo/metadata.xml | 19 +++++ sci-mathematics/flocq/ChangeLog | 6 ++- sci-mathematics/flocq/Manifest | 8 +- .../{flocq-1.4.0.ebuild => flocq-2.1.0.ebuild} | 4 +- sci-mathematics/frama-c/ChangeLog | 8 ++- sci-mathematics/frama-c/Manifest | 8 +- ...a-c-20111001.ebuild => frama-c-20120901.ebuild} | 25 +++---- sci-mathematics/frama-c/metadata.xml | 4 +- sci-mathematics/gappa/ChangeLog | 6 ++- sci-mathematics/gappa/Manifest | 8 +- .../{gappa-0.15.1.ebuild => gappa-0.16.3.ebuild} | 12 +--- sci-mathematics/gappa/metadata.xml | 3 + sci-mathematics/gappalib-coq/ChangeLog | 6 ++- sci-mathematics/gappalib-coq/Manifest | 9 ++- .../gappalib-coq/files/gappalib-coq-coq84.patch | 71 ++++++++++++++++++++ ...oq-0.16.0.ebuild => gappalib-coq-0.18.0.ebuild} | 9 ++- sci-mathematics/giac/ChangeLog | 8 ++- sci-mathematics/giac/Manifest | 8 +- .../giac/{giac-0.9.2.ebuild => giac-1.0.0.ebuild} | 5 +- sci-mathematics/giac/metadata.xml | 2 + sci-mathematics/pff/ChangeLog | 6 ++- sci-mathematics/pff/Manifest | 8 +- .../pff/{pff-8.3.ebuild => pff-8.4.ebuild} | 6 +- 34 files changed, 291 insertions(+), 129 deletions(-)