nixpkgs/pkgs/development
2014-10-20 11:11:16 +02:00
..
arduino
compilers Upgrade idris compiler to 0.9.14.3 2014-10-15 10:57:08 +03:00
coq-modules coqPackages.ssreflect, more: build ssrcoq binary, add maintainer 2014-10-13 16:11:33 -05:00
eclipse
guile-modules
interpreters Merge pull request #4495 from NixOS/pythonFull_improvements 2014-10-16 13:24:18 +02:00
libraries tsocks: fix LD_PRELOAD references 2014-10-20 11:11:16 +02:00
lisp-modules
lua-modules
misc
mobile titaniumenv: Use new xcodeenv simulate function in the example app 2014-10-15 17:28:52 +02:00
ocaml-modules
perl-modules
pharo
pure-modules/pure-gsl Add pure-gsl package 2014-10-14 21:21:36 +11:00
python-modules
qtcreator
r-modules
ruby-modules
tools gnulib: update to version 0.1-228-gb155b06 2014-10-15 16:30:53 +02:00
web