Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

Coda-Coda

Packages and NixOS modules whose meta.maintainers or meta.teams name Coda-Coda, at nixpkgs 89a0beb079b4. Change the list in nixpkgs, not here.

Packages 1

lean4 4.34.1 behind in nixos-26.05 risk 8 4.35.0 available

2 open PRs · 1 issue

None.