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 |
libraries
|
Merge master into staging-next
|
2022-02-05 00:01:49 +00: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 |
python2-modules
|
Merge branch 'staging-next' into staging
|
2022-02-01 21:37:39 -05:00 |
python-modules
|
Merge master into staging-next
|
2022-02-05 00:01:49 +00:00 |
tools
|
Merge master into staging-next
|
2022-02-05 00:01:49 +00:00 |
web
|
Merge staging-next into staging
|
2022-01-31 12:01:50 +00:00 |