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 |
haskell-modules
|
spago: 0.20.2 -> 0.20.4
|
2022-02-01 10:10:59 +09:00 |
interpreters
|
spidermonkey_68: drop
|
2022-02-02 18:57:16 +01:00 |
libraries
|
rocksdb: 6.27.3 -> 6.28.2
|
2022-02-03 11:04:15 -08: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
|
gocyclo: 2015-02-08 -> 0.4.0 (#157227)
|
2022-02-03 23:08:38 +08:00 |