projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e6017c) | patch
Loosen cpphs dep in agda-2.4.2.2-r1
authorMark Wright <gienah@gentoo.org>
Sat, 4 Apr 2015 12:52:36 +0000 (12:52 +0000)
committerMark Wright <gienah@gentoo.org>
Sat, 4 Apr 2015 12:52:36 +0000 (12:52 +0000)
commit192ad7a12ca0e48b3d60afaaee17198f132a2117
tree901f5f690497fb33721e191e4e5c1a1f258e3ff9tree | snapshot
parent7e6017c97437c734e3c32f00d450e4c7a053465bcommit | diff
Loosen cpphs dep in agda-2.4.2.2-r1

Package-Manager: portage-2.2.18/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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.