compcert
|
compcert: add support for Coq 8.13
|
2021-05-07 08:35:13 +02:00 |
elm
|
elmPackages.elm-json: 0.2.7 -> 0.2.10
|
2021-05-06 11:21:40 +02:00 |
gleam
|
gleam: 0.15.0 -> 0.15.1
|
2021-05-09 14:37:43 +09:00 |
go
|
go_1_15: 1.15.11 -> 1.15.12
|
2021-05-08 07:03:21 +10:00 |
ponyc
|
pony-corral: 0.4.1 -> 0.5.0
|
2021-05-08 17:45:16 -07:00 |
vala
|
Merge #121780: treewide meta.maintainers tweaks
|
2021-05-08 10:47:08 +02:00 |