coq-modules
|
coqPackages.coq-elpi: 1.19.0 -> 2.0.1
|
2024-01-02 18:39:20 +01:00 |
interpreters
|
babashka: fix shell completions
|
2024-01-03 10:19:38 +01: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 |
tools
|
Merge pull request #274573 from r-ryantm/auto-update/jql
|
2024-01-03 17:26:34 +01:00 |
web
|
flyctl: 0.1.135 -> 0.1.136
|
2024-01-03 07:08:28 +00:00 |