Vincent Laporte c87714a040 coqPackages.stdpp: 1.4.0 → 1.5.0 ...

coqPackages.iris: 3.3.0 → 3.4.0

2021-04-12 13:58:30 +02:00

..

androidndk-pkgs

…

arduino

…

beam-modules

…

bower-modules/generic

…

chez-modules

chez-matchable: typo fix in the description value

2021-04-12 01:30:02 +02:00

compilers

Merge pull request #117996 from mweinelt/edk2

2021-04-12 13:52:17 +02:00

coq-modules

coqPackages.stdpp: 1.4.0 → 1.5.0

2021-04-12 13:58:30 +02:00

dhall-modules

…

dotnet-modules

…

em-modules/generic

…

gnuradio-modules

…

go-modules

…

go-packages

…

guile-modules

…

haskell-modules

hackage2nix: keep the old version of refinery around for haskell-language-server

2021-04-09 20:31:28 +02:00

idris-modules

…

interpreters

…

java-modules

…

libraries

Merge pull request #119129 from r-ryantm/auto-update/mlt

2021-04-12 10:34:02 +02:00

lisp-modules

…

lua-modules

…

misc

…

mobile

…

node-packages

…

ocaml-modules

ocamlPackages.janeStreet{,_0_9_0}: join the ocamlPackages fix point, allowing overriding to work as expected (#113696)

2021-04-11 12:26:10 +02:00

octave-modules

…

perl-modules

…

pharo

…

php-packages

…

pure-modules

…

python-modules

Merge pull request #116831 from oxzi/watson-2.0.0

2021-04-12 03:16:46 +02:00

r-modules

…

ruby-modules

Merge master into staging-next

2021-04-08 18:14:17 +00:00

tools

Merge pull request #119142 from mausch/tf2pulumi

2021-04-12 04:33:15 +02:00

web

…