Maintainer Mode
Sign in with GitHub

cryptoverif

cryptoverif 2.12 · pkgs/by-name/cr/cryptoverif/package.nix
Sign in to subscribe
Health
Risk
risk 1 low
  • +1 no versionCheckHook
Version
2.12 no newer release known to repology
Channels
master 2.12 · nixos-unstable 2.12 · nixos-26.05 2.12 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Cryptographic protocol verifier in the computational model
Homepage
https://bblanche.gitlabpages.inria.fr/CryptoVerif/
License
CECILL-B
Platforms
45 platforms: Linux, Darwin
Main program
cryptoverif
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/cr/cryptoverif/package.nix:64
Maintainers
thoughtpolice
Version bumps 1all open bumps
cryptoverif: 2.12 -> 2.13
#561697 by r-ryantm · opened 5w ago
Pull requests 1
cryptoverif: 2.12 -> 2.13
#561697 by r-ryantm · opened 5w ago
Issues 0
None open.