summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/agda: set USE=-cpphs by defaultSergei Trofimovich2020-12-271-1/+1
* sci-mathematics/agda: drop oldJack Todaro2020-12-172-146/+0
* sci-mathematics/agda: bump up to 2.6.1.2Jack Todaro2020-12-173-18/+173
* sci-mathematics/agda: drop USE=uhcSergei Trofimovich2020-11-152-8/+2
* sci-mathematics/agda: drop oldSergei Trofimovich2020-10-084-292/+0
* sci-mathematics/agda: update homepageAlexey Sokolov2020-05-173-6/+6
* sci-mathematics/agda: allow multiple revisions of agda-stdlibSergei Trofimovich2019-12-243-3/+3
* sci-mathematics/agda: allow edisoncore-1.3.2Sergei Trofimovich2019-12-231-0/+150
* sci-mathematics/agda: Update virtual/emacs dependency.Ulrich Müller2019-12-202-4/+4
* */*: Inline mirror://hackage and update URIsMichał Górny2019-11-102-4/+4
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-2/+2
* 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