coq-modules
|
coqPackages.HoTT: 8.16 -> 8.17
|
2023-03-30 20:05:15 +02:00 |
libraries
|
libdeltachat: 1.112.4 -> 1.112.5
|
2023-04-03 16:06:40 -07: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.ctypes: 0.20.1 → 0.20.2
|
2023-04-03 06:36:37 +02:00 |
ruby-modules
|
bundix: fixup ruby_3_0 support
|
2023-04-01 19:08:53 +11:00 |
tools
|
Merge pull request #223400 from NickCao/hydra
|
2023-04-03 14:42:47 +02:00 |
web
|
flyctl: 0.0.498 -> 0.0.500
|
2023-04-02 03:45:07 +00:00 |