projects / gentoo.git / commit
| author | Alexis Ballier <aballier@gentoo.org> | |
| Sun, 1 May 2016 17:42:45 +0000 (19:42 +0200) | ||
| committer | Alexis Ballier <aballier@gentoo.org> | |
| Tue, 3 May 2016 09:13:52 +0000 (11:13 +0200) | ||
| commit | 7972add23cda61c8a53bb27cd71e1dff60b55070 | |
| tree | 0d0f98cb718047dbde16d0873ff0e3b8c5369376 | tree | snapshot |
| parent | 83a1ddd9219bc2245b2c510607e13b0451f39f14 | commit | diff |
| sci-mathematics/coq/coq-8.5_p1.ebuild | diff | blob | history | |
| sci-mathematics/coq/files/oc43.patch | [new file with mode: 0644] | blob |