author | Agostino Sarubbo <ago@gentoo.org> | |
Mon, 23 Jan 2017 15:44:17 +0000 (16:44 +0100) | ||
committer | Agostino Sarubbo <ago@gentoo.org> | |
Mon, 23 Jan 2017 15:44:17 +0000 (16:44 +0100) |
dev-lang/mercury-extras/mercury-extras-13.05.2.ebuild | patch | blob | history |