coq-modules
|
coqPackages.coq-elpi: 1.19.0 -> 2.0.1
|
2024-01-02 18:39:20 +01:00 |
mobile
|
maestro: 1.34.1 -> 1.35.0
|
2024-01-09 00:33:06 +05:30 |
ruby-modules
|
ruby_2_7: remove
|
2024-01-02 15:30:06 +01:00 |
web
|
flyctl: 0.1.136 -> 0.1.137
|
2024-01-09 01:19:26 +00:00 |