master · x86_64-linux · cf9005753f89 · generated 2026-10-08T00:45:57Z

tamarin-prover 1.12.0 single

Security protocol verification in the symbolic model

Name
tamarin-prover-1.12.0
Package set
top-level
Homepage
https://tamarin-prover.github.io
License
GPL-3.0
Source
pkgs/by-name/ta/tamarin-prover/package.nix:33
Derivation
/nix/store/hvyck4zh8d9v9i1yq58kwaq2657lxpms-tamarin-prover-1.12.0.drv
Repology
not reported as outdated · look up (as of 2026-10-08T00:43:59Z)

Maintainers 1

HandleNameContactVia
thoughtpolice Austin Seipp GitHub · aseipp@pobox.com listed on package

Dependencies 10

PackageAsMaintainersUsed by (transitive)Status
graphviz-nox 15.1.1 nativeBuildInputs
7c6f434c, bjornfor
 18 maintained outdated
haskell.compiler.ghc96 9.6.7 nativeBuildInputs
cdepillabout, guibou, maralorn, sternenseemann, wolfgangwalther
 1 maintained
makeWrapper 26.05pre-git nativeBuildInputs
76,592 unmaintained setup hook
maude 3.5.1 nativeBuildInputs
peti
 1 single
removeReferencesTo nativeBuildInputs
51,801 unmaintained
which 2.25 nativeBuildInputs
mdaniels5757
 69,127 single
bashNonInteractive 5.3p15 other input
andir, balsoft, infinisil, pyrox0
 102,175 maintained outdated
coreutils 9.11 other input
andir, balsoft, dasJ, mdaniels5757, pyrox0
 102,165 maintained outdated
glibcLocales 2.44 other input
55,219 unmaintained
stdenv 26.05pre-git other input
90,063 team-only

Used by 0 directly, 0 transitively

No package depends on this one.