Pkgs

tamarin-prover

Version: 1.12.0

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

Install package

min add tamarin-prover

Tool

Updated 4 hours ago

Advisories: 10

What is "tamarin-prover"?

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

How to use this package

Quick install

Installs the package into the current environment for this session. Use --build or --runtime to persist it as a build-time or runtime dependency.

min add tamarin-prover

Declare as a task dependency in minimal.toml

Listing the package under tasks.<name>.packages makes it available inside that task’s sandbox.

[tasks.dev]
packages = ["tamarin-prover"]

Build-time vs runtime

Choose build-time for tools needed during compilation, runtime for dynamic libraries loaded at runtime.

min add --build tamarin-prover
min add --runtime tamarin-prover

Dependencies (7)

Dependencies
Name	Version	Kind
base	—	build
cabal	3.12.1.0	build
ghc	9.10.3	build
gmp	6.3.0	build + runtime
graphviz	14.1.1	runtime
maude	3.5.1	runtime
patch CVE:2	2.8	build

Dependency changes

No direct advisories

This package inherits 25 transitive advisories from its dependencies.

Include transitive

Showing 25 transitive advisories via tamarin-prover's dependencies

Security advisories for this package
	Status	IDs	Package	Version	Severity	Published
Critical ( 1 )
	Under investigation	CVE-2026-5450	glibc	2.42 – 2.43	Critical: 9.8	3 months ago
Summary scanf %mc off-by-one heap buffer overflow Via gmp glibc Affected ranges 2.42 – 2.43 CVSS vector CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:H/I:H/A:H References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/5xxx/CVE-2026-5450.json , https://nvd.nist.gov/vuln/detail/CVE-2026-5450 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=CVE-2026-5450 ARTICLE: https://inbox.sourceware.org/libc-announce/b11f0003-6ec1-4bd6-b9de-9e38a4efeca3@redhat.com/T/#u
High ( 6 )
	Status	IDs	Package	Version	Severity	Published
	Under investigation	CVE-2026-5435	glibc	2.42 – 2.43	High: 7.3	3 months ago
Summary The deprecated functions ns_printrrf, ns_printrr and fp_nquery in the GNU C Library version 2.2 and newer fail to enforce the caller-supplied buffer length, and can result in an out-of-bounds write when printing TSIG records. Via gmp glibc Affected ranges 2.42 – 2.43 CVSS vector CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:L/I:L/A:L
	Under investigation	CVE-2026-5928	glibc	2.42 – 2.43	High: 7.5	3 months ago
Summary Potential buffer under-read in ungetwc Via gmp glibc Affected ranges 2.42 – 2.43 CVSS vector CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/5xxx/CVE-2026-5928.json , https://nvd.nist.gov/vuln/detail/CVE-2026-5928 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=33998
	Under investigation	CVE-2026-4046	glibc	2.42 – 2.43	High: 7.5	4 months ago
Summary iconv crash due to assertion failure with untrusted input Via gmp glibc Affected ranges 2.42 – 2.43 CVSS vector CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/4xxx/CVE-2026-4046.json , https://nvd.nist.gov/vuln/detail/CVE-2026-4046 , https://sourceware.org/git/?p=glibc.git;a=blob_plain;f=advisories/GLIBC-SA-2026-0007;hb=HEAD Report: https://sourceware.org/bugzilla/show_bug.cgi?id=33980 ARTICLE: https://inbox.sourceware.org/libc-announce/76814edf-cf7f-47ec-979d-2dce0a2c76bf@gotplt.org/T/#u
	Under investigation	CVE-2026-4437	glibc	2.42 – 2.43	High: 7.5	4 months ago
Summary gethostbyaddr and gethostbyaddr_r may incorrectly handle DNS response Via gmp glibc Affected ranges 2.42 – 2.43 CVSS vector CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/4xxx/CVE-2026-4437.json , https://nvd.nist.gov/vuln/detail/CVE-2026-4437 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=34014
	Fix unavailable	OSV-2026-343	pcre2	10.47	High	5 months ago
Summary Heap-buffer-overflow in pcre2_compile_32 Via graphviz pango glib pcre2 Affected ranges 10.47 References Report: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=488713937
	Affected: 2.43	CVE-2013-4412	glibc	2.42 – 2.43	High: 7.5	7 years ago
Summary slim has NULL pointer dereference when using crypt() method from glibc 2.17 Via gmp glibc Affected ranges 2.42 – 2.43 CVSS vector CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H
Medium ( 16 )
	Status	IDs	Package	Version	Severity	Published
	Resolved in R.2.8.2	CVE-2026-56412	expat	R.2.8.0 – R.2.8.1, fixed in R.2.8.2	Medium: 4.9	27 days ago
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0 – R.2.8.1, fixed in R.2.8.2 Fixed in R.2.8.2 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:L/I:L/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/56xxx/CVE-2026-56412.json , https://nvd.nist.gov/vuln/detail/CVE-2026-56412 Fix: https://github.com/libexpat/libexpat/pull/1278
	Resolved in R.2.8.2	CVE-2026-56411	expat	R.2.8.0 – R.2.8.1, fixed in R.2.8.2	Medium: 6.9	27 days ago
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0 – R.2.8.1, fixed in R.2.8.2 Fixed in R.2.8.2 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/56xxx/CVE-2026-56411.json , https://nvd.nist.gov/vuln/detail/CVE-2026-56411 Fix: https://github.com/libexpat/libexpat/pull/1263
	Resolved in R.2.8.2	CVE-2026-56410	expat	R.2.8.0 – R.2.8.1, fixed in R.2.8.2	Medium: 6.9	27 days ago
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0 – R.2.8.1, fixed in R.2.8.2 Fixed in R.2.8.2 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/56xxx/CVE-2026-56410.json , https://nvd.nist.gov/vuln/detail/CVE-2026-56410 Fix: https://github.com/libexpat/libexpat/pull/1252
	Resolved in R.2.8.2	CVE-2026-56409	expat	R.2.8.0 – R.2.8.1, fixed in R.2.8.2	Medium: 6.5	27 days ago
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0 – R.2.8.1, fixed in R.2.8.2 Fixed in R.2.8.2 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:R/S:U/C:H/I:H/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/56xxx/CVE-2026-56409.json , https://nvd.nist.gov/vuln/detail/CVE-2026-56409 Fix: https://github.com/libexpat/libexpat/pull/1259
	Resolved in R.2.8.2	CVE-2026-56408	expat	R.2.8.0 – R.2.8.1, fixed in R.2.8.2	Medium: 6.9	27 days ago
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0 – R.2.8.1, fixed in R.2.8.2 Fixed in R.2.8.2 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/56xxx/CVE-2026-56408.json , https://nvd.nist.gov/vuln/detail/CVE-2026-56408 Fix: https://github.com/libexpat/libexpat/commit/16e2efd867ea8567ffa012210b52ef5918e20817
	Resolved in R.2.8.2	CVE-2026-56407	expat	R.2.8.0 – R.2.8.1, fixed in R.2.8.2	Medium: 6.9	27 days ago
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0 – R.2.8.1, fixed in R.2.8.2 Fixed in R.2.8.2 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/56xxx/CVE-2026-56407.json , https://nvd.nist.gov/vuln/detail/CVE-2026-56407 Fix: https://github.com/libexpat/libexpat/pull/1262
	Resolved in R.2.8.2	CVE-2026-56406	expat	R.2.8.0 – R.2.8.1, fixed in R.2.8.2	Medium: 6.9	27 days ago
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0 – R.2.8.1, fixed in R.2.8.2 Fixed in R.2.8.2 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/56xxx/CVE-2026-56406.json , https://nvd.nist.gov/vuln/detail/CVE-2026-56406 Fix: https://github.com/libexpat/libexpat/pull/1255
	Resolved in R.2.8.2	CVE-2026-56405	expat	R.2.8.0 – R.2.8.1, fixed in R.2.8.2	Medium: 6.9	27 days ago
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0 – R.2.8.1, fixed in R.2.8.2 Fixed in R.2.8.2 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/56xxx/CVE-2026-56405.json , https://nvd.nist.gov/vuln/detail/CVE-2026-56405 Fix: https://github.com/libexpat/libexpat/pull/1251
	Resolved in R.2.8.2	CVE-2026-56404	expat	R.2.8.0 – R.2.8.1, fixed in R.2.8.2	Medium: 6.9	27 days ago
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0 – R.2.8.1, fixed in R.2.8.2 Fixed in R.2.8.2 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/56xxx/CVE-2026-56404.json , https://nvd.nist.gov/vuln/detail/CVE-2026-56404 Fix: https://github.com/libexpat/libexpat/pull/1249
	Resolved in R.2.8.2	CVE-2026-56403	expat	R.2.8.0 – R.2.8.1, fixed in R.2.8.2	Medium: 6.9	27 days ago
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0 – R.2.8.1, fixed in R.2.8.2 Fixed in R.2.8.2 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/56xxx/CVE-2026-56403.json , https://nvd.nist.gov/vuln/detail/CVE-2026-56403 Fix: https://github.com/libexpat/libexpat/pull/1232
	Resolved in R.2.8.2	CVE-2026-56132	expat	R.2.8.0 – R.2.8.1, fixed in R.2.8.2	Medium: 6.9	29 days ago
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0 – R.2.8.1, fixed in R.2.8.2 Fixed in R.2.8.2 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/56xxx/CVE-2026-56132.json , https://nvd.nist.gov/vuln/detail/CVE-2026-56132 Fix: https://github.com/libexpat/libexpat/pull/1272
	Resolved in R.2.8.2	CVE-2026-56131	expat	R.2.8.0 – R.2.8.1, fixed in R.2.8.2	Medium: 4.9	29 days ago
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0 – R.2.8.1, fixed in R.2.8.2 Fixed in R.2.8.2 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:L/I:L/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/56xxx/CVE-2026-56131.json , https://nvd.nist.gov/vuln/detail/CVE-2026-56131 Fix: https://github.com/libexpat/libexpat/pull/1267
	Under investigation	GHSA-c4v6-gxrq-6g2x CVE-2026-40930	libpng	1.6.50 – 1.6.58	Medium: 5.4	last month
Summary LIBPNG: Chunk smuggling in push-mode APNG parser via unconsumed chunk body Via graphviz libpng Affected ranges 1.6.50 – 1.6.58 CVSS vector CVSS:3.1/AV:N/AC:L/PR:N/UI:R/S:U/C:N/I:L/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/40xxx/CVE-2026-40930.json , https://github.com/pnggroup/libpng/security/advisories/GHSA-c4v6-gxrq-6g2x , https://nvd.nist.gov/vuln/detail/CVE-2026-40930 Fix: https://github.com/pnggroup/libpng/commit/faf06924688b62d7c1654b5ceddedbde66ffadb4 Web: http://www.openwall.com/lists/oss-security/2026/05/15/21
	Resolved in R.2.8.2	CVE-2026-50219	expat	R.2.8.0 – R.2.8.1, fixed in R.2.8.2	Medium: 4.9	last month
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0 – R.2.8.1, fixed in R.2.8.2 Fixed in R.2.8.2 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:L/I:L/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/50xxx/CVE-2026-50219.json , https://nvd.nist.gov/vuln/detail/CVE-2026-50219 Fix: https://github.com/libexpat/libexpat/pull/1246
	Under investigation	CVE-2026-6238	glibc	2.42 – 2.43	Medium: 6.5	3 months ago
Summary The deprecated functions ns_printrrf, ns_printrr and fp_nquery in the GNU C Library version 2.0.1 to version 2.43 fail to validate the RDATA content against the RDATA length in a DNS response when processing A6, CERT, LOC, TKEY or TSIG records, which may allow an attacker to craft a DNS response, causing a target application to crash or read uninitialized memory. These functions are for application debugging only and hence not in the path of code executed by the DNS resolver. Further, they have been deprecated since version 2.34 and should not be used by any new applications. Applications should consider porting away from these interfaces since they may be removed in future versions. Via gmp glibc Affected ranges 2.42 – 2.43 CVSS vector CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:L/I:N/A:L
	Under investigation	CVE-2026-4438	glibc	2.42 – 2.43	Medium: 5.4	4 months ago
Summary gethostbyaddr and gethostbyaddr_r return invalid DNS hostnames Via gmp glibc Affected ranges 2.42 – 2.43 CVSS vector CVSS:3.1/AV:A/AC:L/PR:N/UI:N/S:U/C:L/I:L/A:N References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/4xxx/CVE-2026-4438.json , https://nvd.nist.gov/vuln/detail/CVE-2026-4438 Report: https://sourceware.org/bugzilla/show_bug.cgi?id=34015
Low ( 1 )
	Status	IDs	Package	Version	Severity	Published
	Resolved in R.2.8.1	CVE-2026-45186	expat	R.2.8.0, fixed in R.2.8.1	Low: 2.9	2 months ago
Summary No summary published for this advisory. Via graphviz fontconfig expat Affected ranges R.2.8.0, fixed in R.2.8.1 Fixed in R.2.8.1 CVSS vector CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:N/I:N/A:L References Advisory: https://access.redhat.com/errata/RHSA-2026:22715 , https://access.redhat.com/errata/RHSA-2026:22721 , https://access.redhat.com/errata/RHSA-2026:23230 , https://access.redhat.com/errata/RHSA-2026:26319 , https://access.redhat.com/errata/RHSA-2026:27201 +4 more Fix: https://github.com/libexpat/libexpat/pull/1216 Report: https://bugzilla.redhat.com/show_bug.cgi?id=2468575 Web: http://www.openwall.com/lists/oss-security/2026/05/11/16 , https://security.access.redhat.com/data/csaf/v2/vex/2026/cve-2026-45186.json
Unknown ( 1 )
	Status	IDs	Package	Version	Severity	Published
	Under investigation	GHSA-q7rw-r7qq-2hx6	pcre2	10.45 – 10.47	Unknown	9 months ago
Summary pcre2_serialize_encode() information disclosure Via graphviz pango glib pcre2 Affected ranges 10.45 – 10.47 References Web: https://github.com/PCRE2Project/pcre2/security/advisories/GHSA-q7rw-r7qq-2hx6

81 components

Software Bill of Materials — every package this build depends on
Packages	Version	Repository	Licence
tamarin-prover ROOT	1.12.0	github.com/tamarin-prover/tamarin-prover	GPL-3.0-only
acl	2.4.0	https://storage.googleapis.com/minimal-staging-archives/acl-2.4.0.tar.xz MIRROR	(GPL-2.0-only AND LGPL-2.1-only)
alex	3.5.1.0	github.com/haskell/alex	BSD-3-Clause
attr	2.6.0	https://storage.googleapis.com/minimal-staging-archives/attr-2.6.0.tar.gz MIRROR	(GPL-2.0-only AND LGPL-2.1-only)
autoconf	2.73	www.gnu.org/software/autoconf	GPL-3.0-or-later WITH Autoconf-exception-3.0
automake	1.18.1	www.gnu.org/software/automake	GPL-2.0-only
bash	5.3	www.gnu.org/software/bash	GPL-3.0-only
bash-bootstrap	5.3	www.gnu.org/software/bash	GPL-3.0-only
binutils	2.46.1	www.gnu.org/software/binutils	(GPL-2.0-only AND GPL-3.0-only AND LGPL-2.0-only)
bison	3.8.2	www.gnu.org/software/bison	GPL-3.0-only
buddy	2.4	github.com/utwente-fmt/buddy	LicenseRef-BuDDy
bzip2	1.0.8	github.com/libarchive/bzip2	bzip2-1.0.6
cabal	3.12.1.0	github.com/haskell/cabal	BSD-3-Clause
cairo	1.18.4	https://storage.googleapis.com/minimal-staging-archives/cairo-1.18.4.tar.xz MIRROR	LGPL-2.1-only OR MPL-1.1
cmake	4.4.0	github.com/Kitware/CMake	BSD-3-Clause
coreutils	9.11	www.gnu.org/software/coreutils	GPL-3.0-only
curl	8.21.0	github.com/curl/curl	curl
diffutils	3.12	www.gnu.org/software/diffutils	GPL-3.0-only
expat	2.8.2	github.com/libexpat/libexpat	MIT
file	5.48	https://storage.googleapis.com/minimal-staging-archives/file-5.48.tar.gz MIRROR	BSD-2-Clause-Darwin
findutils	4.11.0	www.gnu.org/software/findutils	GPL-3.0-only
flex	2.6.4	github.com/westes/flex	BSD-3-Clause-flex
fontconfig	2.17.1	https://storage.googleapis.com/minimal-staging-archives/fontconfig-2.17.1.tar.xz MIRROR	HPND-sell-variant
freetype	2.14.3	https://storage.googleapis.com/minimal-staging-archives/freetype-2.14.3.tar.xz MIRROR	FTL OR GPL-2.0-or-later
fribidi	1.0.16	github.com/fribidi/fribidi	LGPL-2.1-or-later
gawk	5.4.1	www.gnu.org/software/gawk	GPL-3.0-only
gawk-bootstrap	5.4.1	www.gnu.org/software/gawk	GPL-3.0-only
gcc	15.2.0	www.gnu.org/software/gcc	(GPL-2.0-only AND GPL-3.0-only AND LGPL-2.1-only)
gdbm	1.26	www.gnu.org/software/gdbm	GPL-3.0-only
ghc	9.10.3	https://downloads.haskell.org/~ghc/9.10.3/ghc-9.10.3-src.tar.xz	BSD-3-Clause
ghc-bootstrap	9.8.1	https://downloads.haskell.org/~ghc/9.8.1/ghc-9.8.1-x86_64-deb11-linux.tar.xz	BSD-3-Clause
glib	2.88.2	https://storage.googleapis.com/minimal-staging-archives/glib-2.88.2.tar.xz MIRROR	LGPL-2.1-or-later
glibc	2.43	www.gnu.org/software/glibc	(GPL-2.0-only AND LGPL-2.1-only)
gmp	6.3.0	www.gnu.org/software/gmp	LGPL-3.0-or-later OR GPL-2.0-or-later
gperf	3.1	www.gnu.org/software/gperf	GPL-3.0-only
graphviz	14.1.1	https://storage.googleapis.com/minimal-staging-archives//graphviz-14.1.1.tar.bz2 MIRROR	EPL-1.0
grep	3.12	www.gnu.org/software/grep	GPL-3.0-only
gzip	1.14	www.gnu.org/software/gzip	GPL-3.0-only
happy	1.20.1.1	github.com/haskell/happy	BSD-2-Clause
harfbuzz	14.2.1	github.com/harfbuzz/harfbuzz	MIT-Modern-Variant
libcap	2.78	https://storage.googleapis.com/minimal-staging-archives/libcap-2.78.tar.xz MIRROR	BSD-3-Clause OR GPL-2.0-only
liberation-fonts	2.1.5	github.com/liberationfonts/liberation-fonts	OFL-1.1
libffi	3.7.1	github.com/libffi/libffi	MIT
libgd	2.3.3	github.com/libgd/libgd	GD
libidn2	2.3.8	www.gnu.org/software/libidn2	GPL-3.0-or-later AND (GPL-2.0-or-later OR LGPL-3.0-or-later)
libjpeg-turbo	3.1.4.1	github.com/libjpeg-turbo/libjpeg-turbo	IJG AND BSD-3-Clause AND Zlib
libpng	1.6.58	github.com/pnggroup/libpng	libpng-2.0
libpsl	0.22.0	github.com/rockdaboot/libpsl	MIT
libsigsegv	2.14	www.gnu.org/software/libsigsegv	GPL-2.0-or-later
libtecla	1.6.3	https://storage.googleapis.com/minimal-staging-archives/build-aux/gnu-config-config.guess MIRROR	MIT
libtool	2.5.4	www.gnu.org/software/libtool	GPL-2.0-only
libunistring	1.4.2	www.gnu.org/software/libunistring	GPL-3.0-only
libuv	1.52.1	github.com/libuv/libuv	MIT
libwebp	1.6.0	github.com/webmproject/libwebp	BSD-3-Clause
linux_headers	6.12.43	github.com/torvalds/linux	GPL-2.0-only WITH Linux-syscall-note
lz4	1.10.0	github.com/lz4/lz4	BSD-2-Clause AND GPL-2.0-or-later
m4	1.4.21	www.gnu.org/software/m4	GPL-3.0-only
make	4.4.1	www.gnu.org/software/make	GPL-3.0-only
maude	3.5.1	github.com/maude-lang/Maude	GPL-2.0-or-later
meson	1.10.2	github.com/mesonbuild/meson	Apache-2.0
mpc	1.4.1	www.gnu.org/software/mpc	LGPL-3.0-or-later
mpfr	4.2.2	www.gnu.org/software/mpfr	GPL-3.0-only
ncurses	6.6	www.gnu.org/software/ncurses	X11-distribute-modifications-variant
ninja	1.13.2	github.com/ninja-build/ninja	Apache-2.0
openssl	3.6.3	github.com/openssl/openssl	Apache-2.0
pango	1.56.4	https://storage.googleapis.com/minimal-staging-archives/pango-1.56.4.tar.xz MIRROR	LGPL-2.0-only
patch	2.8	www.gnu.org/software/patch	GPL-3.0-only
pcre2	10.47	github.com/PCRE2Project/pcre2	BSD-3-Clause WITH PCRE2-exception
perl	5.42.2	github.com/Perl/perl5	Artistic-1.0-Perl OR GPL-1.0-or-later
pixman	0.46.4	https://storage.googleapis.com/minimal-staging-archives/pixman-0.46.4.tar.gz MIRROR	MIT
pkgconf	3.0.3	github.com/pkgconf/pkgconf	pkgconf
python	3.14.6	github.com/python/cpython	Python-2.0.1
readline	8.3	www.gnu.org/software/readline	GPL-3.0-only
sed	4.10	www.gnu.org/software/sed	GPL-3.0-only
setuptools	83.0.0	github.com/pypa/setuptools	MIT
sqlite	3.53.3	github.com/sqlite/sqlite	blessing
tar	1.35	www.gnu.org/software/tar	GPL-3.0-only
util-linux	2.42.2	github.com/util-linux/util-linux	GPL-2.0-or-later AND LGPL-2.1-or-later AND BSD-3-Clause
xz	5.8.3	github.com/tukaani-project/xz	(0BSD AND GPL-2.0-only AND GPL-3.0-only AND LGPL-2.1-only)
zlib	1.3.2	github.com/madler/zlib	Zlib
zstd	1.5.7	github.com/facebook/zstd	BSD-3-Clause OR GPL-2.0-only

tamarin-prover

Install package

What is "tamarin-prover"?

How to use this package

Quick install

Declare as a task dependency in minimal.toml

Build-time vs runtime

Dependencies (7)

Dependency changes

Summary

Via

Affected ranges

CVSS vector

References

Summary

Via

Affected ranges

CVSS vector

Summary

Via

Affected ranges

CVSS vector

References

Summary

Via

Affected ranges

CVSS vector

References

Summary

Via

Affected ranges

CVSS vector

References

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

CVSS vector

Summary

Via

Affected ranges

Fixed in

CVSS vector

References

Summary

Via

Affected ranges

Fixed in

CVSS vector

References

Summary

Via

Affected ranges

Fixed in

CVSS vector

References

Summary

Via

Affected ranges

Fixed in

CVSS vector

References

Summary

Via

Affected ranges

Fixed in

CVSS vector

References

Summary

Via

Affected ranges

Fixed in

CVSS vector

References

Summary

Via

Affected ranges