compilers
|
go_2-dev: init at dev.go2go branch
|
2020-12-31 12:55:38 -05:00 |
coq-modules
|
coq_8_13: init at 8.13+β1
|
2020-12-15 21:13:40 +01:00 |
interpreters
|
self: 4.5.0 -> 2017.1
|
2021-01-01 01:11:36 +07:00 |
libraries
|
Merge pull request #107065 from magnetophon/geonkick
|
2021-01-01 00:45:27 +01:00 |
misc
|
rpiboot-unstable: enable build on x86_64-linux
|
2020-12-27 17:01:03 +01:00 |
ocaml-modules
|
ocamlPackages.irmin-chunk: init at 2.2.0
|
2020-12-31 15:00:26 +01:00 |
web
|
deno: 1.5.4 -> 1.6.0
|
2021-01-01 10:41:00 +00:00 |