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 |
interpreters
|
spidermonkey_68: drop
|
2022-02-02 18:57:16 +01:00 |
libraries
|
sentry-native: 0.4.13 -> 0.4.14
|
2022-02-02 22:30:07 -05: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 |
pure-modules
|
pure-modules: rename name to pname&version
|
2022-02-01 18:45:50 +01:00 |
tools
|
Merge pull request #153863 from marius851000/ffmpegwin
|
2022-02-02 21:28:12 +00:00 |