compilers
|
gcl: 2.6.12 -> 2.6.14
|
2024-01-05 22:52:03 +01:00 |
coq-modules
|
coqPackages.coq-elpi: 1.19.0 -> 2.0.1
|
2024-01-02 18:39:20 +01:00 |
guile-modules
|
guile-ncurses: fix build on darwin
|
2023-12-05 00:47:45 +01:00 |
libraries
|
Merge pull request #277300 from panicgh/fastcdr
|
2024-01-03 21:22:20 +00:00 |
ocaml-modules
|
ocamlPackages.otfed: init at 0.3.1
|
2024-01-02 21:38:56 +01:00 |
ruby-modules
|
ruby_2_7: remove
|
2024-01-02 15:30:06 +01:00 |