coq-modules
|
coqPackages.lemma-overloading: init at 8.12
|
2024-11-22 06:55:28 +01:00 |
interpreters
|
Merge: php84: 8.4.0RC4 -> 8.4.1 (#357904)
|
2024-11-22 13:06:46 +01:00 |
libraries
|
{qt5,qt6}: remove overrideScope' errors
|
2024-11-22 21:01:54 +01:00 |
lua-modules
|
luaPackages: update on 2024-11-18
|
2024-11-18 23:06:31 -06:00 |
ocaml-modules
|
ocamlPackages.typerep: 0.17.0 → 0.17.1
|
2024-11-21 16:57:34 +01:00 |
php-packages
|
Merge: php84: 8.4.0RC4 -> 8.4.1 (#357904)
|
2024-11-22 13:06:46 +01: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 |