[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/files/

2017-02-01 Thread David Seifert 
commit: b9ce9015c6035daa3519c3ccca481bb51ffb7d32
Author: Michael Mair-Keimberger (asterix)  gmail 
 com>
AuthorDate: Wed Feb  1 18:42:47 2017 +
Commit: David Seifert  gentoo  org>
CommitDate: Wed Feb  1 22:39:14 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9ce9015

sci-mathematics/isabelle: remove unused patch

Closes: https://github.com/gentoo/gentoo/pull/3764

 sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch | 13 -
 1 file changed, 13 deletions(-)

diff --git a/sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch 
b/sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch
deleted file mode 100644
index 04dc405..
--- a/sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-Index: work/Isabelle2016/src/Pure/General/sha1_polyml.ML
-===
 work.orig/Isabelle2016/src/Pure/General/sha1_polyml.ML
-+++ work/Isabelle2016/src/Pure/General/sha1_polyml.ML
-@@ -18,7 +18,7 @@ fun hex_string arr i =
-   in (op ^) (apply2 hex_digit (Integer.div_mod (Char.ord c) 16)) end
- 
- val lib_path =
--  ("$ML_HOME/" ^ (if ML_System.platform_is_windows then "sha1.dll" else 
"libsha1.so"))
-+  ("$SHA1_HOME/" ^ (if ML_System.platform_is_windows then "sha1.dll" else 
"libsha1.so"))
-   |> Path.explode;
- 
- val STRING_INPUT_BYTES =

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/files/, sci-mathematics/isabelle/

2017-01-28 Thread Mark Wright 
commit: ed679cff58321c6cd8757ba8d7a5d29b463bd6f9
Author: Mark Wright  gentoo  org>
AuthorDate: Sat Jan 28 08:31:25 2017 +
Commit: Mark Wright  gentoo  org>
CommitDate: Sat Jan 28 08:31:25 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed679cff

sci-mathematics/isabelle: Remove old

Package-Manager: portage-2.3.3

 sci-mathematics/isabelle/Manifest  |   4 -
 .../isabelle/files/isabelle-2012-libsha1.patch |  11 -
 .../files/isabelle-2013-gentoo-settings.patch  |  19 --
 ...lle-2013.2-HOL-Predicate_Compile_Examples.patch |  89 --
 .../isabelle/files/isabelle-2015-classpath.patch   |  26 --
 .../files/isabelle-2015-jfreechart-classpath.patch |  16 --
 sci-mathematics/isabelle/isabelle-2015.ebuild  | 301 -
 sci-mathematics/isabelle/metadata.xml  |   2 -
 8 files changed, 468 deletions(-)

diff --git a/sci-mathematics/isabelle/Manifest 
b/sci-mathematics/isabelle/Manifest
index 613468c..31fc293 100644
--- a/sci-mathematics/isabelle/Manifest
+++ b/sci-mathematics/isabelle/Manifest
@@ -1,14 +1,10 @@
-DIST Isabelle2015.tar.gz 36529154 SHA256 
08723d3be6f91c57a7a69a8624c54cc1e0cd31506988bf29ed365a5aa5a5156f SHA512 
052bb80316a9345368a295a7c5f3869b58d71a6879548fc6240a04fd2cf8c11406274ead8a1ed098563ef9b7573a826656da543e745044fc1d275322af5cc212
 WHIRLPOOL 
0be4759a1064f4759c2f227b037c448093ff36b47e16002fbb7e99d2843583e01314c4ea5c7a8cbf4d1304f8f72a383052911e483d51e4af2e68c4c36dea5121
 DIST Isabelle2016-1.tar.gz 39567637 SHA256 
79831f83df4f0275fbd64caf3cd3e170354809478139907f6e25ebc8fc4a083f SHA512 
c7da7900033a8c816f002b8899e398da7819dc457b3b1176dc9a19adffeb42d5524f2d14581a391487da1f36ffeabd0867bacab6462f3decfc0f7a9caf81a2d2
 WHIRLPOOL 
98d8cd767e04a7c46d19c91886fd7a98ca935625454b57df4f968f874340aaa5a6184004c6879ebc1c35f971b4e5ff1a52f06e33e1d14e377dbce346e201d655
 DIST bash_process-isabelle-component-1.2.1.tar.gz 33182 SHA256 
50ba6bed5a8fbcf26b9e9b090af783e1288daa9b6d2e67ec65e7de8621049bf4 SHA512 
d9817191af5660e38f1647401803115a93f0052291bfbbcb1cd9b41a4bab89b3ebdde22b40744a04ad3268aed8ca037ae59981c513f71b3ff6d89855d29e14c3
 WHIRLPOOL 
f8392e4df237e758568b3edd25b83b44b916a81f9a18f6d6dd931a084de9a915930ae9e65e39b7b39b80ab9f738fd112113c4c3496ef3433fd17efff2f51068a
 DIST csdp-isabelle-component-6.x.tar.gz 493 SHA256 
65dde42fa476095052ca3820df4c0e45089653d4467a53de711c8e13670a1b19 SHA512 
9be28ecbf61d0f6ad23e28d44bd7ceb8f06ab22f3a05a7c823a9c5bf52ddcf5e5c300c41e14451d6b8e6a4c32b1bbd17769c731cd890fab335a866cd5e735290
 WHIRLPOOL 
c930c531637172e4c75ec44d68f71e69e748a8b976fa3651ef4015fb6a90e30b568bd092632dc16c6389aac09bc13f3249af6c3ac261f09ad2dc5ad915282f99
-DIST exec_process-isabelle-component-1.0.3.tar.gz 814 SHA256 
ee3b7b299852bcfd0bf7ffce6c8cd2279f2d71247c4a7b0042971b31c2b2a89d SHA512 
7880b7f9843ff5806ab37d938a817a5b33e973772d9a6c6cf76bf04076fb532309bd22dfaa203be7c72c07f5a638f0f97e730c414ed164024fd31f1f09fc7c09
 WHIRLPOOL 
9d9beb7a41baac8b591ceee31bb7b69e1dd07fce66757511649977f6a85d85eef525ba0be13b0873c1aef47de0eace8bf88283b4a136397000e61cfc81da8d4d
 DIST isabelle_fonts-isabelle-component-20160830.tar.gz 249427 SHA256 
1e99293f2f77f906f32c3974becd7c4a9d474050d3ab78222e3e5f40fe3d8fce SHA512 
a185f79990478861832e9400ea37ffd02f582d3f916d26d901b8b0ec923027c412538bafe4a763a132adb9277a4b00a7a510762928ec49433ef550ae3fe59dbc
 WHIRLPOOL 
c15a6df44fce1d5577a7642d7b659b4b202bfd148db35c2429ec8e6c2680e7f1302b6249792150f0563a4e9cd9c92325bedc33194c0c7cf5008f2a3f4677ef02
-DIST jedit_build-isabelle-component-20150228.tar.gz 10674317 SHA256 
2bee3c5242a3ce4150656f106e658096e82b6bd966e04d590e20023a956be29b SHA512 
ba2d0804f21cee596fc3528a592941efc393e98b890efe054aed18fc0d31edfe459047b58ed79b42892e219b4c35a4fb5c8cca0f402b96d641ff8ce62e321339
 WHIRLPOOL 
b2971bdef70e32d858385cb58603d6a5a7e357dbbc9810569093a31332a7838387f43a76a65048a12f259f08de86f200e962ccf2deb2bd3cd4e83dc4c1e41d8b
 DIST jedit_build-isabelle-component-20161024.tar.gz 10819946 SHA256 
5b3cc4d2916a77ceef1b7aea80c3ade715795d2c2359f4f8f73b32e334c3f22e SHA512 
0563b696307dd33b244e4ecc62664056a2b003c3291a5e3d7dd4f1c936dac2c3257ff90273cb2c8dc3bf9dea40fae745fabb57fc5f4ed420d0c8fd7d2b917433
 WHIRLPOOL 
46edf80819abef2c900a2d0dfb20530685678c25780a56946f8fa4af66abb047cfdcab17a7bb9700e60028e5465d93c227d7515084f6020546c781419d91cc03
 DIST jfreechart-isabelle-component-1.0.14-1.tar.gz 3444825 SHA256 
b0eb7365c4c5877379889100f081a4afc4117afc0d332941c3dd01bef2c4aee9 SHA512 
ee1d84a45e43029d5e3acee823176196da19789322e8d3c2c81d5504930ad81d50e16e5da87655e4151034901daefb4ce6b82334839e39134b3a7ce32203aa67
 WHIRLPOOL 
e6f9caadb802ecb5b784e86e96c008e9271aa0b1c940152fb0b0358280d9c1e274bb0dee1507f8ff0fe7f43f863db538d631c76e146d1f66ab6e8a8fb27eb42d
 DIST jortho-isabelle-component-1.0-2.tar.gz 1723761 SHA256 
cf004d735252dcdc00ff6d3c9b5cc400f56bc8b7eb49ed9a3227f12779639bad SHA512

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/files/, sci-mathematics/isabelle/

2016-03-06 Thread James Le Cuirot 
commit: 1db4669fbb720d89e5420eb5a5b1c7b0ca508aa6
Author: James Le Cuirot  gentoo  org>
AuthorDate: Sun Mar  6 12:52:23 2016 +
Commit: James Le Cuirot  gentoo  org>
CommitDate: Sun Mar  6 13:01:33 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1db4669f

sci-mathematics/isabelle: Remove old

Package-Manager: portage-2.2.27

 sci-mathematics/isabelle/Manifest  |  10 -
 .../files/isabelle-2011.1-gentoo-settings.patch|  39 ---
 .../files/isabelle-2011.1-graphbrowser.patch   |  11 -
 .../isabelle/files/isabelle-2011.1-libsha1.patch   |  11 -
 .../isabelle-2011.1-proofgeneral-gentoo-path.patch |  39 ---
 ...isabelle-2011.1-reverse-line-editor-order.patch |  12 -
 .../files/isabelle-2012-gentoo-settings.patch  |  62 
 ...t-equations-in-function-definitions-error.patch |  35 --
 .../files/isabelle-2012-signal-handling.patch  |   8 -
 ...belle-2013-HOL-Predicate_Compile_Examples.patch |  82 -
 .../isabelle/files/isabelle-2013-classpath.patch   | 149 
 .../isabelle/files/isabelle-2013.2-classpath.patch | 135 
 sci-mathematics/isabelle/isabelle-2011.1-r2.ebuild | 254 --
 sci-mathematics/isabelle/isabelle-2011.1.ebuild| 142 
 sci-mathematics/isabelle/isabelle-2012-r1.ebuild   | 320 --
 sci-mathematics/isabelle/isabelle-2013-r2.ebuild   | 353 ---
 sci-mathematics/isabelle/isabelle-2013.2-r1.ebuild | 375 -
 sci-mathematics/isabelle/metadata.xml  |  15 -
 18 files changed, 2052 deletions(-)

diff --git a/sci-mathematics/isabelle/Manifest 
b/sci-mathematics/isabelle/Manifest
index 87a47c5..8e612b8 100644
--- a/sci-mathematics/isabelle/Manifest
+++ b/sci-mathematics/isabelle/Manifest
@@ -1,17 +1,7 @@
-DIST Isabelle2011-1.tar.gz 42239059 SHA256 
48d77fe31a16b44f6015aa7953a60bdad8fcec9e60847630dc7b98c053edfc08 SHA512 
213207951455395659a91b0bc6c8520c084cb6c75098c8f24c0800e41474c90c92aae86ffb99415142f6cf63d569556661ba350024fe458daa54a5cc9db372fd
 WHIRLPOOL 
7e7868c3f464f507aceb8e1f648c04394fdd69746242179e66cfad64f927cf4d6aba41970428da5e45cce90a30bcee29bdc373d8a9e4943eb61cd97480d0a366
-DIST Isabelle2012-doc-src.tar.gz 2688496 SHA256 
e18965fe0f7f89b286d4707e38201f1edbea81f6b26aed59d63a633c03fec097 SHA512 
5aaea56eb67e535d745d63314278b6ee8469e6d3bbf4ce4d7b3f5e04b24557783b56d50d905a5ad69187c42f44407023c95a9bfb6faab125c21edff7638ff21d
 WHIRLPOOL 
278b63a243950b1596376ee04cbfddb7a93c747e9f6ee66c5b069ca0dae4ca8d10bef43e03069b6186a19c703f71a585633fc47c3c1a15de3a886ff468232127
-DIST Isabelle2012.tar.gz 49529865 SHA256 
b86f957dee221041f92c9d4ced4758d45b4950339743d0d58b1ea6061e2b53f0 SHA512 
1346f563233eba10bc14f7d140706b8bfba8e832f7ee5887316c829926136af07d700914a925272d8adc1275b0bdd682540518957910c136a15bfc60d61285a0
 WHIRLPOOL 
23b764a1a0044a9525d058e95da318f4425fadf7660edc8ab8f35b248f98dcff0dba2e533ff18d8bf47ea164cec12a9648642749de2a49887bbe84ed4e71a68b
-DIST Isabelle2013-2.tar.gz 52603110 SHA256 
602e91377b0999c25950ae2a34c0fcb23e3aff3a196bdbc5ce61634bd90d7f22 SHA512 
464a2735b2f4e28dcf44e55cd4abb4d8766a6bb7eb86f989f3592e7819e33d97922bdfb6701da85aa9d7c4cc2aee3eadebde1c7e3fc74bb3f6108a5daf5fea45
 WHIRLPOOL 
0dc354d60e3440ea0909dc09f25b66cb301b82f88fbe21c0b7f4bfef40ecc3631014757abd8657f0464047f0ad32827ad308e3f998fcf2477e05907ff7b19a84
-DIST Isabelle2013.tar.gz 54638791 SHA256 
2f2cda9939248bd4346ad7e074cb6b2cfad70708777491c6262a5ae670c8f83a SHA512 
e03f9b747f678749a562c3de6100f4f4e010ace51b2eb13bcde0a63591eec0cb4e081f7fad9147d022fe787b56eac3f037ab3a296080fd70cc7d058ea961a789
 WHIRLPOOL 
5cbcbc93bd2ce4723034c3d95d4678b2de90c924601b795c5da378cb76f58275e5d5f47ce9120234a9ea36e43ab759ced843dca76942378abfa1fb7aff858a65
 DIST Isabelle2015.tar.gz 36529154 SHA256 
08723d3be6f91c57a7a69a8624c54cc1e0cd31506988bf29ed365a5aa5a5156f SHA512 
052bb80316a9345368a295a7c5f3869b58d71a6879548fc6240a04fd2cf8c11406274ead8a1ed098563ef9b7573a826656da543e745044fc1d275322af5cc212
 WHIRLPOOL 
0be4759a1064f4759c2f227b037c448093ff36b47e16002fbb7e99d2843583e01314c4ea5c7a8cbf4d1304f8f72a383052911e483d51e4af2e68c4c36dea5121
 DIST csdp-isabelle-component-6.x.tar.gz 493 SHA256 
65dde42fa476095052ca3820df4c0e45089653d4467a53de711c8e13670a1b19 SHA512 
9be28ecbf61d0f6ad23e28d44bd7ceb8f06ab22f3a05a7c823a9c5bf52ddcf5e5c300c41e14451d6b8e6a4c32b1bbd17769c731cd890fab335a866cd5e735290
 WHIRLPOOL 
c930c531637172e4c75ec44d68f71e69e748a8b976fa3651ef4015fb6a90e30b568bd092632dc16c6389aac09bc13f3249af6c3ac261f09ad2dc5ad915282f99
 DIST exec_process-isabelle-component-1.0.3.tar.gz 814 SHA256 
ee3b7b299852bcfd0bf7ffce6c8cd2279f2d71247c4a7b0042971b31c2b2a89d SHA512 
7880b7f9843ff5806ab37d938a817a5b33e973772d9a6c6cf76bf04076fb532309bd22dfaa203be7c72c07f5a638f0f97e730c414ed164024fd31f1f09fc7c09
 WHIRLPOOL 
9d9beb7a41baac8b591ceee31bb7b69e1dd07fce66757511649977f6a85d85eef525ba0be13b0873c1aef47de0eace8bf88283b4a136397000e61cfc81da8d4d
-DIST jedit_build-20120414.tar.gz 7509120 SHA256