nixpkgs/pkgs/development
2014-10-01 06:00:06 +01:00
..
arduino
compilers isabelle: Version 2014 building on Linux and Darwin 2014-09-30 23:15:31 -05:00
coq-modules Adds three coq libraries: containers, mathcomp, ssreflect 2014-09-28 14:03:15 +01:00
eclipse
guile-modules
interpreters nix-exec: set platforms 2014-09-28 20:10:11 -04:00
libraries update libwebp to fix giflib incompatibility 2014-09-30 21:37:56 +02:00
lisp-modules
lua-modules lua: Fixed luasql.patch 2014-10-01 06:00:06 +01:00
misc
mobile androidndk: fix make-standalone-toolchain.sh helper script 2014-09-25 11:59:16 +02:00
ocaml-modules ocaml-tyxml: update 3.0.0 -> 3.1.1 2014-09-30 06:25:31 +02:00
perl-modules
pharo Merge pull request #4274 from DamienCassou/pharo-vm-update 2014-09-30 13:42:45 +02:00
python-modules
qtcreator
r-modules
ruby-modules
tools babeltrace: update from 1.2.1 to 1.2.3 2014-09-30 11:19:11 +01:00
web