projects / gentoo.git / commit
| author | Francesco Turco <fturco@fastmail.fm> | |
| Sun, 3 Sep 2017 16:27:57 +0000 (18:27 +0200) | ||
| committer | Michał Górny <mgorny@gentoo.org> | |
| Wed, 6 Sep 2017 20:59:17 +0000 (22:59 +0200) | ||
| commit | 61bcb30dfd5e2ddd73b2c6c804b0514a9dc3565e | |
| tree | b0d6626ee54407b7f82d0dfb05b921eac7150b68 | tree | snapshot |
| parent | 9787a828952cde2ddab10e90b12b7e51b03fc1d8 | commit | diff |
| sci-mathematics/isabelle/isabelle-2016.1.ebuild | diff | blob | history |