nixpkgs/pkgs/development
Peter Simons 82b464820e Merge pull request #12473 from gleber/update-erlang-hex-packages
Erlang: update tooling and hex packages
2016-01-19 22:18:32 +01:00
..
arduino platformio: init at 2.7.0 2016-01-06 04:09:52 -05:00
compilers Merge pull request #12462 from wizeman/u/add-fstar 2016-01-19 16:41:44 +03:00
coq-modules coq-interval: 2.1.0 -> 2.2.1 2016-01-06 09:35:05 +01:00
dotnet-modules/patches
eclipse
erlang-modules Update hex-packages.nix with hermetic rebar3. 2016-01-19 12:58:43 +01:00
go-modules Rename 'emery' maintainer handle to 'ehmry', fixes #11493 2015-12-05 23:06:20 +01:00
guile-modules
haskell-modules configuration-hackage2nix.yaml: update list of broken packages 2016-01-17 12:29:03 +01:00
idris-modules idris-wl-pprint: Use fetchFromGitHub 2015-11-28 05:53:50 -05:00
interpreters Merge branch 'master' into staging 2016-01-18 09:48:49 +01:00
libraries glib: fix compilation on SmartOS/Illumos (close #12479) 2016-01-19 17:38:44 +01:00
lisp-modules asdf: 3.1.5 -> 3.1.6 2016-01-01 12:30:17 +03:00
lua-modules
misc
mobile Renamed subdirectories in Android SKD's build-tools 2016-01-18 00:42:54 +01:00
ocaml-modules Merge pull request #12064 from FlorentBecker/eliom42 2016-01-18 09:32:48 +01:00
perl-modules perl-DBIx-Class: fix tests 2015-11-30 14:50:42 +01:00
pharo Refactor Pharo to allow co-installation of VMs 2016-01-18 20:14:19 +01:00
pure-modules
python-modules 4suite: remove dead package 2016-01-18 01:41:57 +01:00
qtcreator qtcreator: 3.5.1 -> 3.6.0 2016-01-15 19:19:42 -05:00
r-modules R: fix Darwin build 2016-01-06 22:20:40 +01:00
ruby-modules
tools rebar3-nix-bootstrap: 0.0.2 -> 0.0.3 2016-01-19 12:58:33 +01:00
web update xcode patches for node v0.10.41 2016-01-09 14:38:37 -08:00