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

shadaj

maintains 2 packages first pull request 2021-10-14

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

Packages 2

cvc5 1.4.0 behind in nixos-26.05 risk 9 1.4.2 available

2 open PRs · 1 issue

symfpu 1.2.0-unstable-2026-05-13 risk 2

None.