« List of all packages

fstar

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

Versions

Version
fstar.2025.10.06 (latest)
fstar.2025.09.04
fstar.2025.08.07
fstar.2025.06.20
fstar.2025.03.25
fstar.2025.02.17
fstar.2022.01.15
fstar.2021.06.06

Vulnerable external dependencies (80)

Product For package Vendor Severity CVE Published
coreutils fstar.2025.02.17 n/a Medium CVE-2016-2781 2/7/2017
coreutils fstar.2025.03.25 n/a Medium CVE-2016-2781 2/7/2017
coreutils fstar.2022.01.15 n/a Medium CVE-2016-2781 2/7/2017
coreutils fstar.2021.06.06 n/a Medium CVE-2016-2781 2/7/2017
coreutils fstar.2025.03.25 n/a Unknown CVE-2015-4042 1/24/2020
coreutils fstar.2025.06.20 n/a Unknown CVE-2015-4042 1/24/2020
coreutils fstar.2025.10.06 n/a Unknown CVE-2015-4042 1/24/2020
coreutils fstar.2025.02.17 n/a Unknown CVE-2015-4042 1/24/2020
coreutils fstar.2021.06.06 n/a Unknown CVE-2015-4042 1/24/2020
coreutils fstar.2022.01.15 n/a Unknown CVE-2015-4042 1/24/2020
coreutils fstar.2025.09.04 n/a Unknown CVE-2015-4042 1/24/2020
coreutils fstar.2025.08.07 n/a Unknown CVE-2015-4042 1/24/2020
coreutils fstar.2025.08.07 n/a Unknown CVE-2015-4041 1/24/2020
coreutils fstar.2021.06.06 n/a Unknown CVE-2015-4041 1/24/2020
coreutils fstar.2025.06.20 n/a Unknown CVE-2015-4041 1/24/2020
coreutils fstar.2025.09.04 n/a Unknown CVE-2015-4041 1/24/2020
coreutils fstar.2025.02.17 n/a Unknown CVE-2015-4041 1/24/2020
coreutils fstar.2022.01.15 n/a Unknown CVE-2015-4041 1/24/2020
coreutils fstar.2025.03.25 n/a Unknown CVE-2015-4041 1/24/2020
coreutils fstar.2025.10.06 n/a Unknown CVE-2015-4041 1/24/2020