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 |
interpreters
|
bats: 1.4.1 -> 1.5.0
|
2021-10-29 10:25:13 +02:00 |
node-packages
|
lua-fmt: init at 2.6.0
|
2021-10-27 20:05:16 +11: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
|
rusty-man: 0.4.3 -> 0.5.0
|
2021-10-29 09:16:58 -04:00 |
web
|
nodejs-16_x: 16.12.0 -> 16.13.0
|
2021-10-27 12:13:51 +00:00 |