compilers
|
Merge master into haskell-updates
|
2022-08-29 00:15:34 +00:00 |
coq-modules
|
coqPackages.stdpp: 1.7.0 → 1.8.0
|
2022-08-27 08:54:26 +02:00 |
embedded
|
blackmagic: 2022-04-16 -> 1.8.2
|
2022-08-24 12:43:08 +02:00 |
misc
|
umr: unstable-2021-02-18 -> unstable-2022-08-23
|
2022-08-26 17:25:02 +02:00 |
mobile
|
Merge pull request #186564 from Artturin/crossevalfixes
|
2022-08-27 17:49:00 +03:00 |
ocaml-modules
|
ocamlPackages.yojson: 1.7.0 → 2.0.2
|
2022-08-29 08:10:02 +02:00 |
web
|
grails: 5.2.2 -> 5.2.3
|
2022-08-28 23:11:38 +02:00 |