coq-modules
|
coqPackages.coq-elpi: 1.10 -> 1.11
|
2021-10-27 13:19:57 +02:00 |
gnuradio-modules
|
gnuradio: Reenable thrift support
|
2021-10-23 23:46:45 +03:00 |
libraries
|
dleyna-renderer: 0.7.1 → 0.7.2
|
2021-10-31 10:04:47 +01:00 |
ocaml-modules
|
ocamlPackages.dune-site: init 2.9.1
|
2021-10-28 08:27:32 +02:00 |
quickemu
|
quickemu: 2.2.6 -> 2.2.7
|
2021-10-27 08:45:41 -06:00 |
tools
|
Merge pull request #143289 from TredwellGit/electron_13
|
2021-10-28 08:52:43 +02:00 |
web
|
nodejs-16_x: 16.12.0 -> 16.13.0
|
2021-10-27 12:13:51 +00:00 |