nixpkgs/pkgs/development
John Wiegley 4bd69fd249 coqPackages.bignums: Change expression to match other Coq packages
Without this change, it's impossible to override bignums, or ignore it when
creating custom datasets for other versions of Coq (such as 8.8+alpha).
2018-03-06 07:46:51 -08:00
..
arduino platformio-fhs: minor changes 2018-02-11 09:19:53 +01:00
beam-modules
bower-modules/generic
compilers ghcjs: mark build broken 2018-03-05 16:44:23 +01:00
coq-modules coqPackages.bignums: Change expression to match other Coq packages 2018-03-06 07:46:51 -08:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules buildGoPackage: disable go 1.10 cache 2018-02-24 01:57:16 +00:00
guile-modules
haskell-modules hackage-packages.nix: automatic Haskell package set update 2018-03-05 16:45:01 +01:00
idris-modules Refactor Idris packaging infrastructure 2018-02-07 19:25:50 +00:00
interpreters Merge branch 'master' 2018-03-05 14:53:27 +01:00
java-modules buildMavenPackage: Use concatStringsSep 2018-02-11 00:17:47 +02:00
libraries gtkmm2: enable parallel building 2018-03-06 13:07:14 +03:00
lisp-modules lispPackages.xembed: init 2018-02-26 11:17:36 +01:00
lua-modules lua packages: propagate libs with a setupHook 2018-02-25 21:24:47 +00:00
misc Merge branch 'master' 2018-03-05 14:53:27 +01:00
mobile Merge branch 'master' 2018-03-05 14:53:27 +01:00
node-packages nodePackages_8_x.npm: init at 5.6.0 2018-03-01 18:21:49 +08:00
ocaml-modules Merge branch 'master' 2018-03-05 14:53:27 +01:00
perl-modules Fix build failures with DBD-SQLite 2018-02-06 18:06:23 -08:00
pharo treewide: transition mesa to libGLU_combined 2018-02-24 17:06:49 +02:00
pure-modules treewide: transition mesa to libGLU_combined 2018-02-24 17:06:49 +02:00
python-modules Merge pull request #36323 from andrew-d/adunham/fix-pillow 2018-03-05 23:18:05 +00:00
qtcreator qtcreator: fix path to qtquickcontrols 2018-02-18 14:44:16 +01:00
r-modules Merge branch 'master' 2018-03-05 14:53:27 +01:00
ruby-modules buildRubyGem: Make testing easier 2018-03-03 23:31:00 -08:00
stm32/betaflight
tools Merge pull request #36250 from sengaya/add-ansible-lint 2018-03-06 00:12:37 +00:00
web Merge pull request #35116 from adisbladis/nodejs-update-script 2018-03-06 15:35:14 +08:00