diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-11-03 08:36:22 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-11-03 08:36:22 +0000 |
| commit | f65628136faa35d0c4d3b5e7332275c7b35fcd96 (patch) | |
| tree | 021998302365c5652e37824b6c26d4d969a62055 /sci-mathematics/isabelle | |
| parent | 70b82ae359a5538711e103b0e8dfb92654296644 (diff) | |
gentoo resync : 03.11.2018
Diffstat (limited to 'sci-mathematics/isabelle')
| -rw-r--r-- | sci-mathematics/isabelle/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/isabelle/isabelle-2016.1.ebuild | 12 |
2 files changed, 7 insertions, 7 deletions
diff --git a/sci-mathematics/isabelle/Manifest b/sci-mathematics/isabelle/Manifest index 6f0f092a1f05..90b34f0b2f86 100644 --- a/sci-mathematics/isabelle/Manifest +++ b/sci-mathematics/isabelle/Manifest @@ -18,5 +18,5 @@ DIST jortho-isabelle-component-1.0-2.tar.gz 1723761 BLAKE2B 4f5503c640d25d79a852 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 b7a385671469fb8643d74d90b4faae2f66621f7bafb0262b7fc7777c883cae4a5939cb5261230c21a6125ce12cafe5285a873fc0a37f78ef0e4059d310c2bd0e SHA512 6dfec49e12c4cafbb6b6386dd54477e86b6bb419a77c52d9606a0305aeea9cd11f087ed6bba77352c7bf9ec656052ef617e845f472e57b5cdfbccf22b2eeb4fa -EBUILD isabelle-2016.1.ebuild 11274 BLAKE2B 4a607cfaa674d2bee3252c12892b57f32b93cadbb8605197ab08df219f5ad575c10a5b4321f129acf0588afe579aa599066a07d034f3e87eac4db3778e306269 SHA512 7d804624134b7659f62c2738f2fa20f4a1da39eab58f80cd20d47aad8fe326b4d9366a3c96ac51c5f2abfb2bbfd4656c979330794c85f0659b04f93759f53fc9 +EBUILD isabelle-2016.1.ebuild 11253 BLAKE2B 2458c98781d77d570db71ff40c3b400a794d315efafe9a95e672815e031452f53d3b79544ca2027a66776203d1de4b985a9cede05d81ade5bdbbbdb761942a03 SHA512 6b497870498a3426fdec2494b04e0a6a0a093f3b73d46acea4c6659ea2897124dc989136d47083ba1fd79c607223f821a7a9e61346bbd437ff25e40429ab0bde MISC metadata.xml 1207 BLAKE2B 0d3aa24b66bfab4bdfdd8afc70510b2d468e437cfeaaf0f93c206f209da7b6e1b5d1da93206357f0d067ee2dd1fbfa7124cfafe478022df4731b48bf3a9ae772 SHA512 158021354cea7c08befe74a21aa066e529a9ba315d2ae4bfa3e17c689439564358650d0100c43e18851ae4138744b451b70eb3fdf49f2ce90e37eac7b3f2268b diff --git a/sci-mathematics/isabelle/isabelle-2016.1.ebuild b/sci-mathematics/isabelle/isabelle-2016.1.ebuild index 99534d2b1389..3e67fa95fbff 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" |