| author | Thomas Kahle <tomka@gentoo.org> | |
| Sat, 13 Aug 2011 12:53:00 +0000 (12:53 +0000) | ||
| committer | Thomas Kahle <tomka@gentoo.org> | |
| Sat, 13 Aug 2011 12:53:00 +0000 (12:53 +0000) | ||
| commit | f4b22c027bbf755d150e67f92a963fb6c1bf6f39 | |
| tree | 5a2514145b4e948ae9a8acfc9996346b2727bc8e | tree | snapshot |
| parent | b8406556e312003cc3410dabbbf47ddb8ed8059a | commit | diff |
| sci-mathematics/coq/ChangeLog | diff | blob | history | |
| sci-mathematics/coq/Manifest | diff | blob | history | |
| sci-mathematics/coq/coq-8.3_p2.ebuild | [new file with mode: 0644] | blob |