What sempiternal-aurora maintains

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

Packages 12

calibre 9.15.0 behind in nixos-26.05risk 8 upstream 9.16.0 5 2

isabelle 2025-2risk 2 6 0

avd-fw 0.1risk 2 0 0

m1n1 2.0.0risk 2 0 0

polyml 5.9.2risk 2 0 0

ghdl-gcc 6.0.0risk 1 0 1

ghdl-llvm 6.0.0risk 1 0 1

ghdl-llvm-jit 6.0.0risk 1 0 1

ghdl-mcode 6.0.0risk 1 0 1

vampire 5.1.0risk 1 0 0

gnucobol 3.2risk 0 2 0

gnat-bootstrap 16.1.0-1 behind in nixos-26.05risk 0 0 0

NixOS modules 1

nixos/kapla 0 0