compilers
|
ciao: 1.23.0-m1 -> 1.24.0-m1 (#348449)
|
2024-11-01 14:03:22 +01:00 |
coq-modules
|
MetaCoq sub-packages dependencies
|
2024-10-31 11:09:26 +01:00 |
interpreters
|
groovy: 4.0.22 -> 4.0.23 (#348742)
|
2024-11-01 13:53:48 +01:00 |
libraries
|
webkitgtk: 2.46.2 → 2.46.3 (#352590)
|
2024-11-01 21:22:24 +08:00 |
python-modules
|
python312Packages.fints: 4.1.0 -> 4.2.0
|
2024-11-01 13:51:42 +01:00 |
tools
|
neil: 0.3.66 -> 0.3.68 (#349467)
|
2024-11-01 14:26:37 +01:00 |
web
|
nodejs_23: init at 23.1.0 (#349046)
|
2024-10-31 17:03:16 +01:00 |