nixpkgs/pkgs/development
Vincent Laporte b58ada326a
Merge pull request #62776 from vbgl/coq-simple-io-1.2.0
[coq] simple-io: 1.0.0 -> 1.2.0; QuickChick: init at 1.1.0 for Coq 8.9
2019-06-13 06:58:44 +00:00
..
androidndk-pkgs cc-wrapper: make machine configuration configurable 2019-04-20 20:05:51 -04:00
arduino
beam-modules buildMix: fix bootstrapping packages with hyphens in version 2019-04-18 22:37:30 +03:00
bower-modules/generic
compilers Merge pull request #62894 from womfoo/fix/llvm_7-skip-x86-tests-on-armv7l 2019-06-11 17:45:44 -04:00
coq-modules coqPackages.simple-io: 1.0.0 -> 1.2.0 2019-06-06 15:06:08 +00:00
dhall-modules
dotnet-modules/patches [treewide] delete unused patches 2019-05-04 19:52:24 +02:00
em-modules/generic
go-modules buildGoModule: pre-initialize module cache (#61967) 2019-05-24 09:10:35 -07:00
go-packages
guile-modules guile-lib: 0.2.2 -> 0.2.6.1 (#60978) 2019-05-18 19:07:56 +02:00
haskell-modules haskellPackages.insert-ordered-containers: fix build 2019-06-11 18:42:58 +09:00
idris-modules idrisPackages.build-idris-package: Install binaries 2019-04-28 16:54:32 +02:00
interpreters Merge pull request #62783 from Izorkin/php-packages 2019-06-12 13:14:22 +02:00
java-modules
libraries Merge pull request #62993 from volth/beignet-2018 2019-06-11 21:51:50 +00:00
lisp-modules
lua-modules luaPackages.lpeg: 1.0.1 -> 1.0.2 2019-06-07 21:17:01 +09:00
misc treewide: update cargoSha256 hashes for cargo-vendor upgrade 2019-06-01 15:17:52 +00:00
mobile Merge pull request #61906 from lilyball/cocoapods 2019-05-31 21:51:25 -04:00
node-packages node2nix: 1.6.0 -> 1.7.0 and regenerate all Nix expressions, introduce nodePackages_12_x attribute set 2019-06-05 23:48:42 +02:00
ocaml-modules ocamlPackages.alcotest: 0.8.2 -> 0.8.5 2019-06-04 17:27:15 +02:00
perl-modules perl: get perl in HOST_PATH for patch-shebangs 2019-05-17 17:04:29 -04:00
pharo
pure-modules
python-modules Merge pull request #63002 from Gerschtli/update/flask-migrate 2019-06-12 21:53:09 -05:00
r-modules [treewide] delete unused patches 2019-05-04 19:52:24 +02:00
ruby-modules gem-config: add zlib 2019-05-08 17:46:03 +02:00
tools bazel-watcher: 0.9.1 -> 0.10.3 2019-06-12 21:27:49 -07:00
web grails: 3.3.9 -> 3.3.10 2019-06-10 23:20:58 +02:00