coq-modules
|
coqPackages.waterproof: init at 2.1.1+8.18
|
2024-08-27 16:00:55 +02:00 |
embedded
|
avrdude: 7.3 -> 8.0
|
2024-08-27 19:41:20 +02:00 |
libraries
|
ffmpeg_4: almost drop (#336401)
|
2024-08-27 22:08:20 +02:00 |
lua-modules
|
luarocks-packages-updater: move to by-name
|
2024-08-25 18:12:18 +02:00 |
php-packages
|
php84.extensions.redis: Fix build on Darwin
|
2024-08-26 21:34:49 +02:00 |
python-modules
|
spyder: 5.5.5 -> 5.5.6 (#337645)
|
2024-08-27 23:34:15 +02:00 |
tools
|
cargo-leptos: 0.2.18 -> 0.2.20 (#336328)
|
2024-08-27 16:48:44 -04:00 |
web
|
flyctl: 0.2.114 -> 0.2.120
|
2024-08-26 16:45:44 +00:00 |