What jwiegley maintains

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

Packages 14

contacts 1.1a-3risk 2 0 0

twelf 1.7.1risk 2 0 0

emacs 31.1 behind in nixos-26.05risk 1 2 4

emacs-gtk 31.1 behind in nixos-26.05risk 1 1 0

emacs-nox 31.1 behind in nixos-26.05risk 1 1 0

emacs-pgtk 31.1 behind in nixos-26.05risk 1 1 0

prooftree 0.14risk 1 1 0

coq2html 1.4risk 1 0 0

imgcat 2.6.0risk 1 0 0

ott 0.34risk 1 0 0

yuicompressor 2.4.8risk 1 0 0

ledger 3.4.1risk 0 1 0

compcert 3.18 behind in nixos-26.05risk 0 0 0

NixOS modules 0

None.