coq-modules
|
Add odd-order 1.13.0
|
2022-02-02 08:56:55 +01:00 |
embedded
|
teensyduino: 1.55 - > 1.56
|
2022-02-01 11:39:25 +01:00 |
guile-modules
|
guile-gnome: drop
|
2022-01-29 18:09:14 +01:00 |
interpreters
|
trealla: 1.12.0 -> 1.20.31
|
2022-02-01 15:08:08 +00:00 |
ocaml-modules
|
ocamlPackages.printbox: 0.5 → 0.6
|
2022-02-02 07:31:55 +01:00 |
php-packages
|
phpExtensions.xdebug: 3.1.2 -> 3.1.3
|
2022-02-01 23:06:20 +01:00 |
ruby-modules
|
bundler: 2.2.24 -> 2.3.6
|
2022-01-28 09:36:34 +01:00 |
tools
|
symfony-cli: 5.2.2 -> 5.3.0
|
2022-02-02 20:47:24 +10:00 |
web
|
cypress: 9.2.0 -> 9.3.1
|
2022-01-30 16:33:00 +01:00 |