| author | Sergei Trofimovich <slyfox@gentoo.org> | |
| Sun, 3 Apr 2016 14:37:53 +0000 (15:37 +0100) | ||
| committer | Sergei Trofimovich <slyfox@gentoo.org> | |
| Sun, 3 Apr 2016 14:39:25 +0000 (15:39 +0100) | ||
| commit | 8f91cf2917b73d6ab65d76be77a80ea5d97a9b81 | |
| tree | 8f2a4097c8072024c21eb9a004a1af934514ae27 | tree | snapshot |
| parent | 4e2efc914fdca78085ff8cd8af4283bcc2efcff3 | commit | diff |
| sci-mathematics/agda/metadata.xml | diff | blob | history |