coq-modules
|
coqPackages.coq-elpi: 1.19.0 -> 2.0.1
|
2024-01-02 18:39:20 +01:00 |
libraries
|
libe57format: fixup build with gcc13
|
2024-01-10 08:03:17 +01:00 |
ocaml-modules
|
ocamlPackages.otfed: init at 0.3.1
|
2024-01-02 21:38:56 +01:00 |
pharo
|
Pharo 10.0.5 -> 10.0.8
|
2023-11-16 19:06:59 +00:00 |
quickemu
|
quickemu: 4.9.1 -> 4.9.2
|
2023-12-10 18:06:53 -07:00 |
r-modules
|
rPackages.tesseract: fix build
|
2023-12-13 13:22:43 +11:00 |
tools
|
Merge master into staging-next
|
2024-01-10 06:01:12 +00:00 |