compilers
compcert: 3.7 → 3.8
2020-12-09 08:28:04 +01:00
coq-modules
coqPackages.coq-ext-lib: 0.11.2 → 0.11.3
2020-12-01 22:02:08 +01:00
dhall-modules
dhallPackages.Prelude: 19.0.0 -> 20.0.0
2020-12-04 19:05:41 +01:00
guile-modules
guile-cairo: 1.11.1 -> 1.11.2
2020-12-02 09:37:31 +00:00
libraries
intel-media-driver: 20.4.2 -> 20.4.3 ( #106407 )
2020-12-09 18:43:54 +01:00
mobile
androidsdk_9_0: fix evaluation without aliases
2020-12-06 11:07:40 +01:00
node-packages
fixjson: init at 1.1.1
2020-12-05 14:44:11 -05:00
ocaml-modules
ocamlPackages.uri: 3.1.0 → 4.0.0
2020-12-08 17:33:12 +01:00
python-modules
pythonPackages.qasm2image: remove
2020-12-09 16:55:19 -05:00
ruby-modules
Merge pull request #89433 from fzakaria/rbenv
2020-12-03 07:19:03 +00:00
web
Merge pull request #106158 from sternenseemann/kore-4.0.0
2020-12-08 05:48:25 +01:00