projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59f44c3) | patch
sci-mathematics/isabelle: fix scala dependency.
authorPatrice Clement <monsieurp@gentoo.org>
Thu, 1 Nov 2018 22:25:37 +0000 (23:25 +0100)
committerPatrice Clement <monsieurp@gentoo.org>
Thu, 1 Nov 2018 22:26:20 +0000 (23:26 +0100)
commit3e5dff3bef6f13d5d3e6fce7fc41f60525e36ea0
tree402b11795de1cc8dc2047eed6d52e0d950206343tree | snapshot
parent59f44c3fac51829942d16ebdda1b428b86cf53d8commit | diff
sci-mathematics/isabelle: fix scala dependency.

Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
Package-Manager: Portage-2.3.49, Repoman-2.3.11
sci-mathematics/isabelle/isabelle-2016.1.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.