compilers
|
crystal2nix: unstable-2018-07-31 -> 0.1.0
|
2020-12-28 16:21:23 +08:00 |
coq-modules
|
coq_8_13: init at 8.13+β1
|
2020-12-15 21:13:40 +01:00 |
interpreters
|
metamath: correct license to gpl2Only
|
2020-12-28 17:51:38 +00:00 |
misc
|
rpiboot-unstable: enable build on x86_64-linux
|
2020-12-27 17:01:03 +01:00 |
ocaml-modules
|
ocamlPackages.ounit(2): 2.2.3 -> 2.2.4
|
2020-12-26 08:12:29 +01:00 |
python-modules
|
Merge pull request #107653 from rmcgibbo/gpy
|
2020-12-28 02:38:07 +01:00 |
tools
|
shards: minor cleanups
|
2020-12-28 16:21:23 +08:00 |
web
|
lucky-cli: 0.24 -> 0.25
|
2020-12-28 16:21:23 +08:00 |