| author | Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | |
| Tue, 19 Nov 2019 10:46:51 +0000 (11:46 +0100) | ||
| committer | Aaron Bauman <bman@gentoo.org> | |
| Sun, 24 Nov 2019 00:43:44 +0000 (19:43 -0500) |
| sci-mathematics/coq/coq-8.9.1-r1.ebuild | patch | blob | history |