Maintainer Mode
Sign in with GitHub

What mkannwischer maintains

Packages and NixOS modules whose meta.maintainers or meta.teams name mkannwischer, at nixpkgs 89a0beb079b4. Change the list in nixpkgs, not here.
Packages 3
cbmc 6.11.0 behind in nixos-26.05risk 1 0 0
hol_light 0-unstable-2026-09-02 behind in nixos-26.05risk 1 0 0
slothy 0.2.2 behind in nixos-26.05risk 0 0 0
NixOS modules 0
None.