diff options
| -rw-r--r-- | sci-mathematics/alt-ergo/ChangeLog | 7 | ||||
| -rw-r--r-- | sci-mathematics/alt-ergo/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild (renamed from sci-mathematics/alt-ergo/alt-ergo-0.95.ebuild) | 2 | ||||
| -rw-r--r-- | sci-mathematics/alt-ergo/metadata.xml | 3 |
4 files changed, 10 insertions, 4 deletions
diff --git a/sci-mathematics/alt-ergo/ChangeLog b/sci-mathematics/alt-ergo/ChangeLog index aea69c1ab..c55de8b55 100644 --- a/sci-mathematics/alt-ergo/ChangeLog +++ b/sci-mathematics/alt-ergo/ChangeLog @@ -2,6 +2,13 @@ # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ +*alt-ergo-0.95.1 (25 Aug 2013) + + 25 Aug 2013; Andrew Savchenko <bircoph@gmail.com> -alt-ergo-0.95.ebuild, + +alt-ergo-0.95.1.ebuild, metadata.xml: + Version bump for a bugfix release. Cleanup metadata. + This also fixes bug 479994 (wrong manifest for alt-ergo-0.95). + 03 Mar 2013; Justin Lecher <jlec@gentoo.org> alt-ergo-0.95.ebuild, metadata.xml: Move to EAPI=5; clean quoting and ebuild syntax and indention diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest index 301a2a7a4..98093a588 100644 --- a/sci-mathematics/alt-ergo/Manifest +++ b/sci-mathematics/alt-ergo/Manifest @@ -1 +1 @@ -DIST alt-ergo-0.95.tar.gz 224719 SHA256 001d742c851becf404e95904db08ea8e0daf75b0b7e52194e6d0e1405f55db00 SHA512 c1033dbaf585fdf00be645c2b52ff5f1252b16d874b7ee9d2d5a5373c32a36a67d98c30eaf227d6feb0d9f309b0419587956fe5b8d6687a654021466d27dc074 WHIRLPOOL cbdc646389b882bc4333b2f023377857f5ae76c5e81f88d2733248b7f649c6e97b3b1362052b2d451041c6b3d717d0aa6c1f34d204d129e7e1c3dcef2b84a617 +DIST alt-ergo-0.95.1.tar.gz 239053 SHA256 31818b63ff13b4a0f1b853fe8be75823614433ec0cfddb0ee349af579b41fe10 SHA512 1a295884c5ffcfc11368828eaab1e86e5d6956bddda88505b0c5344668b418d3efb926b1922adce8b6369c66de0ec5b9037eb9e780a07f43d830a108f9659843 WHIRLPOOL 947515410afed891d3813b4bc9812fdd52239e4628750cae0cb7efc0fd78ab12bc4e93e0f35a44ad4b4e87d3e0e98c74a15a7d9d769443fe14926ddb6c68cd4a diff --git a/sci-mathematics/alt-ergo/alt-ergo-0.95.ebuild b/sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild index 020c966b5..5f12078e2 100644 --- a/sci-mathematics/alt-ergo/alt-ergo-0.95.ebuild +++ b/sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild @@ -2,7 +2,7 @@ # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI=4 +EAPI=5 inherit eutils diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml index 70209e070..947fde0ac 100644 --- a/sci-mathematics/alt-ergo/metadata.xml +++ b/sci-mathematics/alt-ergo/metadata.xml @@ -6,7 +6,6 @@ Alt-Ergo is an open source automatic theorem prover dedicated to program verification. It is an SMT solver based on CC(X): a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo is based on a home-made SAT-solver and implements an - instantiation mechanism for quantified formulas. Its architecture is summarized by the - the following picture. + instantiation mechanism for quantified formulas. </longdescription> </pkgmetadata> |