coq-modules
|
coq_8_13: init at 8.13+β1
|
2020-12-15 21:13:40 +01:00 |
interpreters
|
lua5_3: 5.3.5 -> 5.3.6
|
2020-12-29 23:28:17 +01:00 |
libraries
|
Merge pull request #107483 from doronbehar/pkg/qt512
|
2020-12-30 14:12:06 -06:00 |
misc
|
rpiboot-unstable: enable build on x86_64-linux
|
2020-12-27 17:01:03 +01:00 |
python-modules
|
python3Packages.boto3: 1.16.44 -> 1.16.46
|
2020-12-30 21:19:14 -05:00 |
tools
|
ocamlPackages.cppo: 1.6.{5,6} → 1.6.7
|
2020-12-30 15:04:11 +01:00 |
web
|
lucky-cli: 0.24 -> 0.25
|
2020-12-28 16:21:23 +08:00 |