projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d48bb1) | patch
Bump agda-stdlib to 0.9
authorMark Wright <gienah@gentoo.org>
Sun, 14 Dec 2014 10:47:01 +0000 (10:47 +0000)
committerMark Wright <gienah@gentoo.org>
Sun, 14 Dec 2014 10:47:01 +0000 (10:47 +0000)
commita81005cc5600a587db2620f59f64a9adb8171bbb
tree6fec83d59b2239fecde7e7e37a9eda637a95f0d7tree | snapshot
parent4d48bb16f7d190f52c1dd9161d16d2bc96befdb0commit | diff
Bump agda-stdlib to 0.9

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