Maintainer Mode
Sign in with GitHub
Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

tamarin-prover

tamarin-prover 1.12.0 · pkgs/by-name/ta/tamarin-prover/package.nix
Sign in to subscribe
Health
Risk
risk 2 low
  • +2 no meta.mainProgram, no versionCheckHook
Version
1.12.0 no newer release known to repology
Channels
master 1.12.0 · nixos-unstable 1.12.0 · nixos-26.05 1.12.0 no channel is behind master
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Security protocol verification in the symbolic model
Homepage
https://tamarin-prover.github.io
License
GPL-3.0
Platforms
79 platforms: Linux, Darwin
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/ta/tamarin-prover/package.nix:33
Maintainers
thoughtpolice
Version bumps 0all open bumps
None open.
Pull requests 1
haskellPackages: stackage LTS 24.38 -> Nightly 2026-09-13; ghc: 9.10.3 -> 9.12.5-rc3 draft
#521260 by sternenseemann · opened 5mo ago · checks pass
Closed or merged in the synced window 1
haskellPackages.*: drop some inactive maintainers
#553837 by wolfgangwalther · merged 6w ago
Issues 0
None open.