« List of all packages

fstar

Opam page: https://opam.ocaml.org/packages/fstar/

Versions

Version
fstar.2025.06.20 (latest)
fstar.2025.03.25
fstar.2025.02.17
fstar.2022.01.15
fstar.2021.06.06

Vulnerable external dependencies (10)

Product For package Vendor Severity CVE Published
coreutils fstar.2021.06.06 n/a Unknown CVE-2008-1946 7/28/2008
coreutils fstar.2025.06.20 n/a Unknown CVE-2008-1946 7/28/2008
coreutils fstar.2022.01.15 n/a Unknown CVE-2008-1946 7/28/2008
coreutils fstar.2025.02.17 n/a Unknown CVE-2008-1946 7/28/2008
coreutils fstar.2025.03.25 n/a Unknown CVE-2008-1946 7/28/2008
coreutils fstar.2022.01.15 n/a Unknown CVE-2005-1039 4/10/2005
coreutils fstar.2025.06.20 n/a Unknown CVE-2005-1039 4/10/2005
coreutils fstar.2025.02.17 n/a Unknown CVE-2005-1039 4/10/2005
coreutils fstar.2021.06.06 n/a Unknown CVE-2005-1039 4/10/2005
coreutils fstar.2025.03.25 n/a Unknown CVE-2005-1039 4/10/2005