| 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) | ||
| commit | 863a22e55e820cde02b6d8529d355d7094676f28 | |
| tree | 82899064abf5ca851791b77ca2d019e03ae4f96c | tree | snapshot |
| parent | 19127b9f710ef29d9be37eabf1f12f669ef33e71 | commit | diff |
| sci-mathematics/coq/coq-8.9.1-r1.ebuild | diff | blob | history |