proverif

proverif 2.05 · pkgs/by-name/pr/proverif/package.nix

Sign in to subscribe

Health

Risk

risk 0 ok

Version

2.05 no newer release known to repology

Channels

master 2.05 · nixos-unstable 2.05 · nixos-26.05 2.05 no channel is behind master

Hydra

succeeded 2w ago

Advisories

none open

Packaging

not read yet: the next index sweep reads it

Maintainers

thoughtpolice, vbgl

Pull requests 0

None open.

Issues 0

None open.