* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/
@ 2016-02-16 11:42 Mark Wright
0 siblings, 0 replies; 3+ messages in thread
From: Mark Wright @ 2016-02-16 11:42 UTC (permalink / raw
To: gentoo-commits
commit: 18059e3fdbc2871cca2aacd82de1811c278afffc
Author: Mark Wright <gienah <AT> gentoo <DOT> org>
AuthorDate: Tue Feb 16 11:41:53 2016 +0000
Commit: Mark Wright <gienah <AT> gentoo <DOT> org>
CommitDate: Tue Feb 16 11:41:53 2016 +0000
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
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/
@ 2017-09-06 21:00 Michał Górny
0 siblings, 0 replies; 3+ messages in thread
From: Michał Górny @ 2017-09-06 21:00 UTC (permalink / raw
To: gentoo-commits
commit: 61bcb30dfd5e2ddd73b2c6c804b0514a9dc3565e
Author: Francesco Turco <fturco <AT> fastmail <DOT> fm>
AuthorDate: Sun Sep 3 16:27:57 2017 +0000
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Wed Sep 6 20:59:17 2017 +0000
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}"
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/
@ 2018-11-01 22:26 Patrice Clement
0 siblings, 0 replies; 3+ messages in thread
From: Patrice Clement @ 2018-11-01 22:26 UTC (permalink / raw
To: gentoo-commits
commit: 3e5dff3bef6f13d5d3e6fce7fc41f60525e36ea0
Author: Patrice Clement <monsieurp <AT> gentoo <DOT> org>
AuthorDate: Thu Nov 1 22:25:37 2018 +0000
Commit: Patrice Clement <monsieurp <AT> gentoo <DOT> org>
CommitDate: Thu Nov 1 22:26:20 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e5dff3b
sci-mathematics/isabelle: fix scala dependency.
Signed-off-by: Patrice Clement <monsieurp <AT> 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"
^ permalink raw reply related [flat|nested] 3+ messages in thread
end of thread, other threads:[~2018-11-01 22:27 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2018-11-01 22:26 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/ Patrice Clement
-- strict thread matches above, loose matches on Subject: below --
2017-09-06 21:00 Michał Górny
2016-02-16 11:42 Mark Wright
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox