diff options
| author |   Jauhien Piatlicki <jauhien@gentoo.org> | 2014-06-16 12:23:50 +0200 |
|---|---|---|
| committer | Jauhien Piatlicki <jauhien@gentoo.org> | 2014-06-16 12:23:50 +0200 |
| commit | daad1b1261436d6ac1e3ea1e78546f67923369f1 (patch) | |
| tree | ee3f775a79b985b1c108cb71cf42edcf4ef1154d /sci-mathematics/alt-ergo | |
| parent | Merge pull request #232 from JelteF/neovim (diff) | |
| download | sci-daad1b1261436d6ac1e3ea1e78546f67923369f1.tar.gz sci-daad1b1261436d6ac1e3ea1e78546f67923369f1.tar.bz2 sci-daad1b1261436d6ac1e3ea1e78546f67923369f1.zip | |
sci-mathematics/alt-ergo: fix bug #479994: move sources to my dev space
Diffstat (limited to 'sci-mathematics/alt-ergo')
| -rw-r--r-- | sci-mathematics/alt-ergo/ChangeLog | 8 | ||||
| -rw-r--r-- | sci-mathematics/alt-ergo/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild (renamed from sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild) | 5 |
3 files changed, 11 insertions, 4 deletions
diff --git a/sci-mathematics/alt-ergo/ChangeLog b/sci-mathematics/alt-ergo/ChangeLog index c55de8b55..b396eaafb 100644 --- a/sci-mathematics/alt-ergo/ChangeLog +++ b/sci-mathematics/alt-ergo/ChangeLog @@ -1,7 +1,13 @@ # ChangeLog for sci-mathematics/alt-ergo -# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 +# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ +*alt-ergo-0.95.2 (16 Jun 2014) + + 16 Jun 2014; Jauhien Piatlicki <jauhien@gentoo.org> -alt-ergo-0.95.1.ebuild, + +alt-ergo-0.95.2.ebuild: + fix bug #479994: move sources to my dev space + *alt-ergo-0.95.1 (25 Aug 2013) 25 Aug 2013; Andrew Savchenko <bircoph@gmail.com> -alt-ergo-0.95.ebuild, diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest index 98093a588..ad6a8ca8d 100644 --- a/sci-mathematics/alt-ergo/Manifest +++ b/sci-mathematics/alt-ergo/Manifest @@ -1 +1 @@ -DIST alt-ergo-0.95.1.tar.gz 239053 SHA256 31818b63ff13b4a0f1b853fe8be75823614433ec0cfddb0ee349af579b41fe10 SHA512 1a295884c5ffcfc11368828eaab1e86e5d6956bddda88505b0c5344668b418d3efb926b1922adce8b6369c66de0ec5b9037eb9e780a07f43d830a108f9659843 WHIRLPOOL 947515410afed891d3813b4bc9812fdd52239e4628750cae0cb7efc0fd78ab12bc4e93e0f35a44ad4b4e87d3e0e98c74a15a7d9d769443fe14926ddb6c68cd4a +DIST alt-ergo-0.95.2.tar.gz 233778 SHA256 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac SHA512 e4bb73719d67e44bac058ea53082879534c93d47fd931ec927e7f1e59330a60915ae73c662153207e6229ae914a5c0b8b16c04763f1ae3e251668a336a11d382 WHIRLPOOL aa5f8f0bf46eb93d4e8e4be4e6a30facd7b97d35fd110e4081a61826edb1def7dc5724db08c05f714c3bc1a70add9aaa961e9757492aa47f9c97ad48069f5ae9 diff --git a/sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild index 54cb8a500..ce0fcc70a 100644 --- a/sci-mathematics/alt-ergo/alt-ergo-0.95.1.ebuild +++ b/sci-mathematics/alt-ergo/alt-ergo-0.95.2.ebuild @@ -8,16 +8,17 @@ inherit eutils DESCRIPTION="Alt-Ergo is an automatic theorem prover" HOMEPAGE="http://alt-ergo.lri.fr" -SRC_URI="http://alt-ergo.lri.fr/http/${P}/${P}.tar.gz" +SRC_URI="http://dev.gentoo.org/~jauhien/distfiles/${P}.tar.gz" LICENSE="CeCILL-C" SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86" +KEYWORDS="~amd64 ~x86" IUSE="+ocamlopt gtk" DEPEND=" >=dev-lang/ocaml-3.10.2[ocamlopt?] >=dev-ml/ocamlgraph-1.8.2[gtk?,ocamlopt?] + dev-ml/zarith gtk? ( x11-libs/gtksourceview:2.0 >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] |