summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/agda-stdlib: update homepageAlexey Sokolov8 days1-2/+2
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: Aaron Bauman <bman@gentoo.org>
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* sci-mathematics/{agda,agda-stdlib}: version bumpJauhien Piatlicki2016-01-131-0/+67
Gentoo-Bug: 561772 Package-Manager: portage-2.2.26