nixpkgs/pkgs/development
Tim Steinbach a03b09c43b Merge pull request #21052 from NeQuissimus/ammonite_0_8_1
ammonite-repl: 0.8.0 -> 0.8.1
2016-12-12 14:29:08 -05:00
..
arduino teensyduino: init at 1.31 (#20807) 2016-12-02 11:31:01 +01:00
beam-modules hexRegistrySnapshot: d58a937 -> e5e494a 2016-11-30 12:16:21 +01:00
bower-modules/generic
compilers rustcNightlyBin.rustc: revision bump 2016-11-26 to 2016-12-05 with fix to contain components as libcore 2016-12-12 18:59:10 +01:00
coq-modules coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2 2016-10-31 16:22:04 -07:00
dotnet-modules/patches
eclipse/ecj Remove jdt-sdk 2016-11-03 21:12:39 -04:00
em-modules/generic
go-modules buildGoPackage: introduce extraSrcPaths option 2016-10-29 05:18:16 +02:00
guile-modules guile_ncurses: Use absolute path to load libguile-ncurses 2016-10-12 20:47:55 +01:00
haskell-modules haskellPackages: add hoogleLocal 2016-12-12 14:27:04 +01:00
idris-modules Merge pull request #19003 from siddharthist/lightyear/init 2016-09-29 16:16:10 +02:00
interpreters python36: 3.6.0b2 -> 3.6.0rc1 2016-12-12 09:31:25 +01:00
libraries Merge pull request #21081 from Mic92/libxslt 2016-12-12 01:43:04 +01:00
lisp-modules asdf: 3.1.6 -> 3.1.7 2016-09-26 15:49:30 +02:00
lua-modules
misc loc: 0.3.3 -> 0.3.4 2016-12-08 09:59:47 -05:00
mobile genymotion: 2.7.2 -> 2.8.0 2016-11-27 13:18:24 +03:00
node-packages nodejs: add python to passthru 2016-11-24 22:28:04 +01:00
ocaml-modules camlimages: use omake rather than omake_rc1 2016-12-02 19:49:08 +00:00
perl-modules maatkit: update URL 2016-11-30 09:07:17 -05:00
pharo
pure-modules purePackages.glpk: fix build 2016-09-10 17:41:19 +02:00
python-modules pythonPackages.async_timeout: init at 1.1.0 2016-12-11 20:07:24 +01:00
qtcreator qtcreator: enable checking 2016-09-06 14:02:09 +02:00
r-modules r-modules: Fix png package 2016-12-12 10:53:10 +01:00
ruby-modules Merge pull request #20113 from johbo/ruby-scrypt-darwin 2016-11-27 21:58:17 -05:00
tools Merge pull request #21052 from NeQuissimus/ammonite_0_8_1 2016-12-12 14:29:08 -05:00
web nodejs: 7.1.0 -> 7.2.1 2016-12-07 15:25:31 +01:00