nixpkgs/pkgs/development
Benjamin Hipple ef2995988a
Merge pull request #83343 from vbgl/coq-coqhammer-1.1.1
coqPackages.coqhammer: 1.1 → 1.1.1
2020-03-28 23:20:37 -04:00
..
androidndk-pkgs
arduino
beam-modules
bower-modules/generic
chez-modules
compilers Merge pull request #83472 from Mic92/propragate-darwin-go 2020-03-28 06:57:59 +00:00
coq-modules Merge pull request #83343 from vbgl/coq-coqhammer-1.1.1 2020-03-28 23:20:37 -04:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
go-packages
guile-modules
haskell-modules hackage-packages.nix: automatic Haskell package set update 2020-03-27 20:58:22 +01:00
idris-modules
interpreters Merge pull request #83472 from Mic92/propragate-darwin-go 2020-03-28 06:57:59 +00:00
java-modules
libraries Merge pull request #83414 from dasj19/qbittorrent-update 2020-03-28 23:02:56 -04:00
lisp-modules
lua-modules
misc
mobile
node-packages nodePackages: use node2nix from git 2020-03-28 06:48:56 +00:00
ocaml-modules
perl-modules
pharo
pure-modules
python-modules Merge pull request #83546 from r-ryantm/auto-update/python2.7-mayavi 2020-03-28 22:10:20 -04:00
r-modules
ruby-modules solargraph: 0.38.0 -> 0.38.6 2020-03-27 13:12:16 -07:00
tools Merge pull request #83635 from jtojnar/hydra-fix-eval 2020-03-29 03:00:30 +02:00
web Revert "Merge pull request #83099 from marsam/fix-buildGoModule-packages-darwin" 2020-03-27 07:33:21 +00:00