compilers
|
c3c: 0.6.2 -> 0.6.3 (#346163)
|
2024-10-04 22:02:58 +02:00 |
coq-modules
|
compcert: add support for Coq 8.20.0
|
2024-10-04 12:57:01 +02:00 |
interpreters
|
python313: 3.13.0rc2 -> 3.13.0rc3 (#345809)
|
2024-10-04 00:30:44 +09:00 |
misc
|
treewide: add meta.changelog (#346488)
|
2024-10-04 22:35:12 +03:00 |
ocaml-modules
|
ocamlPackages.augeas: init at 0.6
|
2024-10-03 09:51:38 +02:00 |
php-packages
|
php84.extensions.pcov: fix build
|
2024-10-03 17:01:52 +02:00 |
tools
|
minizinc: 2.8.6 -> 2.8.7
|
2024-10-05 05:32:29 +00:00 |