Enrico Tassi 031da79988 coq-elpi: 1.9.4 -> 1.9.5

2021-04-12 21:52:06 +02:00

..

androidndk-pkgs

…

arduino

…

beam-modules

beam-modules: buildMix -> mixRelease

2021-04-08 20:54:48 +09:00

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 #107977 from corngood/msbuild

2021-04-12 20:09:16 +02:00

coq-modules

coq-elpi: 1.9.4 -> 1.9.5

2021-04-12 21:52:06 +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

erlang: add updateScript and update versions (#118831)

2021-04-12 19:59:37 +02:00

java-modules

…

libraries

Merge pull request #117041 from nagy/aqbanking-update

2021-04-12 16:43:56 +02:00

lisp-modules

…

lua-modules

…

misc

…

mobile

…

node-packages

…

ocaml-modules

ocamlPackages.rpclib: 8.0.0 → 8.1.0

2021-04-12 21:37:58 +02:00

octave-modules

…

perl-modules

…

pharo

…

php-packages

…

pure-modules

…

python-modules

Merge pull request #119254 from liff/python-hcloud/v1.12.0

2021-04-12 21:12:13 +02:00

r-modules

…

ruby-modules

Merge pull request #115582 from jdelStrother/bundler-override

2021-04-12 20:11:18 +02:00

tools

sd-local: 1.0.30 -> 1.0.31 (#119158)

2021-04-12 12:37:19 -07:00

web

…