projects / gentoo.git / commit
| author | Michael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com> | |
| Wed, 1 Feb 2017 18:42:47 +0000 (19:42 +0100) | ||
| committer | David Seifert <soap@gentoo.org> | |
| Wed, 1 Feb 2017 22:39:14 +0000 (23:39 +0100) | ||
| commit | b9ce9015c6035daa3519c3ccca481bb51ffb7d32 | |
| tree | e59261d1c5676a32c792aa576660e2f19a332784 | tree | snapshot |
| parent | c8e9d2336ab0cd6dd0fc18d3f9f4b17375070528 | commit | diff |
| sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch | [deleted file] | blob | history |