compilers
|
elmPackages.elm-json: 0.2.10 -> 0.2.12
|
2022-07-18 22:26:48 +02:00 |
coq-modules
|
coqPackages.coq-elpi 1.14.0 -> 1.15.1
|
2022-07-19 13:03:25 +02:00 |
embedded
|
platformio: unset broken on aarch64
|
2022-07-19 17:40:33 +08:00 |
interpreters
|
boron: init at 2.0.8
|
2022-07-16 19:59:30 +01:00 |
libraries
|
fmt_8: 8.0.1 -> 8.1.1
|
2022-07-19 20:01:28 +03:00 |
ocaml-modules
|
coqPackages.coq-elpi 1.14.0 -> 1.15.1
|
2022-07-19 13:03:25 +02:00 |
python-modules
|
python310Packages.textx: Fix build
|
2022-07-19 08:33:43 -04:00 |
tools
|
ocamlPackages.ocp-index: 1.3.1 -> 1.3.3
|
2022-07-18 21:29:17 +02:00 |
web
|
grails: 5.1.6 -> 5.1.7
|
2022-07-16 14:50:01 +02:00 |