mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-18 19:26:02 +00:00
Code Issues Wiki Activity
13287 commits 182 branches 125 tags 7.8 GiB
Commit graph

3 commits

Author SHA1 Message Date
Andres Löh 7ad36d1940 Agda version bump to 2.2.8 
svn path=/nixpkgs/trunk/; revision=24743
 2010-11-17 16:00:33 +00:00
Andres Löh 55e2661690 Updated Agda to 2.2.6. 
svn path=/nixpkgs/trunk/; revision=19365
 2010-01-12 10:18:00 +00:00
Andres Löh d3b5bc4a20 * Fixed external library dependencies for some Haskell-Platform packages. 
* Added Agda plus dependencies.

svn path=/nixpkgs/trunk/; revision=15227
 2009-04-21 21:05:30 +00:00