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

2019-09-14 Thread Michał Górny 
commit: 7d2aafd09b8f128da7201c48b793607077be
Author: Michał Górny  gentoo  org>
AuthorDate: Sat Sep 14 15:44:37 2019 +
Commit: Michał Górny  gentoo  org>
CommitDate: Sat Sep 14 15:44:37 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7d2aafd0

sci-mathematics/isabelle: Remove last-rited pkg

Signed-off-by: Michał Górny  gentoo.org>

 profiles/package.mask  |   1 -
 sci-mathematics/isabelle/Manifest  |  10 -
 .../files/isabelle-2012-graphbrowser.patch |  11 -
 .../isabelle-2012-reverse-line-editor-order.patch  |  12 -
 .../isabelle/files/isabelle-2016-classpath.patch   |  32 --
 .../files/isabelle-2016-jfreechart-classpath.patch |  16 -
 ...abelle-2016.1-bash_process-1.2.1-settings.patch |   7 -
 ...-2016.1-disable-jedit-build-after-install.patch | 128 
 .../isabelle-2016.1-jortho-1.0-2-classpath.patch   |   8 -
 .../isabelle/files/isabelle-2016.1-libsha1.patch   |  11 -
 ...sabelle-2016.1-smt_read_only_certificates.patch |  33 ---
 .../files/isabelle-2016.1-smt_timeout.patch|  22 --
 sci-mathematics/isabelle/isabelle-2016.1.ebuild| 328 -
 sci-mathematics/isabelle/metadata.xml  |  29 --
 14 files changed, 648 deletions(-)

diff --git a/profiles/package.mask b/profiles/package.mask
index feef25289e3..1eaa755ace9 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -1116,7 +1116,6 @@ dev-java/itext
 app-text/jpdftweak
 dev-util/deskzilla
 media-sound/tuxguitar
-sci-mathematics/isabelle
 
 # Michał Górny  (2019-08-14)
 # No longer builds.  Homepage is gone, and its keep-alive fork is also

diff --git a/sci-mathematics/isabelle/Manifest 
b/sci-mathematics/isabelle/Manifest
deleted file mode 100644
index b5aab891dc5..000
--- a/sci-mathematics/isabelle/Manifest
+++ /dev/null
@@ -1,10 +0,0 @@
-DIST Isabelle2016-1.tar.gz 39567637 BLAKE2B 
a664c89f2705e6b2709a8b3054d57ca443435967dd85f07e1651aa0bbfc41ee31dee88146243c8e0bddc2a1de86107158a89d13b2ff427f8dcf0308fe3dd2654
 SHA512 
c7da7900033a8c816f002b8899e398da7819dc457b3b1176dc9a19adffeb42d5524f2d14581a391487da1f36ffeabd0867bacab6462f3decfc0f7a9caf81a2d2
-DIST bash_process-isabelle-component-1.2.1.tar.gz 33182 BLAKE2B 
d139f5476b02b22a896fa742303a4e5c4de583972eb38a67e1a451fabe28d52c2c1310be865faf244104cad46758e1bf97f6222170999ff2e2da7c07e1398fe3
 SHA512 
d9817191af5660e38f1647401803115a93f0052291bfbbcb1cd9b41a4bab89b3ebdde22b40744a04ad3268aed8ca037ae59981c513f71b3ff6d89855d29e14c3
-DIST csdp-isabelle-component-6.x.tar.gz 493 BLAKE2B 
364c8f390adfb4031958597e4435783e58ebbb3be49ee80d5ee6631770d9322190bd364530622ae66d490d91e499bb3bb626b01762fccf3f67c65b20b3f7756b
 SHA512 
9be28ecbf61d0f6ad23e28d44bd7ceb8f06ab22f3a05a7c823a9c5bf52ddcf5e5c300c41e14451d6b8e6a4c32b1bbd17769c731cd890fab335a866cd5e735290
-DIST isabelle_fonts-isabelle-component-20160830.tar.gz 249427 BLAKE2B 
8398e578e6b8f54ac163b33e29c8283fef29c5db2cd8562dca1d636e1947bebb54e79e55035398fca215f2fbdf868dfe318d91a7f76074ad97f2d4792b8b4432
 SHA512 
a185f79990478861832e9400ea37ffd02f582d3f916d26d901b8b0ec923027c412538bafe4a763a132adb9277a4b00a7a510762928ec49433ef550ae3fe59dbc
-DIST jedit_build-isabelle-component-20161024.tar.gz 10819946 BLAKE2B 
2764d854eecd6783a0893934742f21db9ac47b1304f969803e01ffc402d57d2f3d38c9f07cb6ea6d77f12a48337892baecc7175b1d759989d7c46d0104b34a9f
 SHA512 
0563b696307dd33b244e4ecc62664056a2b003c3291a5e3d7dd4f1c936dac2c3257ff90273cb2c8dc3bf9dea40fae745fabb57fc5f4ed420d0c8fd7d2b917433
-DIST jfreechart-isabelle-component-1.0.14-1.tar.gz 3444825 BLAKE2B 
4a24f362d647c9bbe538d18a49f7579cf9c1914854b19c7f4cca29d876870eb5f994df4b53ae2bf6f8bf8aa697306bfebdb272493fb974c6df8050778d173376
 SHA512 
ee1d84a45e43029d5e3acee823176196da19789322e8d3c2c81d5504930ad81d50e16e5da87655e4151034901daefb4ce6b82334839e39134b3a7ce32203aa67
-DIST jortho-isabelle-component-1.0-2.tar.gz 1723761 BLAKE2B 
4f5503c640d25d79a8520a2f137900a8397db141f5f6279e4622bf44c377a3bcd7224d9e59de2f57993867362350bc279aebc54dc548562bab6b78b210110fb7
 SHA512 
8bef5e025d13b76c86a727bf93887b846cc906b2ce00299c38f69ccf33fb9dc7411e55b6fd1c56ed993c180d83a7e9ed90122f7feb6ae4fb70df93802ac21211
-DIST polyml-isabelle-component-5.6-1.tar.gz 822 BLAKE2B 
eea808d3cd2ce2c6b5b531fce046eba59e39f671e48e76e3d9093a4d9fadef9fbf3afc20b98eeaf5e672e8e34ed11aaf62441266469f53d3d228252fe9f64f89
 SHA512 
403239aa48aab8c39e12cd5f82cb5e3ba7c31f9325d88f5137d3ec509bb25ab4eb8b1103a66b8ea5ad45c7c968ef092749c486217528a5db4223819106c00a59
-DIST ssh-java-isabelle-component-20161009.tar.gz 412919 BLAKE2B 
d05152d92669043ba23d7e0767470a529ac7688866ed8be64432d724329a0c24590586faf5e09c365c44740550441798681b9e8b80a323285516ec61a884beb8
 SHA512 
685a9b8791046c1bc21aa77614fb1b304e7438715377e179954ebfd1603434ff66fe23e90de928a5af6f51a48ae6ea6f05f9ff8941d98f7c3a43fdda02d3b519
-DIST xz-java-isabelle-component-1.5.tar.gz 315 BLAKE2B

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

2018-11-01 Thread Patrice Clement 
commit: 3e5dff3bef6f13d5d3e6fce7fc41f60525e36ea0
Author: Patrice Clement  gentoo  org>
AuthorDate: Thu Nov  1 22:25:37 2018 +
Commit: Patrice Clement  gentoo  org>
CommitDate: Thu Nov  1 22:26:20 2018 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e5dff3b

sci-mathematics/isabelle: fix scala dependency.

Signed-off-by: Patrice Clement  gentoo.org>
Package-Manager: Portage-2.3.49, Repoman-2.3.11

 sci-mathematics/isabelle/isabelle-2016.1.ebuild | 12 ++--
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/sci-mathematics/isabelle/isabelle-2016.1.ebuild 
b/sci-mathematics/isabelle/isabelle-2016.1.ebuild
index 99534d2b138..3e67fa95fbf 100644
--- a/sci-mathematics/isabelle/isabelle-2016.1.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2016.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI="6"
@@ -65,7 +65,7 @@ XZ_JAVA_P="${XZ_JAVA_PN}-${XZ_JAVA_PV}"
 XZ_JAVA_IC_PN="${XZ_JAVA_PN}-isabelle-component"
 XZ_JAVA_IC_P="${XZ_JAVA_IC_PN}-${XZ_JAVA_PV}"
 
-SS="2.11"
+SS="2.12"
 
 DESCRIPTION="Isabelle is a generic proof assistant"
 HOMEPAGE="http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html;
@@ -105,7 +105,7 @@ DEPEND=">=app-shells/bash-3.0:*
virtual/latex-base
dev-tex/rail
)
-   >=dev-lang/scala-2.11.8:${SS}
+   dev-lang/scala:${SS}
ledit? (
app-misc/ledit
)
@@ -113,10 +113,10 @@ DEPEND=">=app-shells/bash-3.0:*
app-misc/rlwrap
)"
 
-RDEPEND="dev-perl/libwww-perl
+RDEPEND="
+   dev-perl/libwww-perl
sci-mathematics/sha1-polyml
-   >=virtual/jre-1.8
-   ${DEPEND}"
+   >=virtual/jre-1.8"
 
 S="${WORKDIR}"/Isabelle${MY_PV}
 TARGETDIR="/usr/share/Isabelle"

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

2017-09-06 Thread Michał Górny 
commit: 61bcb30dfd5e2ddd73b2c6c804b0514a9dc3565e
Author: Francesco Turco  fastmail  fm>
AuthorDate: Sun Sep  3 16:27:57 2017 +
Commit: Michał Górny  gentoo  org>
CommitDate: Wed Sep  6 20:59:17 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=61bcb30d

sci-mathematics/isabelle: use HTTPS for links to dev.gentoo.org

 sci-mathematics/isabelle/isabelle-2016.1.ebuild | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/sci-mathematics/isabelle/isabelle-2016.1.ebuild 
b/sci-mathematics/isabelle/isabelle-2016.1.ebuild
index 21badf41b2a..99534d2b138 100644
--- a/sci-mathematics/isabelle/isabelle-2016.1.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2016.1.ebuild
@@ -71,14 +71,14 @@ DESCRIPTION="Isabelle is a generic proof assistant"
 HOMEPAGE="http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html;
 SRC_URI="http://isabelle.in.tum.de/website-${MY_P}/dist/${MY_P}.tar.gz
http://isabelle.in.tum.de/dist/contrib/${BP_P}.tar.gz -> 
${BP_IC_P}.tar.gz
-   http://dev.gentoo.org/~gienah/snapshots/${CSDP_IC_P}.tar.gz
+   https://dev.gentoo.org/~gienah/snapshots/${CSDP_IC_P}.tar.gz

http://isabelle.in.tum.de/dist/contrib/${ISABELLE_FONTS_P}.tar.gz -> 
${ISABELLE_FONTS_IC_P}.tar.gz
http://isabelle.in.tum.de/components/${JORTHO_P}.tar.gz -> 
${JORTHO_IC_P}.tar.gz
http://isabelle.in.tum.de/components/${JEDIT_P}.tar.gz -> 
${JEDIT_IC_P}.tar.gz
http://isabelle.in.tum.de/dist/contrib/${JFREECHART_P}.tar.gz 
-> ${JFREECHART_IC_P}.tar.gz
-   http://dev.gentoo.org/~gienah/snapshots/${POLYML_IC_P}.tar.gz
+   https://dev.gentoo.org/~gienah/snapshots/${POLYML_IC_P}.tar.gz
http://isabelle.in.tum.de/dist/contrib/${SSH_JAVA_P}.tar.gz -> 
${SSH_JAVA_IC_P}.tar.gz
-   http://dev.gentoo.org/~gienah/snapshots/${XZ_JAVA_IC_P}.tar.gz;
+   https://dev.gentoo.org/~gienah/snapshots/${XZ_JAVA_IC_P}.tar.gz;
 
 LICENSE="BSD"
 SLOT="0/${PV}"

[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/, sci-mathematics/isabelle/files/

2017-01-02 Thread Mark Wright 
commit: 08c4c3f235caed7161be8696b7019064e20a4378
Author: Mark Wright  gentoo  org>
AuthorDate: Mon Jan  2 22:47:13 2017 +
Commit: Mark Wright  gentoo  org>
CommitDate: Mon Jan  2 22:47:13 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=08c4c3f2

sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez for
providing the isabelle 2016 patches and the 2016 ebuild. Thanks to
mgorny for reporting the get_libdir called in global scope QA bug.

Gentoo-bugs: 602958, 593380

Package-Manager: portage-2.3.3

 sci-mathematics/isabelle/Manifest  |   7 +
 .../isabelle/files/isabelle-2016-classpath.patch   |  32 ++
 .../files/isabelle-2016-jfreechart-classpath.patch |  16 +
 .../isabelle/files/isabelle-2016-libsha1.patch |  13 +
 ...abelle-2016.1-bash_process-1.2.1-settings.patch |   7 +
 ...-2016.1-disable-jedit-build-after-install.patch | 128 
 .../isabelle-2016.1-jortho-1.0-2-classpath.patch   |   8 +
 .../isabelle/files/isabelle-2016.1-libsha1.patch   |  11 +
 ...sabelle-2016.1-smt_read_only_certificates.patch |  33 +++
 .../files/isabelle-2016.1-smt_timeout.patch|  22 ++
 sci-mathematics/isabelle/isabelle-2016.1.ebuild| 329 +
 11 files changed, 606 insertions(+)

diff --git a/sci-mathematics/isabelle/Manifest 
b/sci-mathematics/isabelle/Manifest
index 8e612b8..613468c 100644
--- a/sci-mathematics/isabelle/Manifest
+++ b/sci-mathematics/isabelle/Manifest
@@ -1,7 +1,14 @@
 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

[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

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

2016-02-16 Thread Mark Wright 
commit: 18059e3fdbc2871cca2aacd82de1811c278afffc
Author: Mark Wright  gentoo  org>
AuthorDate: Tue Feb 16 11:41:53 2016 +
Commit: Mark Wright  gentoo  org>
CommitDate: Tue Feb 16 11:41:53 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=18059e3f

sci-mathematics/isabelle: Remove sci-mathematics/csdp, as found existing 
sci-libs/coinor-csdp

Package-Manager: portage-2.2.27

 sci-mathematics/isabelle/isabelle-2015.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/isabelle/isabelle-2015.ebuild 
b/sci-mathematics/isabelle/isabelle-2015.ebuild
index d3a5888..2d0f9d9 100644
--- a/sci-mathematics/isabelle/isabelle-2015.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2015.ebuild
@@ -78,7 +78,7 @@ DEPEND=">=app-shells/bash-3.0:*
>=dev-lang/polyml-5.5.2:=[-portable]
>=dev-lang/perl-5.8.8-r2
dev-lang/swi-prolog
-   sci-mathematics/csdp
+   sci-libs/coinor-csdp
=virtual/jdk-1.7*
doc? (
virtual/latex-base

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

2016-02-16 Thread Mark Wright 
commit: e03efabf52fd874c48d7e3bfdc6a436a044bd1a3
Author: Mark Wright  gentoo  org>
AuthorDate: Tue Feb 16 11:18:46 2016 +
Commit: Mark Wright  gentoo  org>
CommitDate: Tue Feb 16 11:18:46 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e03efabf

sci-mathematics/isabelle: Bump to 2015, check diskspace and memory.

Thanks to Toralf F?rster for reporting the need to check diskspace, and Jonas 
Jelten for requesting the version bump.
Gentoo-Bugs: 548864 562864

Package-Manager: portage-2.2.27

 sci-mathematics/isabelle/Manifest  |   6 +
 .../isabelle/files/isabelle-2015-classpath.patch   |  26 ++
 .../files/isabelle-2015-jfreechart-classpath.patch |  16 ++
 sci-mathematics/isabelle/isabelle-2015.ebuild  | 301 +
 4 files changed, 349 insertions(+)

diff --git a/sci-mathematics/isabelle/Manifest 
b/sci-mathematics/isabelle/Manifest
index f3bd2a8..87a47c5 100644
--- a/sci-mathematics/isabelle/Manifest
+++ b/sci-mathematics/isabelle/Manifest
@@ -3,9 +3,15 @@ DIST Isabelle2012-doc-src.tar.gz 2688496 SHA256 
e18965fe0f7f89b286d4707e38201f1e
 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 
3c5840fd01b87013b05a92742d41f66f655df6fe9edef1525c6722f92d8f3e41 SHA512 
2e2f0db4964a041ba54382a9c787246e1d433e43167019c6ea8d4cf6beb84ce438c0bc559d2588229b0166c91bac603bed39abc45d5d4267020f55eaba1aaa0c
 WHIRLPOOL 
40b883943bde312b4c7adc43607ba4759e5ebe22cab3c922c81393375f917af21d4a8dc068e5692ffcf7bdfb1e7fe3081358dc8e346d1942582bf79e249b0cbb
 DIST jedit_build-isabelle-component-20130104.tar.gz 10734679 SHA256 
22a4880deb1054a548476b22662b42bfaf5394ceb07b30eba69be433bcea1074 SHA512 
bacdb3ca73d48fe9ba71dd32cd68e98333831f205dd3ced69bb9344c5b167ba084662f1108690f371b4b64f6b786955a332bcd51a2dc21c2179fb1b4727430dd
 WHIRLPOOL 
fc97923e08202e117ca3112b69f74a9f4663a70f55fa051ac55e02c85be57423f762263cac2ded33d9c2f412736e4fa0937aa07df3f36b915e806959055a796b
 DIST jedit_build-isabelle-component-20131106.tar.gz 8796625 SHA256 
a13a896263804f5aee82db0e1fe6be7982abe3ca1266cd15f7fe9c8c2f6e2ba5 SHA512 
7fc3313916cd408c906e453a4895f49223a8b9dc1e2c577c16468394b73a3724449b411521884d419683cd3d2eb3ef59929608483ff092b9b0e3663efd5e136e
 WHIRLPOOL 
4e7c933df7eea5b9c312f8e0c2c46d44a442d0dd2bb76415bea1fcf307ff75d1f8fb592fe4cad647674dc387fe6fa017dbf4e0cf2ec64459bdafb093470e2abf
+DIST jedit_build-isabelle-component-20150228.tar.gz 10674317 SHA256 
2bee3c5242a3ce4150656f106e658096e82b6bd966e04d590e20023a956be29b SHA512 
ba2d0804f21cee596fc3528a592941efc393e98b890efe054aed18fc0d31edfe459047b58ed79b42892e219b4c35a4fb5c8cca0f402b96d641ff8ce62e321339
 WHIRLPOOL