diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-05-30 00:45:24 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-05-30 00:45:24 +0000 |
| commit | ba40432a742763d00acfd569f3ede173f9729771 (patch) | |
| tree | 49bedb96609c224dc02bcd0027f0286a277a5f1b | |
| parent | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover... (diff) | |
| download | gentoo-2-ba40432a742763d00acfd569f3ede173f9729771.tar.gz gentoo-2-ba40432a742763d00acfd569f3ede173f9729771.tar.bz2 gentoo-2-ba40432a742763d00acfd569f3ede173f9729771.zip | |
Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src directory with use=doc (2012) as doc-src stuff is required when building doc some isabelle add on packages (sci-mathematics/haskabelle).
(Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
| -rw-r--r-- | sci-mathematics/isabelle/Manifest | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/sci-mathematics/isabelle/Manifest b/sci-mathematics/isabelle/Manifest index 02ab9c7d0232..a23c7de6dead 100644 --- a/sci-mathematics/isabelle/Manifest +++ b/sci-mathematics/isabelle/Manifest @@ -1,16 +1,26 @@ -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 +AUX isabelle-2011.1-gentoo-settings.patch 1265 RMD160 9060454ab5480056b931b7a663137c80efa73b42 SHA1 e447977ddfbf08de46695f7b63e0ce2af3b55ac5 SHA256 08f6dae3f3157331ac83a3204f95e75838725175994c54f25b5f71715836556a 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 +AUX isabelle-2011.1-reverse-line-editor-order.patch 427 RMD160 b3c672e939541e3eeb2f4a866628c668cd5d2898 SHA1 9095831f761de457915a10a5391a260de4b8b910 SHA256 1a664c94d400d88dfa5af9af3bdb4c90bacd12792286b3c4933f62ca15e5b9a0 +AUX isabelle-2012-gentoo-settings.patch 2107 RMD160 4ebd777b8c498a833d0264ddf67f367003a424f2 SHA1 b073aae7982a29bfc200c985e53051b882f3aa7d SHA256 5076d6665b367a9b08a2e56ba901028e90910a444c2c02322ebf8d9d9ac328b1 +AUX isabelle-2012-graphbrowser.patch 354 RMD160 68eaee7f3e8c8b92f608cf5936ea8a4315634b41 SHA1 508be51f17ad6bf08d5df71535298f42177a736a SHA256 0b6d3a3736ec89ad870ef24bb2ba3c2006a907e1a29a113e3f63a5ad609ec4b7 +AUX isabelle-2012-reverse-line-editor-order.patch 423 RMD160 6a51017a64f70fde99decfb2e0b09e281836ec6b SHA1 ff5945dd644dba3b0fd0fcd49ec793e9bf10c2ae SHA256 51a172b46baaaa269488801bad3d46ba4ccd0e3df35b2c15dc9b75592ceb843e DIST Isabelle2011-1.tar.gz 42239059 RMD160 70dadeaf38ae71ff9871f8c5b9ba823c4d5cbcc7 SHA1 2f514bc2cff7e7f7c75a3cb15c71ea71009f8df7 SHA256 48d77fe31a16b44f6015aa7953a60bdad8fcec9e60847630dc7b98c053edfc08 +DIST Isabelle2012-doc-src.tar.gz 2688496 RMD160 cbef295dc2f6b27ab32815b9395dc38f0f344ea8 SHA1 2ed623a40488b7c200282457c240af575fe4b3e6 SHA256 e18965fe0f7f89b286d4707e38201f1edbea81f6b26aed59d63a633c03fec097 +DIST Isabelle2012.tar.gz 49529865 RMD160 62de99689ba65e2d4ff02d9590397db3d3115cf0 SHA1 9ec664d48bb15b679c7316820aa03ba37d6fc56b SHA256 b86f957dee221041f92c9d4ced4758d45b4950339743d0d58b1ea6061e2b53f0 +DIST jedit_build-20120414.tar.gz 7509120 RMD160 f3977207db8df6ccaf85015640a938cc3a475c4c SHA1 6425f622625024c1de27f3730d6811f6370a19cd SHA256 3c5840fd01b87013b05a92742d41f66f655df6fe9edef1525c6722f92d8f3e41 +EBUILD isabelle-2011.1-r1.ebuild 7158 RMD160 a6638676fb40ef87eb2ed3076b8618a451c641d7 SHA1 dfcdf9aa011a72236c5718bc16b08c31d45498fa SHA256 4a751a8893be2d92e4e1d709209ee94f68f3555e73c045136fb41ea83b918a1c 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 +EBUILD isabelle-2012.ebuild 9776 RMD160 9720486c161c7da9f91e35a8da831e6261679274 SHA1 1ada1c0433db06f3922c2a5f48dbc886f8dd9dd4 SHA256 a830baad156e332e30e44a4b64a77d74c78b7ec6f11aa21ebba30e52bd245d96 +MISC ChangeLog 1677 RMD160 f7e6e9579f92c0ddb4fc3073a82b76229f9d75c6 SHA1 7e1ad7c49bc7d49fe7609ebed7b0e35f5eef319c SHA256 cea75b42cd88b33a1ac5664a8bdbe0cd213c1d3f14fea91ea5a954f2148acd5d +MISC metadata.xml 2157 RMD160 ee8247053938f0b3686a6e0ea8dbfe0cf925a700 SHA1 459ec3cc74b389f410d26c2da55bb89a5d842a11 SHA256 bdcce608d1d69f75e4aa0c809f85885dd025cd9ed2c1a12552a446033c4a7fa6 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) -iF4EAREIAAYFAk8mPswACgkQoBEVQmGOlx/f7QEAq0804KhSJXJSSU1Wa1nD01dN -LF85jMEvW+24Z9ZckgoBAMs0deFFYiBpJ8GeCXlWU1phC1BdoZOnID+lzSUqa7cc -=1qfF +iF4EAREIAAYFAk/FbaIACgkQoBEVQmGOlx/UQAEAwuUYY2arR5bF3refK8UCYYdr +QiY7mn286hs+ktiE5BUBAJ7Clx9wfej5m8lgWVNdobPwTmg9pJIc4VBKXuTjqHSF +=BVGh -----END PGP SIGNATURE----- |