nixpkgs/pkgs/tools/security/verifpal
2023-07-01 22:26:36 +02:00
..
default.nix verifpal: 0.26.1 -> 0.27.0 (#240880) 2023-07-01 22:26:36 +02:00