Nixpkgs security tracker

Try the new UI

Login with GitHub

Dismissed suggestions
Untriaged suggestions
Accepted suggestions
Draft issue
Published issues

Suggestions search

Dismissed

Filter by:

All statuses
Dismissed
Untriaged
Accepted
Published

With package: vscode-extensions.leanprover.lean4

No matching suggestions found

1

Nixpkgs security tracker is part of NixOS security infrastructure.

Source code, running revision c93f499d