Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda
Commit message (Expand)AuthorAgeFilesLines
* Drop virtual/ghc in favour of dev-lang/ghcDuncan Coutts2007-10-311-15/+15
* Drop virtual/ghc in favour of dev-lang/ghcDuncan Coutts2007-10-313-5/+9
* add elisp-site-regen to postrm and canonicalise it in postinst; depending on ...Christian Faulhammer2007-09-231-8/+15
* add elisp-site-regen to postrm and canonicalise it in postinst; depending on ...Christian Faulhammer2007-09-233-1/+71
* Reassigning to sci from math-proof.Christian Heim2007-07-311-8/+18
* Reassigning to sci from math-proof.Christian Heim2007-07-312-2/+5
* whitespaceMichael Sterrett2007-07-131-14/+4
* whitespaceMichael Sterrett2007-07-131-2/+1
* Added haskell herd and removed myself as maintainer.Alexandre Buisse2007-03-251-11/+11
* Added haskell herd and removed myself as maintainer.Alexandre Buisse2007-03-252-5/+5
* Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st...Alexandre Buisse2007-03-181-16/+16
* Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is st...Alexandre Buisse2007-03-184-22/+28
* Initial commitAlexandre Buisse2006-07-121-8/+18
* Initial commitAlexandre Buisse2006-07-127-0/+132