projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c1e771) | patch
sci-mathematics/isabelle: Remove last-rited pkg
authorMichał Górny <mgorny@gentoo.org>
Sat, 14 Sep 2019 15:44:37 +0000 (17:44 +0200)
committerMichał Górny <mgorny@gentoo.org>
Sat, 14 Sep 2019 15:44:37 +0000 (17:44 +0200)
commit7d2aafd09b8f128da73333201c48b793607077be
treeb8229d895f63ad87f22a38d4fe6111ffd673341ctree | snapshot
parent1c1e7716d83e31e0ea116ddcab30807b2cdc0d5bcommit | diff
sci-mathematics/isabelle: Remove last-rited pkg

Signed-off-by: Michał Górny <mgorny@gentoo.org>
14 files changed:
profiles/package.mask diff | blob | history
sci-mathematics/isabelle/Manifest [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2012-graphbrowser.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2012-reverse-line-editor-order.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2016-classpath.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2016-jfreechart-classpath.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2016.1-bash_process-1.2.1-settings.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2016.1-disable-jedit-build-after-install.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2016.1-jortho-1.0-2-classpath.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2016.1-libsha1.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2016.1-smt_read_only_certificates.patch [deleted file] blob | history
sci-mathematics/isabelle/files/isabelle-2016.1-smt_timeout.patch [deleted file] blob | history
sci-mathematics/isabelle/isabelle-2016.1.ebuild [deleted file] blob | history
sci-mathematics/isabelle/metadata.xml [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.