compilers
|
go_1_21: 1.21.10 -> 1.21.11
|
2024-06-05 12:16:47 +10:00 |
coq-modules
|
coqPackages.aac-tactics: 8.19.0 → 8.19.1
|
2024-06-04 16:22:00 +02:00 |
idris-modules
|
idrisPackages.sdl: remove
|
2024-05-30 02:03:57 +02:00 |
interpreters
|
Merge pull request #315856 from qwqawawow/master
|
2024-06-03 22:51:24 +02:00 |
misc
|
Merge pull request #312442 from fgaz/changelog-d/1.0
|
2024-06-03 18:33:11 +02:00 |
ocaml-modules
|
ocamlPackages.cmdliner: 1.2.0 -> 1.3.0
|
2024-06-02 00:59:40 +00:00 |
tools
|
Merge pull request #317272 from znaniye/ols
|
2024-06-04 18:04:08 -03:00 |