projects / gentoo.git / commit
| author | Justin Lecher <jlec@gentoo.org> | |
| Fri, 20 Mar 2015 07:55:40 +0000 (07:55 +0000) | ||
| committer | Justin Lecher <jlec@gentoo.org> | |
| Fri, 20 Mar 2015 07:55:40 +0000 (07:55 +0000) | ||
| commit | 4aa6001d1e4c6bfd005024ef40b5637870553ded | |
| tree | fc99f83bab9584ae3c12c019772d7d265ea035db | tree | snapshot |
| parent | 829592832b8b2417cc232f664c63fb218c4489af | commit | diff |
| sci-mathematics/coq/ChangeLog | diff | blob | history | |
| sci-mathematics/coq/Manifest | diff | blob | history | |
| sci-mathematics/coq/files/coqide.desktop | diff | blob | history |