| author | Mark Wright <gienah@gentoo.org> | |
| Tue, 16 Feb 2016 11:41:53 +0000 (22:41 +1100) | ||
| committer | Mark Wright <gienah@gentoo.org> | |
| Tue, 16 Feb 2016 11:41:53 +0000 (22:41 +1100) | ||
| commit | 18059e3fdbc2871cca2aacd82de1811c278afffc | |
| tree | 52d625c50a51b96c0147086019a67e7a4076d2ee | tree | snapshot |
| parent | e03efabf52fd874c48d7e3bfdc6a436a044bd1a3 | commit | diff |
| sci-mathematics/isabelle/isabelle-2015.ebuild | diff | blob | history |