summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/agda-stdlib: egrep -> grep -ESam James2022-05-151-2/+2
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* sci-mathematics/agda-stdlib: Remove unused fileJakov Smolic2021-01-201-1/+0
* sci-mathematics/agda-stdlib: drop oldJack Todaro2020-12-172-69/+0
* sci-mathematics/agda-stdlib: bump up to 2.6.1.2.1.4Jack Todaro2020-12-173-6/+71
* sci-mathematics/agda-stdlib: drop oldSergei Trofimovich2020-10-082-67/+0
* */*: [QA] Remove redundant <longdescription/>sMichał Górny2020-09-141-3/+0
* sci-mathematics/agda-stdlib: update homepageAlexey Sokolov2020-05-172-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-stdlib: add forgotten 'standard-library.agda-lib'Sergei Trofimovich2017-02-171-0/+2
* sci-mathematics/agda-stdlib: bump up to 2.5.2.0.13Sergei Trofimovich2017-02-162-0/+70
* sci-mathematics/agda-stdlib: drop oldSergei Trofimovich2016-04-034-203/+0
* 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
* sci-mathematics/{agda,agda-stdlib}: version bumpJauhien Piatlicki2016-01-132-0/+68
* sci-mathematics/agda-stdlib: Replace INSOPTIONS by insopts()Justin Lecher2015-11-233-5/+5
* 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-086-0/+219