projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0fc2a75) | patch
sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez for
authorMark Wright <gienah@gentoo.org>
Mon, 2 Jan 2017 22:47:13 +0000 (09:47 +1100)
committerMark Wright <gienah@gentoo.org>
Mon, 2 Jan 2017 22:47:13 +0000 (09:47 +1100)
commit08c4c3f235caed7161be8696b7019064e20a4378
tree85b8727e864133ea575657677301ac8d3332c96ftree | snapshot
parent0fc2a7570a147d6b1b4f195a93cb5fc2712537c3commit | diff
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 diff | blob | history
sci-mathematics/isabelle/files/isabelle-2016-classpath.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/files/isabelle-2016-jfreechart-classpath.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/files/isabelle-2016.1-bash_process-1.2.1-settings.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/files/isabelle-2016.1-disable-jedit-build-after-install.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/files/isabelle-2016.1-jortho-1.0-2-classpath.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/files/isabelle-2016.1-libsha1.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/files/isabelle-2016.1-smt_read_only_certificates.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/files/isabelle-2016.1-smt_timeout.patch [new file with mode: 0644] blob
sci-mathematics/isabelle/isabelle-2016.1.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.