What mgttlinger maintains

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

Packages 9

icesl 2.4.1risk 10 upstream 2.4.4 1 1

nusmv 2.7.0risk 10 upstream 2.7.1 0 0

urbackup-client 2.5.25risk 10 upstream 2.5.31.0 0 0

mhost 0.11.4risk 9 upstream 0.12.1 1 0

tatl 1.0risk 2 0 0

clprover 1.0.3risk 1 1 0

factplusplus 1.6.5risk 1 0 0

tikzit 2.1.6risk 1 0 0

typos 1.51.1 behind in nixos-unstable, nixos-26.05risk 0 0 0

NixOS modules 0

None.