nixpkgs/pkgs/development
Andres Löh 1d4428fbdb Added Agda-executable.
svn path=/nixpkgs/trunk/; revision=26737
2011-04-07 12:10:38 +00:00
..
compilers Added Agda-executable. 2011-04-07 12:10:38 +00:00
eclipse
guile-modules Guile-Lib 0.2.0. 2011-03-28 12:05:17 +00:00
interpreters * By popular demand, restore Python 2.6. 2011-04-06 21:57:30 +00:00
libraries Updated uu-parsinglib. 2011-04-07 08:30:28 +00:00
misc
ocaml-modules
perl-modules
python-modules * Remove the hard-coded reference to Python 2.6. 2011-04-04 13:28:13 +00:00
ruby-modules
tools Adding giv. 2011-04-06 10:00:48 +00:00