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 $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-282-2/+0
* sci-mathematics/agda: bump up to 2.5.2Sergei Trofimovich2017-02-163-0/+151
* sci-mathematics/agda: allow alex-3.2, bug #600034Sergei Trofimovich2016-11-181-1/+2
* sci-mathematics/agda: allow cpphs-1.20Sergei Trofimovich2016-09-111-2/+3
* sci-mathematics/agda: drop oldSergei Trofimovich2016-04-222-247/+0
* sci-mathematics/agda: allow transformers-compat-0.4Sergei Trofimovich2016-04-032-14/+129
* sci-mathematics/agda: drop unused local USE-description: 'epic'Sergei Trofimovich2016-04-031-1/+0
* sci-mathematics/agda: drop oldSergei Trofimovich2016-04-036-609/+0
* sci-mathematics/agda: fix hastables build failure, bu #574204Sergei Trofimovich2016-02-082-0/+144
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-2/+2
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-2/+8
* Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-241-3/+3
* sci-mathematics/{agda,agda-stdlib}: version bumpJauhien Piatlicki2016-01-132-0/+117
* sci-mathematics/agda: fix dev-haskell/cpphs dependencyJauhien Piatlicki2016-01-131-0/+119
* sci-mathematics/agda: fix .agdai file generation on install, bug #559326Sergei Trofimovich2015-09-271-0/+119
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-087-0/+412