nixpkgs/pkgs/development
John Wiegley 7f2305c431
Merge pull request #37919 from vbgl/coq-bignums-8.8
coqPackages.bignums: make it available for Coq 8.8
2018-03-27 10:11:30 -07:00
..
arduino
beam-modules
bower-modules/generic
compilers Merge pull request #37812 from ryantm/auto-update/kotlin 2018-03-26 08:37:57 -04:00
coq-modules coqPackages.bignums: make it available for Coq 8.8 2018-03-27 16:19:33 +00:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic Emscripten 1.37.16 to 1.37.36 (#37291) 2018-03-18 13:34:46 +01:00
go-modules
guile-modules
haskell-modules Revert "justStaticExecutables: enable -dead_strip on mac to shrink closure" 2018-03-26 20:57:32 -05:00
idris-modules Move all nixpkgs doc files in to the doc directory 2018-03-25 19:52:00 -04:00
interpreters Merge pull request #37580 from dtzWill/update/erlangs 2018-03-25 20:59:25 +02:00
java-modules treewide: use more HTTPS URLs 2018-03-24 22:04:25 -07:00
libraries Merge branch 'riscv-limitations' 2018-03-27 11:32:38 -04:00
lisp-modules
lua-modules
misc treewide: use more HTTPS URLs 2018-03-24 22:04:25 -07:00
mobile xcodeenv: publish xcarchive directory in the output store path if requested 2018-03-22 15:02:09 +01:00
node-packages Merge pull request #37749 from grahamc/nixpkgs-docs 2018-03-26 08:24:52 -04:00
ocaml-modules Merge pull request #37385 from coreyoconnor/google-drive-ocamlfuse-update 2018-03-20 00:17:43 +00:00
perl-modules Merge branch 'master' into staging 2018-03-10 20:38:13 +00:00
pharo pharo: Tighten source and simplify meta.platforms 2018-03-12 18:55:41 -04:00
pure-modules
python-modules pythonPackages.scapy: 2.3.3 -> 2.4.0 2018-03-27 18:27:55 +02:00
qtcreator
r-modules Move all nixpkgs doc files in to the doc directory 2018-03-25 19:52:00 -04:00
ruby-modules treewide: s/xlibs/xorg/g (#36889) 2018-03-13 10:16:03 +00:00
stm32/betaflight
tools Merge pull request #34971 from Twey/master 2018-03-27 17:29:27 +02:00
web kore: fix clang build 2018-03-20 00:00:42 +01:00