summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* 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: allow transformers-compat-0.4Sergei Trofimovich2016-04-031-0/+129