diff options
| author |   Zac Medico <zmedico@gentoo.org> | 2013-09-01 08:30:38 +0000 |
|---|---|---|
| committer | Zac Medico <zmedico@gentoo.org> | 2013-09-01 08:30:38 +0000 |
| commit | 98c9a502dbbc89698e8ac1b09bb760bb5e16b5d2 (patch) | |
| tree | a2ee6a5617a4cf8cb87693b8771819722445b221 /sci-mathematics/isabelle | |
| parent | Depend on dev-libs/antlr-c instead of using the bundled version, now that a n... (diff) | |
| download | historical-98c9a502dbbc89698e8ac1b09bb760bb5e16b5d2.tar.gz historical-98c9a502dbbc89698e8ac1b09bb760bb5e16b5d2.tar.bz2 historical-98c9a502dbbc89698e8ac1b09bb760bb5e16b5d2.zip | |
Fix SRC_URI and HOMEPAGE (case-sensitive).
Package-Manager: portage-2.2.1/cvs/Linux i686
Manifest-Sign-Key: 0xFDE8EF85AE5719A3
Diffstat (limited to 'sci-mathematics/isabelle')
| -rw-r--r-- | sci-mathematics/isabelle/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/isabelle/Manifest | 10 | ||||
| -rw-r--r-- | sci-mathematics/isabelle/isabelle-2013.ebuild | 6 |
3 files changed, 12 insertions, 9 deletions
diff --git a/sci-mathematics/isabelle/ChangeLog b/sci-mathematics/isabelle/ChangeLog index 16ba9db3930e..f4e87f8f7a7b 100644 --- a/sci-mathematics/isabelle/ChangeLog +++ b/sci-mathematics/isabelle/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/isabelle # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.9 2013/08/31 09:24:13 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.10 2013/09/01 08:30:31 zmedico Exp $ + + 01 Sep 2013; Zac Medico <zmedico@gentoo.org> isabelle-2013.ebuild: + Fix SRC_URI and HOMEPAGE (case-sensitive). *isabelle-2013 (31 Aug 2013) diff --git a/sci-mathematics/isabelle/Manifest b/sci-mathematics/isabelle/Manifest index 6c3caa4cb363..ed8e426ee067 100644 --- a/sci-mathematics/isabelle/Manifest +++ b/sci-mathematics/isabelle/Manifest @@ -25,13 +25,13 @@ DIST jfreechart-isabelle-component-1.0.14.tar.gz 3443727 SHA256 c873ad6f07edbcce EBUILD isabelle-2011.1-r1.ebuild 8114 SHA256 914fc9aec131d739bde342e8fa821415b5d31763a874b30d7dfa7464ceef25fc SHA512 9a2fdcefe6f6b7f6dc6f83f66b3944f92d6f22ad7630144ef97e296488c3c7b0041078c3a599f292042a063e09882d88747f0c42b83317ac3de08cafc8d213c7 WHIRLPOOL 23f853a92750bdefa7e7e1a29a88b3ae66e28d7760fec71582fc42d793884ff0255721c0787cd76d6d3ee1d7fe0e63e54f91a44f7dcbf98ed5fd60b04380699c EBUILD isabelle-2011.1.ebuild 4036 SHA256 6063b32c39e50c42e81051197ce46a735bb16448c13b5ff1f8af5018f07b3020 SHA512 430524175bd5fbf4beb325a93ef746bf5df5c2beabc4b6d9536c1f7370e0c1babdd9bf00a617076a74ff892e5909ffe01f791a7121bdf3fb3cd817eb42f4bf66 WHIRLPOOL 3e3bcc27aa6ff8f4853fb142c0a4312bb7eeb908639a3fc826ae882a16fca60c03374387f4e06b19f4b079afb562d782d786c75c1c4a36c2cac2db47c0f04e18 EBUILD isabelle-2012.ebuild 11011 SHA256 b8d6bc8147868b37c15789fdd250bbade275f3341b34166626de1552c717daad SHA512 b3194156a2379dc783d7e32a29bd60e02e7d043a5705e4e4d482f86fa22cb944f236ee5aa49257134468040c9edf01af889b86cb9f80bc631e14f400ab42eaa4 WHIRLPOOL 13bd0f7080dee3d97fb9ed1870e6f4fa68e82c8cf203d3993c336a402afca24f3fc6b16d96cd45915bb02348b5c17346f588734158762d78ab9290f8b3934759 -EBUILD isabelle-2013.ebuild 12418 SHA256 f8b59c07c8af4faa6c6ffa9d4b6b3a10eeb17824d7421bf5c1dd4d7377328576 SHA512 aa0fa1ef99d943030cdea7912af437fbd773378b46009ab73b41494167b349732e41a922a054af525391f178383a4f7cd356abcf22abd5c90abf0e9da6922437 WHIRLPOOL 8efc0028f3300746825a516efd47ae5f2539938975d7c08456ae9cbbdf523dea564603625816656598cfb85e867dfebd67646f7521df9d8eebfe7abe52ad1dad -MISC ChangeLog 3090 SHA256 9de7ef129f7021e78557170af13adbc73ff02b83efd2b221cb8680ebbd9b839a SHA512 2b396449648b93793636c98b70341067ceb45c1c65dad81182feb974f10c499e72af5c037b98c7948baed40a2e6a5ca1346473c342032aed703d049b0f5c3806 WHIRLPOOL ff60b469d12ae036961c46c53915b5b551c060048349bbe3e46148e2b1203791cf1e76bf5f14a5b370545809286ed7a6eaf93c14ee81a029a7413d2fdd83e3ca +EBUILD isabelle-2013.ebuild 12419 SHA256 f3ca677bd4b322e6bd71fcc42f161d33cfdd8093ef4d348a69bc398a2711cbd9 SHA512 af6497aea725468d9ac2f524a47ed152bdfe85a148566c9e8c358d05ea28a22f7c3372a7b354c9718e78449a6adf73273afad88f260a20799543c9a39577cf84 WHIRLPOOL 7d292c724aebfdf873861171f9c2f353f9d44fa61c61a738765db758f38acd1fddbeaa63700df091bdae5b272fddcf0b54d498ed3b7c86ff2a0e4d267bffb594 +MISC ChangeLog 3207 SHA256 d024723c89ac75fd90025c385da73f96c721ee43033982b7c9989fee864e50b2 SHA512 047572e8e5d1f371cd2c1bb13966f6a7dbd3d90b741aca6a7241f19b8cd2dc5f7984ff8204579e9fe407d758d37705e09bac53cf2c7fadc05539c4bce1d75c3c WHIRLPOOL 08b287557fdfec72ef93ab794d12ec246f39430db4dc2d3a4e54e3cce61358f3523e4f0854b9441ef0049afaa76f3c246642d089fa5a0caa88b17d702cead61b MISC metadata.xml 2156 SHA256 cade1f090a62a67146e6ebce508a20436e2c883d62dbc5a260733a60f69bd43b SHA512 cade4e370f3adbf9a5ae9bc6a73adabbe36f3ccc707c47f6f4516f2f0604b26f34439cff170bf478b3d52f0c507d72d9eef8f69657d7de2fda1f70a8a96de137 WHIRLPOOL 2edf4ab8a07ba560d34e168a9fd618a6fc1f9946dd0f9b62a2d071d1f19546d5e15413f54658c898e1e71df0c110ea832529f95cf904b7333489734fdfd5749b -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.20 (GNU/Linux) -iF4EAREIAAYFAlIhtcoACgkQoBEVQmGOlx+1nQEAuOTaeGSFm+bWG2QQfdPqB880 -hpM7jusMjr2AAwVuYMoA/3ccXvlkWlCVAiSYhOXTxLTDpQ3Wxpq5OPifOnkgpvq9 -=CuGB +iEYEAREIAAYFAlIi+ykACgkQ/ejvha5XGaPkDACgshVo8p/2wiQW8A9PMayDWLtx +PdMAoN+jHoFm7wQhw7ZB2ITxoWSKoDFJ +=F4lS -----END PGP SIGNATURE----- diff --git a/sci-mathematics/isabelle/isabelle-2013.ebuild b/sci-mathematics/isabelle/isabelle-2013.ebuild index 37b0725375b7..2ac0b05de93f 100644 --- a/sci-mathematics/isabelle/isabelle-2013.ebuild +++ b/sci-mathematics/isabelle/isabelle-2013.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2013 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2013.ebuild,v 1.1 2013/08/31 09:24:13 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2013.ebuild,v 1.2 2013/09/01 08:30:31 zmedico Exp $ EAPI="5" @@ -23,8 +23,8 @@ JFREECHART_IC_PN="${JFREECHART_PN}-isabelle-component" JFREECHART_IC_P="${JFREECHART_IC_PN}-${JFREECHART_PV}" DESCRIPTION="Isabelle is a generic proof assistant" -HOMEPAGE="http://www.cl.cam.ac.uk/research/hvg/isabelle/index.html" -SRC_URI="http://www.cl.cam.ac.uk/research/hvg/isabelle/dist/${MY_P}.tar.gz +HOMEPAGE="http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html" +SRC_URI="http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/${MY_P}.tar.gz http://isabelle.in.tum.de/components/${JEDIT_P}.tar.gz -> ${JEDIT_IC_P}.tar.gz http://isabelle.in.tum.de/components/${JFREECHART_P}.tar.gz -> ${JFREECHART_IC_P}.tar.gz" |