coq-modules
|
coqPackages.lemma-overloading: init at 8.12
|
2024-11-22 06:55:28 +01:00 |
interpreters
|
python314: 3.14.0a1 -> 3.14.0a2 (#357452)
|
2024-11-22 08:10:48 +09:00 |
lua-modules
|
luaPackages: update on 2024-11-18
|
2024-11-18 23:06:31 -06:00 |
php-packages
|
php81Extensions.tideways: 5.13.0 -> 5.14.0
|
2024-11-21 01:30:00 +00:00 |
r-modules
|
rPackages.bgx: fix build (#353620)
|
2024-11-19 07:13:33 +11:00 |
tcl-modules
|
tcllib: 1.21 -> 2.0
|
2024-11-18 10:58:44 +00:00 |
tools
|
pnpm: 9.12.3 -> 9.14.2 (#355664)
|
2024-11-21 20:58:16 +01:00 |