coq-modules
|
coqPackages.compcert: enable for Coq 8.17
|
2023-07-17 07:47:50 +02:00 |
interpreters
|
trealla: 2.21.33 -> 2.22.11
|
2023-07-15 22:49:28 -03:00 |
lisp-modules
|
nyxt: 3.3.0 -> 3.4.0
|
2023-07-15 18:24:19 +02:00 |
mobile
|
maestro: 1.29.0 -> 1.30.0
|
2023-07-14 10:58:19 +05:30 |
php-packages
|
phpExtensions.msgpack: 2.2.0RC2 -> 2.2.0
|
2023-07-14 22:30:29 +02:00 |
tools
|
Merge pull request #243977 from figsoda/registry
|
2023-07-17 18:58:50 -06:00 |
web
|
Merge pull request #242457 from dit7ya/boa
|
2023-07-16 14:59:40 +02:00 |