nixpkgs/pkgs/development
2017-11-11 09:44:55 -08:00
..
arduino
beam-modules hex-packages: delete transitively unbuildable packages 2017-11-08 07:23:51 +00:00
bower-modules/generic
compilers ghc: bump 8.2.2 pre-release to rc3 2017-11-11 17:38:26 +01:00
coq-modules coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7 2017-11-11 09:44:55 -08:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules Merge pull request #30350 from alicebob/absdir 2017-11-11 01:17:23 +00:00
guile-modules Merge branch 'master' into staging 2017-10-02 00:22:12 +00:00
haskell-modules haskell-c2hs: use development version from github to work around _Float128 bug 2017-11-11 17:38:42 +01:00
idris-modules Add wrapper for idris exe for gcc/gmp runtime deps 2017-11-02 23:14:12 +00:00
interpreters Apply changes recommended by @Mic92 2017-11-09 00:14:27 -08:00
java-modules Change many homepage urls from http to https #30636 2017-11-10 22:13:46 +01:00
libraries Merge pull request #31376 from c0bw3b/pkg/libtom 2017-11-11 18:11:14 +01:00
lisp-modules asdf: 3.2.0 -> 3.3.0 2017-11-11 15:31:43 +01:00
lua-modules buildLuaPackage: set makeFlags directly instead of through preBuild 2017-10-10 02:51:05 +11:00
misc Change many homepage urls from http to https #30636 2017-11-10 22:13:46 +01:00
mobile
node-packages Change many homepage urls from http to https #30636 2017-11-10 22:13:46 +01:00
ocaml-modules ocamlPackages.camomile: 0.8.6 -> 0.8.7 2017-11-11 16:56:14 +00:00
perl-modules perl-DBD-SQLite: 1.50 -> 1.54 2017-10-31 11:35:25 +01:00
pharo
pure-modules Merge remote-tracking branch 'upstream/staging' into deps-reorg 2017-09-28 12:32:57 -04:00
python-modules Merge pull request #31519 from Ma27/fix-yowsup 2017-11-11 09:51:15 +01:00
qtcreator qtbase: Make some output references more explicit 2017-10-24 23:48:49 +03:00
r-modules nixpkgs manual: add rstudio shell.nix example 2017-11-04 12:26:08 +01:00
ruby-modules bundlerEnv: support unicode executables (#31145) 2017-11-03 11:31:16 +00:00
tools Fix homepage links (see #30636) 2017-11-11 17:36:48 +01:00
web Change many homepage urls from http to https #30636 2017-11-10 22:13:46 +01:00