projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 174bca1) | patch
Bump agda to 2.4.2.2-r1
authorMark Wright <gienah@gentoo.org>
Sun, 14 Dec 2014 10:25:05 +0000 (10:25 +0000)
committerMark Wright <gienah@gentoo.org>
Sun, 14 Dec 2014 10:25:05 +0000 (10:25 +0000)
commitee4d1c6b7452c376e52b617c0bc23bed279e6fd8
tree37e7fb4d9a894c62491fd0225f42edf9724bea8btree | snapshot
parent174bca14532ef0ee6071a72b74034db6774cf88dcommit | diff
Bump agda to 2.4.2.2-r1

Package-Manager: portage-2.2.15/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
sci-mathematics/agda/ChangeLog diff | blob | history
sci-mathematics/agda/Manifest diff | blob | history
sci-mathematics/agda/agda-2.4.2.2-r1.ebuild [new file with mode: 0644] blob
sci-mathematics/agda/metadata.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.