coq-modules
|
coqPackages.coq-lsp: 0.1.6.1 for Coq 8.17
|
2023-04-04 13:23:51 +02:00 |
haskell-modules
|
cachix: 1.4.1 -> 1.4.2
|
2023-04-06 19:35:39 +01:00 |
libraries
|
Merge pull request #224359 from hesiod/coin-utils
|
2023-04-06 01:08:07 +02:00 |
misc
|
brev-cli: 0.6.211 -> 0.6.213
|
2023-04-02 07:11:05 +00:00 |
nim-packages
|
Merge pull request #199681 from auroraanna/snekim
|
2023-04-02 00:16:24 +02:00 |
ocaml-modules
|
ocamlPackages.qcheck: fix for OCaml ≥ 5.0
|
2023-04-05 08:43:28 +02:00 |
ruby-modules
|
bundix: 2.5.1 -> 2.5.2
|
2023-04-05 15:51:36 +10:00 |
tools
|
Merge pull request #223216 from wineee/qtcreator
|
2023-04-06 01:45:14 +03:00 |
web
|
flyctl: 0.0.498 -> 0.0.500
|
2023-04-02 03:45:07 +00:00 |