# tamarin-prover 1.12.0

Main source code repository of the Tamarin prover for security protocol verification.

Snapshot of gominimal/pkgs commit `1eb1ae604887d8f5d56cb299f0b6ed05ba68fdcc` (pushed 2026-07-18T04:00:12.000Z).

## Install

```sh
min add tamarin-prover
```

## Direct advisories

None at this commit.

## Transitive advisories

25 advisories inherited through runtime dependencies:

- CVE-2013-4412 (HIGH) via gmp → glibc
- CVE-2026-4046 (HIGH) via gmp → glibc
- CVE-2026-4437 (HIGH) via gmp → glibc
- CVE-2026-4438 (MEDIUM) via gmp → glibc
- CVE-2026-5435 (HIGH) via gmp → glibc
- CVE-2026-5450 (CRITICAL) via gmp → glibc
- CVE-2026-5928 (HIGH) via gmp → glibc
- CVE-2026-6238 (MEDIUM) via gmp → glibc
- CVE-2026-40930 (MEDIUM) via graphviz → libpng
- CVE-2026-45186 (LOW) via graphviz → fontconfig → expat
- CVE-2026-50219 (MEDIUM) via graphviz → fontconfig → expat
- CVE-2026-56131 (MEDIUM) via graphviz → fontconfig → expat
- CVE-2026-56132 (MEDIUM) via graphviz → fontconfig → expat
- CVE-2026-56403 (MEDIUM) via graphviz → fontconfig → expat
- CVE-2026-56404 (MEDIUM) via graphviz → fontconfig → expat
- CVE-2026-56405 (MEDIUM) via graphviz → fontconfig → expat
- CVE-2026-56406 (MEDIUM) via graphviz → fontconfig → expat
- CVE-2026-56407 (MEDIUM) via graphviz → fontconfig → expat
- CVE-2026-56408 (MEDIUM) via graphviz → fontconfig → expat
- CVE-2026-56409 (MEDIUM) via graphviz → fontconfig → expat
- CVE-2026-56410 (MEDIUM) via graphviz → fontconfig → expat
- CVE-2026-56411 (MEDIUM) via graphviz → fontconfig → expat
- CVE-2026-56412 (MEDIUM) via graphviz → fontconfig → expat
- GHSA-q7rw-r7qq-2hx6 (UNKNOWN) via graphviz → pango → glib → pcre2
- OSV-2026-343 (HIGH) via graphviz → pango → glib → pcre2

## Dependencies

- Build (5): base, ghc, cabal, gmp, patch
- Runtime (3): gmp, graphviz, maude

## Links

- Homepage: https://tamarin-prover.com/
- Package page (HTML): https://minimal.dev/pkgs/tamarin-prover
- JSON API (floats latest): https://minimal.dev/api/pkgs/tamarin-prover.json
- SBOM (CycloneDX 1.5): https://minimal.dev/api/pkgs/tamarin-prover/sbom.json