verifpal

verifpal 1.6.1 · pkgs/by-name/ve/verifpal/package.nix

Health

Risk

risk 9 low

+8 1.6.1 is behind upstream 1.6.6
+1 no versionCheckHook

Version

1.6.1 upstream 1.6.6

Channels

master 1.6.1 · nixos-unstable 1.6.1 · nixos-26.05 0.31.2 master is ahead of nixos-26.05

Hydra

succeeded 2d ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Cryptographic protocol analysis for students and engineers

Homepage

https://verifpal.com/

License

GPL-3.0

Platforms

38 platforms: Linux, Darwin · not on pattern

Main program

verifpal

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/by-name/ve/verifpal/package.nix:22

Maintainers

zimbatm

Version bumps 1all open bumps

verifpal: 1.6.1 -> 1.6.6

#570481 by r-ryantm · opened 11d ago · checks pass

Pull requests 1

verifpal: 1.6.1 -> 1.6.6

#570481 by r-ryantm · opened 11d ago · checks pass

Closed or merged in the synced window 3

verifpal: 1.4.10 -> 1.6.1

#566748 by r-ryantm · merged 3w ago

verifpal: 0.80.1 -> 1.4.10

#563328 by r-ryantm · merged 4w ago

verifpal: 0.53.0 -> 0.80.1

#550048 by r-ryantm · merged 8w ago

Issues 0

None open.