compilers
|
ocamlPackages.extlib: rename from ocaml_extlib
|
2022-11-16 14:30:37 +01:00 |
coq-modules
|
coqPackages.interval: 4.5.2 → 4.6.0
|
2022-11-13 15:08:46 +01:00 |
interpreters
|
Merge pull request #201353 from figsoda/lunatic
|
2022-11-16 14:17:07 -05:00 |
libraries
|
Merge pull request #201183 from Artturin/utempter
|
2022-11-17 12:10:41 +02:00 |
misc
|
brev-cli: 0.6.170 -> 0.6.176
|
2022-11-17 10:05:00 +08:00 |
python-modules
|
liquidctl: 1.10.0 -> 1.11.1
|
2022-11-17 19:06:58 +01:00 |
web
|
flyctl: 0.0.430 -> 0.0.431
|
2022-11-15 02:32:38 +00:00 |