Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/app-sci/coq
Commit message (Expand)AuthorAgeFilesLines
* Add patch for ocaml-3.08.1 (Manifest recommit)Matthieu Sozeau2004-11-181-5/+6
* Add patch for ocaml-3.08.1Matthieu Sozeau2004-11-183-2/+40
* Added ~sparc keyword. (Manifest recommit)Jason Wever2004-08-141-4/+4
* Added ~sparc keyword.Jason Wever2004-08-142-3/+6
* Update for ocaml-3.08, remove old ebuild. (Manifest recommit)Matthieu Sozeau2004-08-081-4/+4
* Update for ocaml-3.08, remove old ebuild.Matthieu Sozeau2004-08-088-50/+104
* ~amd64 (Manifest recommit)Travis Tilley2004-07-141-5/+5
* ~amd64Travis Tilley2004-07-142-3/+6
* header fix (Manifest recommit)Michael Sterrett2004-07-091-5/+5
* header fixMichael Sterrett2004-07-092-4/+4
* New stable release. (Manifest recommit)Matthieu Sozeau2004-07-011-4/+4
* New stable release.Matthieu Sozeau2004-07-016-6/+129
* (Manifest recommit)Aron Griffis2004-06-241-5/+5
* update copyright line: Gentoo Technologies => Gentoo FoundationAron Griffis2004-06-243-6/+6
* fixing ManifestMike Frysinger2004-04-071-5/+5
* add inherit eutilsMike Frysinger2004-04-071-7/+7
* Added 8.0beta version and marked 7.4 stable. (Manifest recommit)Matthieu Sozeau2004-04-021-3/+3
* Added 8.0beta version and marked 7.4 stable.Matthieu Sozeau2004-04-025-4/+52
* Initial commit. Added norealanalysis use flag to use.local.descMatthieu Sozeau2004-01-216-1/+73
* Initial commit. Added norealanalysis use flag to use.local.descMatthieu Sozeau2004-01-211-0/+3