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 |
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 |
node-packages
|
hyperspace-cli: remove
|
2022-08-29 13:44:41 -04:00 |
ocaml-modules
|
ocamlPackages.yojson: 1.7.0 → 2.0.2
|
2022-08-29 08:10:02 +02:00 |
tools
|
cargo-tally: 1.0.9 -> 1.0.12
|
2022-08-30 07:35:25 +00:00 |
web
|
grails: 5.2.2 -> 5.2.3
|
2022-08-28 23:11:38 +02:00 |