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 | |
| 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')
| -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 | ||||
| -rw-r--r-- | sci-mathematics/gappalib-coq/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/gappalib-coq/gappalib-coq-0.12.ebuild (renamed from sci-mathematics/gappalib-coq/gappalib-coq-0.11.ebuild) | 4 |
4 files changed, 8 insertions, 8 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" diff --git a/sci-mathematics/gappalib-coq/Manifest b/sci-mathematics/gappalib-coq/Manifest index 6ef4ea6b2..c641472c2 100644 --- a/sci-mathematics/gappalib-coq/Manifest +++ b/sci-mathematics/gappalib-coq/Manifest @@ -1,2 +1,2 @@ -DIST gappalib-coq-0.11.tar.gz 103864 RMD160 7472643ec1c66567a39431980a3c9bc26af2d6c3 SHA1 2a2a15d49a68b288786159b4730535a12246bce6 SHA256 4042609dcaa5f5833deb6fa8cfa643cdb05e51b118f9aff89b00647f7d526873 -EBUILD gappalib-coq-0.11.ebuild 885 RMD160 9f3afe6efa93669ec376b5051e6d4bb877a7977e SHA1 4178fed1956ae75171b7c23fd0d0f9333c32da31 SHA256 62ab61cfa6556145c187c5a107abcd4cb484043098bba65eccd27942c49e854e +DIST gappalib-coq-0.12.tar.gz 118809 RMD160 f2df65844fb142c6287f4e95524cc08cc8e0c645 SHA1 6d9224a7d3bfcaf6cd16ad36671f7fcee6ad2d70 SHA256 0d9de0d4dd29a1992651aa5b76beb0d142f525a3c2b23453104fdfc9b71915cf +EBUILD gappalib-coq-0.12.ebuild 876 RMD160 f5b188d0b9e55893aa977291b93168b8ec4ceb8f SHA1 dc17a4bb20ef0492a0b53b5706f5a238aa067016 SHA256 3ba356dbf4ad94210da62a6fd3ed45b81531e8fff0a2c54b831316211937ddac diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-0.11.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-0.12.ebuild index fe2100eb2..c52c4a928 100644 --- a/sci-mathematics/gappalib-coq/gappalib-coq-0.11.ebuild +++ b/sci-mathematics/gappalib-coq/gappalib-coq-0.12.ebuild @@ -3,8 +3,8 @@ # $Header: Exp $ DESCRIPTION="This library allows the certificates Gappa generates to be imported by the Coq." -HOMEPAGE="http://lipforge.ens-lyon.fr/www/gappa/" -SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/151/${P}.tar.gz" +HOMEPAGE="http://gappa.gforge.inria.fr/" +SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/160/${P}.tar.gz" LICENSE="LGPL-2" SLOT="0" |