diff options
author | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2009-10-16 15:33:36 +0000 |
---|---|---|
committer | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2009-10-16 15:33:36 +0000 |
commit | b4e5614dff3eb217b5b60e9ce9653b20fc2a03df (patch) | |
tree | 90d2cd503a368e922717664316c8f7c96701df76 /sci-mathematics/gappa | |
parent | Cleaning and much QA, tested on amd64 (diff) | |
download | sci-b4e5614dff3eb217b5b60e9ce9653b20fc2a03df.tar.gz sci-b4e5614dff3eb217b5b60e9ce9653b20fc2a03df.tar.bz2 sci-b4e5614dff3eb217b5b60e9ce9653b20fc2a03df.zip |
sci-mathematics/gappa(lib-coq): bump version to 0.12(.1)
Diffstat (limited to 'sci-mathematics/gappa')
-rw-r--r-- | sci-mathematics/gappa/Manifest | 4 | ||||
-rw-r--r-- | sci-mathematics/gappa/gappa-0.12.1.ebuild (renamed from sci-mathematics/gappa/gappa-0.11.0.ebuild) | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/sci-mathematics/gappa/Manifest b/sci-mathematics/gappa/Manifest index ad61f650d..848ec3985 100644 --- a/sci-mathematics/gappa/Manifest +++ b/sci-mathematics/gappa/Manifest @@ -1,2 +1,2 @@ -DIST gappa-0.11.0.tar.gz 241040 RMD160 ed6197ba8a9ab3b20ea77bce8d44d7ad6b3974dc SHA1 91cc38cccf214280911aba50744b3dc40e397580 SHA256 cd129fe7586f29dbb62d5d4e200362c84d83af2735f69cc4f113fe2910410171 -EBUILD gappa-0.11.0.ebuild 1313 RMD160 56cd02144c4b35f5a9546e6fc1fdbe9bc6062ca6 SHA1 1aabbd1abd5af060bb44b3cdd7ef2c48b48cc504 SHA256 f6e35474f467d01673b814bfe360b8a7714a7e85ce9b8b46e450843801ae11b5 +DIST gappa-0.12.1.tar.gz 250015 RMD160 0809d73801636ee649324f951db72c58bb74a65a SHA1 b01ba7bf5e915b5c0f25eb34ad6a52e4ede09b10 SHA256 287c9ba0186319a1e7e353fa7955ffaf1f1f13941d2605d4ca078b8f260e13cd +EBUILD gappa-0.12.1.ebuild 1301 RMD160 2016153dc74006e9d7d410d590dd9f3f328f62fc SHA1 27f787bd511e0722f29406a5590b5a895be89cf0 SHA256 e9b704031f4516c5d28f6b7280d0d86f85b9b48386bcf45ac6bd2fa3457c3a73 diff --git a/sci-mathematics/gappa/gappa-0.11.0.ebuild b/sci-mathematics/gappa/gappa-0.12.1.ebuild index c742352ac..48a39de92 100644 --- a/sci-mathematics/gappa/gappa-0.11.0.ebuild +++ b/sci-mathematics/gappa/gappa-0.12.1.ebuild @@ -3,8 +3,8 @@ # $Header: Exp $ DESCRIPTION="A tool to help verifying and proving properties on floating-point or fixed-point arithmetic." -HOMEPAGE="http://lipforge.ens-lyon.fr/www/gappa/" -SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/150/${P}.tar.gz" +HOMEPAGE="http://gappa.gforge.inria.fr/" +SRC_URI="http://gforge.inria.fr/frs/download.php/23429/${P}.tar.gz" LICENSE="CeCILL GPL-2" SLOT="0" |