nixpkgs/pkgs/development
Peter Simons 64d662e056 Agda: move compiler and standard library into a common directory
Also renamed AgdaStdLib attribute to AgdaStdlib, since upstream doesn't
seem to capitalize that name.
2014-05-03 12:37:17 +02:00
..
arduino
compilers Agda: move compiler and standard library into a common directory 2014-05-03 12:37:17 +02:00
eclipse
guile-modules
interpreters renpy: update from 6.17.3 to 6.17.4 2014-05-02 21:31:05 +02:00
libraries haskell-HTTP: update to version 4000.2.13 2014-05-03 12:27:25 +02:00
lisp-modules
misc
mobile Merge pull request #2346 from cpages/android 2014-04-21 23:27:10 +02:00
ocaml-modules zarith: fix perl path 2014-05-01 09:14:16 -05:00
perl-modules perl-dbix-class: Fix tests with newer SQLite. 2014-04-22 16:27:28 +02:00
python-modules #492 python-virtualenv: make modules of the python wrapper available 2014-04-18 18:08:49 +02:00
qtcreator
r-modules/generic
ruby-modules
tools clang-analyzer: respect $NIX_CFLAGS_COMPILE 2014-05-02 14:07:37 -05:00
web nodejs: fix on i686-linux 2014-04-29 22:29:24 +02:00