coq-modules
|
coq_8_13: init at 8.13+β1
|
2020-12-15 21:13:40 +01:00 |
interpreters
|
lua: add 5.4.2
|
2020-12-27 16:01:28 +01:00 |
libraries
|
Merge staging-next into staging
|
2020-12-27 18:30:33 +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
|
python3Packages.pydantic: 1.5.1 -> 1.7.3
|
2020-12-27 16:10:07 +01:00 |
tools
|
Merge staging-next into staging
|
2020-12-27 18:30:33 +00:00 |
web
|
nodejs-15_x: 15.4.0 -> 15.5.0
|
2020-12-22 14:02:00 -05:00 |