coq-modules
|
coq_8_17: init at 8.17+rc1 (#209145)
|
2023-01-06 15:51:50 +01:00 |
embedded
|
openfpgaloader: 0.9.1 -> 0.10.0
|
2023-01-02 21:49:47 +08:00 |
libraries
|
libtommath: unbreak on aarch64-darwin
|
2023-01-06 20:14:33 +01:00 |
mobile
|
maestro: 1.18.2 -> 1.18.3
|
2023-01-04 23:00:17 +08:00 |
nim-packages
|
nimPackages.taps: init at 20221228
|
2023-01-03 12:17:07 -06:00 |
php-packages
|
Merge pull request #208084 from apeschar/phan
|
2022-12-30 09:45:59 +11:00 |
python-modules
|
Merge branch 'ofxtools-0.9.5'
|
2023-01-06 12:41:20 -05:00 |
ruby-modules
|
bundler: 2.3.26 -> 2.4.2
|
2023-01-02 14:43:58 +01:00 |
tools
|
Merge pull request #204481 from Artturin/removenixvers1
|
2023-01-06 18:51:52 +00:00 |