summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda
Commit message (Expand)AuthorAge
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-10
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-28
* sci-mathematics/agda: bump up to 2.5.2Sergei Trofimovich2017-02-16
* sci-mathematics/agda: allow alex-3.2, bug #600034Sergei Trofimovich2016-11-18
* sci-mathematics/agda: allow cpphs-1.20Sergei Trofimovich2016-09-11
* sci-mathematics/agda: drop oldSergei Trofimovich2016-04-22
* sci-mathematics/agda: allow transformers-compat-0.4Sergei Trofimovich2016-04-03
* sci-mathematics/agda: drop unused local USE-description: 'epic'Sergei Trofimovich2016-04-03
* sci-mathematics/agda: drop oldSergei Trofimovich2016-04-03
* sci-mathematics/agda: fix hastables build failure, bu #574204Sergei Trofimovich2016-02-08
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-24
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-24
* Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-24
* sci-mathematics/{agda,agda-stdlib}: version bumpJauhien Piatlicki2016-01-13
* sci-mathematics/agda: fix dev-haskell/cpphs dependencyJauhien Piatlicki2016-01-13
* sci-mathematics/agda: fix .agdai file generation on install, bug #559326Sergei Trofimovich2015-09-27
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-24
* Use https by defaultJustin Lecher2015-08-24
* proj/gentoo: Initial commitRobin H. Johnson2015-08-08
generated by cgit v1.2.1 (git 2.18.0) at 2024-08-12 15:59:18 +0000