nixpkgs/pkgs/development
John Wiegley 14d915e395 Merge pull request #28902 from vbgl/quickchick
coqPackages.QuickChick: fix
2017-09-03 13:51:39 -07:00
..
arduino
beam-modules use https://github.com for all homepages 2017-08-17 14:53:40 -07:00
bower-modules/generic
compilers Merge pull request #28908 from tohl/master 2017-09-02 23:05:34 +02:00
coq-modules coqPackages.QuickChick: fix 2017-09-02 15:33:16 +00:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules
guile-modules
haskell-modules haskell-taggy: include upstream patch to fix build 2017-09-03 16:29:56 +02:00
idris-modules idrisPackages.idris: 1.0 -> 1.1.1 2017-08-23 06:45:32 -05:00
interpreters treewide: purge explicit usage of gcc6 2017-09-03 09:57:20 +02:00
java-modules
libraries petsc: init at 3.7.6 (#28368) 2017-09-03 17:11:16 +01:00
lisp-modules Regenerate quicklisp-to-nix 2017-08-31 20:10:19 -07:00
lua-modules
misc
mobile androidndk: wrap scripts in $out/libexec 2017-08-17 15:46:01 +00:00
node-packages nodePackages.live-server : init at 1.2.0 2017-09-01 16:47:11 +01:00
ocaml-modules ocamlPackages.ptmap: 2.0.1 -> 2.0.2 2017-09-03 06:45:34 +00:00
perl-modules perlPackages.CompressRawZlib: 2.071 -> 2.074 2017-08-19 21:07:57 +02:00
pharo pharo: set platforms based on flavor selection 2017-08-26 16:03:31 +02:00
pure-modules treewide: purge explicit usage of gcc6 2017-09-03 09:57:20 +02:00
python-modules pythonPackages.bayespy: init at 0.5.10 (#28919) 2017-09-03 10:37:50 +01:00
qtcreator
r-modules R: update package set 2017-08-31 21:59:06 +02:00
ruby-modules gitlab: 9.4.5 -> 9.5.2 2017-09-03 15:50:52 +02:00
tools Merge pull request #28868 from matthewbauer/xcbuild-fix-sdk 2017-09-03 21:34:46 +02:00
web nodejs: 8.3.0 -> 8.4.0 2017-08-30 02:57:36 +02:00