diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-01-30 06:54:53 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-01-30 06:54:53 +0000 |
| commit | 4ea0f5cdf1b8ec03fc823db9616544f093fbe43f (patch) | |
| tree | 9730e3c93dd2e5c8d25f956a135d030269e060ec /sci-mathematics/isabelle | |
| parent | Version bump. (diff) | |
| download | historical-4ea0f5cdf1b8ec03fc823db9616544f093fbe43f.tar.gz historical-4ea0f5cdf1b8ec03fc823db9616544f093fbe43f.tar.bz2 historical-4ea0f5cdf1b8ec03fc823db9616544f093fbe43f.zip | |
Fix bug #400961, thanks to Mr. Anderson for report and fix.
Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
Diffstat (limited to 'sci-mathematics/isabelle')
| -rw-r--r-- | sci-mathematics/isabelle/ChangeLog | 6 | ||||
| -rw-r--r-- | sci-mathematics/isabelle/Manifest | 12 | ||||
| -rw-r--r-- | sci-mathematics/isabelle/isabelle-2011.1.ebuild | 4 | ||||
| -rw-r--r-- | sci-mathematics/isabelle/metadata.xml | 3 |
4 files changed, 16 insertions, 9 deletions
diff --git a/sci-mathematics/isabelle/ChangeLog b/sci-mathematics/isabelle/ChangeLog index c5bb9e0742e8..c2ba2bd7f436 100644 --- a/sci-mathematics/isabelle/ChangeLog +++ b/sci-mathematics/isabelle/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/isabelle # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.2 2012/01/09 13:49:21 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.3 2012/01/30 06:54:53 gienah Exp $ + + 30 Jan 2012; Mark Wright <gienah@gentoo.org> isabelle-2011.1.ebuild, + metadata.xml: + Fix bug #400961, thanks to Mr. Anderson for report and fix. 09 Jan 2012; Mark Wright <gienah@gentoo.org> isabelle-2011.1.ebuild: Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die diff --git a/sci-mathematics/isabelle/Manifest b/sci-mathematics/isabelle/Manifest index d3bbf11f9652..02ab9c7d0232 100644 --- a/sci-mathematics/isabelle/Manifest +++ b/sci-mathematics/isabelle/Manifest @@ -4,13 +4,13 @@ Hash: SHA256 AUX isabelle-2011.1-graphbrowser.patch 358 RMD160 debe029504aad72c611f783569ca6e5e07d6fcfa SHA1 5067aa4f60a9185d6b7ca2e4d9511dd93ed6f239 SHA256 3c4a1567e06ea062f3064a7fb4555a645591732dc2d77daf7b4c49de6f640115 AUX isabelle-2011.1-proofgeneral-gentoo-path.patch 1265 RMD160 9060454ab5480056b931b7a663137c80efa73b42 SHA1 e447977ddfbf08de46695f7b63e0ce2af3b55ac5 SHA256 08f6dae3f3157331ac83a3204f95e75838725175994c54f25b5f71715836556a DIST Isabelle2011-1.tar.gz 42239059 RMD160 70dadeaf38ae71ff9871f8c5b9ba823c4d5cbcc7 SHA1 2f514bc2cff7e7f7c75a3cb15c71ea71009f8df7 SHA256 48d77fe31a16b44f6015aa7953a60bdad8fcec9e60847630dc7b98c053edfc08 -EBUILD isabelle-2011.1.ebuild 4034 RMD160 04e86aaa19d53abea7f95026f571cb43a3149be8 SHA1 746cf8f99a8c766982604000fe983a0bd7bae50e SHA256 172afc21e4f6a30b7f4cd583278c1b424d6ae2d166cf286986bcaae6ab786f3c -MISC ChangeLog 719 RMD160 50d862c57fdb0235e9bb50a162223b15551eadc7 SHA1 0f63dc9cd44992ea4680abc0cc6ad52ced353bf0 SHA256 31adf8c2b7e31a98f2e504923c71438d0c44889fe593aa3b589551636267850a -MISC metadata.xml 1865 RMD160 6da50a4518e0bc23b6e6e5e540d8c4d47e71d74f SHA1 2e018687c48c173777159b28921d7d01a69b4ab9 SHA256 1a9f11e26050e0236ff9017d14b67ef7fd1a440cd4e865dbdf0b6cf1ddb2ff82 +EBUILD isabelle-2011.1.ebuild 4036 RMD160 363ef11acf50946dcde1151643e053d7c1064339 SHA1 cc9e14c8b1893c03d2efcdfd0262710b23d725e3 SHA256 6063b32c39e50c42e81051197ce46a735bb16448c13b5ff1f8af5018f07b3020 +MISC ChangeLog 869 RMD160 b9786ff70293c601da7fb575f5779fce748625d1 SHA1 cb2d331ef6961136bf39779cb3161e97789d11c9 SHA256 3e6dfcd4763b0de4d35b8789fadd7384ab1b9f90bd71fa00e38f9f3f13880fef +MISC metadata.xml 1928 RMD160 437eb8bfd6958ef1da0444d1fd649b185ca80348 SHA1 09fc04f42bd66e10c610bf27d0596cfc329e5476 SHA256 358d11a2caf5a5608686637b16f7c842fbe043504f39984835e1f8b9751f8ef7 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) -iF4EAREIAAYFAk8K8G8ACgkQoBEVQmGOlx+RywD/R8qR/b+t17Q3CmXZ6wblhF4h -9SEjxovPgJ8cm/NplbEA/1oMbDhj7oaiUeTvyfjyzZKche4c4hYpmmDJwcZ9HZVR -=qw+d +iF4EAREIAAYFAk8mPswACgkQoBEVQmGOlx/f7QEAq0804KhSJXJSSU1Wa1nD01dN +LF85jMEvW+24Z9ZckgoBAMs0deFFYiBpJ8GeCXlWU1phC1BdoZOnID+lzSUqa7cc +=1qfF -----END PGP SIGNATURE----- diff --git a/sci-mathematics/isabelle/isabelle-2011.1.ebuild b/sci-mathematics/isabelle/isabelle-2011.1.ebuild index fc9f3b056c53..2dca16f2a6b7 100644 --- a/sci-mathematics/isabelle/isabelle-2011.1.ebuild +++ b/sci-mathematics/isabelle/isabelle-2011.1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1.ebuild,v 1.2 2012/01/09 13:49:21 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1.ebuild,v 1.3 2012/01/30 06:54:53 gienah Exp $ EAPI="4" @@ -109,7 +109,7 @@ src_install() { dodir /etc/isabelle insinto /etc/isabelle - doins -r etc + doins -r etc/* dosym /etc/isabelle "${TARGETDIR}/etc" dosym "${LIBDIR}/heaps" "${TARGETDIR}/heaps" diff --git a/sci-mathematics/isabelle/metadata.xml b/sci-mathematics/isabelle/metadata.xml index c874493b4533..099959fac571 100644 --- a/sci-mathematics/isabelle/metadata.xml +++ b/sci-mathematics/isabelle/metadata.xml @@ -1,6 +1,9 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> +<maintainer> + <email>gienah@gentoo.org></email> +</maintainer> <herd>sci-mathematics</herd> <longdescription lang='en'> Isabelle is a generic proof assistant. It allows mathematical |