nixpkgs/pkgs/development
2015-01-28 08:38:36 +00:00
..
arduino Change occurrences of gcc to the more general cc 2014-12-26 11:06:21 -06:00
compilers cryptol: update 2.x branch to version 2.1.0 and remove broken 1.x build 2015-01-23 13:24:40 +01:00
coq-modules coqPackages.fiat: enable building the examples as a test 2015-01-09 15:20:17 -06:00
eclipse
guile-modules unmaintain a bunch of packages 2015-01-13 22:33:49 +01:00
haskell-modules cryptol: update 2.x branch to version 2.1.0 and remove broken 1.x build 2015-01-23 13:24:40 +01:00
interpreters mujs: updated to latest commit 2015-01-22 11:31:27 +01:00
libraries Postgis. raster. $prefix -> $prefix/bin 2015-01-28 08:38:36 +00:00
lisp-modules Update CLX 2015-01-18 01:58:20 +03:00
lua-modules
misc Fix user-facing typos (mainly in descriptions) 2015-01-01 15:45:32 +01:00
mobile titaniumenv: Fix unpack step and change default iOS SDK to 8.1 2015-01-23 15:57:34 +00:00
ocaml-modules Adds ocaml-hex 2015-01-23 09:22:14 +01:00
perl-modules
pharo
pure-modules/pure-gsl
python-modules meld: bump to 3.12.3 (latest) version 2015-01-21 22:02:20 +01:00
qtcreator
r-modules r-modules: fix evaluation and minor cleanups 2015-01-22 11:39:00 +01:00
ruby-modules
tools grabserial: add package 2015-01-22 20:58:30 +01:00
web jdkPath: Remove in favor of jdk.home 2015-01-07 14:55:41 -08:00