coq-modules
|
coqPackages.coq-elpi: 1.19.0 -> 2.0.1
|
2024-01-02 18:39:20 +01:00 |
embedded
|
wch-isp: 0.3.0 -> 0.4.0
|
2024-01-07 03:17:41 +00:00 |
interpreters
|
eff: 5.0 → 5.1
|
2024-01-05 14:11:03 +01:00 |
julia-modules
|
julia.withPackages: add tests
|
2024-01-05 17:50:46 -08: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 |
web
|
Merge pull request #278229 from kane50613/update-bun
|
2024-01-04 22:46:42 +01:00 |