nixpkgs/pkgs/development
2014-12-19 08:14:00 +02:00
..
arduino ino: Use picocom rather than minicom 2014-11-29 17:55:41 +00:00
compilers ghc-head: bump version to most recent snapshot 2014-12-18 19:03:28 +01: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 Merge pull request #5383 from robberer/tmp1 2014-12-18 17:49:10 +01:00
libraries Revert "phonon-backend-gstreamer: add Qt 5 support" 2014-12-19 08:14:00 +02: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 avr8-burn-omat: update to version 2.1.2 2014-12-15 22:31:22 +01:00
mobile Bump Android packages to newest versions, add androidsdk_5_0_1 to env 2014-12-15 23:29:02 -08:00
ocaml-modules ulex: set platforms 2014-12-18 10:01:50 +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 Update pylint and astroid 2014-12-16 16:54:41 +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 #5380 from iyzsong/jenkins 2014-12-18 09:58:48 +01:00
web Fix wml build, don't know why it worked before 2014-12-18 00:43:13 +01:00