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

kini

maintains 4 packages first pull request 2021-08-15

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

Packages 4

acl2 8.6 risk 9 8.7 available

2 open PRs

drat-trim 2023-05-22 risk 2

avdump3 8293_stable risk 1

None.