Vincent Laporte 5f3be6b669 coqPackages.Verdi: enable for Coq 8.12

2020-09-10 22:10:02 +02:00

..

androidndk-pkgs

androidndkPkgs: Take version from underlying package

2020-09-08 09:32:06 -04:00

arduino

…

beam-modules

…

bower-modules/generic

…

chez-modules

…

compilers

mlton: use $TMPDIR

2020-09-10 17:11:26 +02:00

coq-modules

coqPackages.Verdi: enable for Coq 8.12

2020-09-10 22:10:02 +02:00

dhall-modules

…

dotnet-modules

…

em-modules/generic

…

go-modules

…

go-packages

buildGoPackage: check/delete vendor

2020-09-08 16:32:39 +10:00

guile-modules

guile-sdl2: 0.4.0 -> 0.5.0

2020-09-06 22:36:15 +01:00

haskell-modules

hackage-packages.nix: fix eval pandoc_2_10_1 on hydra

2020-09-05 14:45:22 -04:00

idris-modules

…

interpreters

j: fix build on darwin

2020-09-09 15:09:26 -07:00

java-modules

…

libraries

Merge pull request #97589 from bcdarwin/upgrade-nifticlib

2020-09-10 07:54:17 +02:00

lisp-modules

…

lua-modules

…

misc

…

mobile

androidndk: Avoid depending on target-sensative openjdk

2020-09-08 09:49:39 -04:00

node-packages

nodePackages.node-red: fix build

2020-09-09 07:40:55 +02:00

ocaml-modules

ocamlPackages.labltk: init at 8.06.9 for OCaml 4.11

2020-09-06 19:09:37 +02:00

perl-modules

…

pharo

…

pure-modules

…

python-modules

python3.pkgs.fastparquet: 0.4.0 -> 0.4.1

2020-09-10 17:13:49 +02:00

r-modules

…

ruby-modules

…

tools

jenkins: 2.235.5 -> 2.249.1

2020-09-10 10:36:18 -04:00

web

Merge pull request #97223 from 06kellyjac/deno_1.3.3

2020-09-06 07:37:15 -05:00