nixpkgs/pkgs/development
2014-12-12 15:13:10 +08:00
..
arduino ino: Use picocom rather than minicom 2014-11-29 17:55:41 +00:00
compilers Update/Fix OVMF 2014-12-11 08:46:13 +03:00
coq-modules Adds coq-interval 2014-12-08 09:15:13 +01:00
eclipse Turn more licenses into lib.licenses style 2014-11-06 00:48:16 +00:00
guile-modules guile-sdl: new package 2014-10-31 23:50:54 +08:00
interpreters Erlang bump from 17.3 to 17.4 as 17.3 has a serious ssl bug 2014-12-12 15:13:10 +08:00
libraries haskell-ekg-bosun: update to 1.0.3 2014-12-11 21:20:30 +01:00
lisp-modules Add CL-SMTP package 2014-11-16 19:57:12 +03:00
lua-modules lua: Fixed luasql.patch 2014-10-01 06:00:06 +01:00
misc
mobile add android build tools to $PATH 2014-11-24 00:47:57 -08:00
ocaml-modules dypgen: adds meta.platforms 2014-12-11 16:15:02 +01:00
perl-modules fix a bunch of perl modules 2014-12-10 01:38:00 +01:00
pharo Update pharo vm 2014-12-04 16:41:20 +01:00
pure-modules/pure-gsl Add pure-gsl package 2014-10-14 21:21:36 +11:00
python-modules PyQt: fix build 2014-12-09 13:23:13 +01:00
qtcreator qtcreator: Update from 3.2.0 to 3.2.1 2014-10-14 18:00:57 +02:00
r-modules Mark R packages h2o, jvmr, and qtbase as broken. 2014-12-04 15:00:54 +01:00
ruby-modules
tools Merge pull request #5290 from bbarker/gradle221 2014-12-12 03:06:33 +01:00
web Merge remote-tracking branch 'origin/master' into staging 2014-11-11 23:48:08 +01:00