summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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