This project contains 1 insecure development dependency.

Crate cargo-creusot

Dependencies

(10 total, all up-to-date)

CrateRequiredLatestStatus
 clap^4.54.5.32up to date
 serde_json^1.01.0.140up to date
 toml^0.80.8.20up to date
 env_logger^0.110.11.7up to date
 serde^1.01.0.219up to date
 anyhow^1.01.0.97up to date
 cargo_metadata^0.190.19.2up to date
 include_dir^0.70.7.4up to date
 tempdir^0.30.3.7up to date
 glob^0.30.3.2up to date

Crate creusot-rustc

Dependencies

(3 total, all up-to-date)

CrateRequiredLatestStatus
 serde_json^1.01.0.140up to date
 env_logger^0.110.11.7up to date
 serde^1.01.0.219up to date

Crate creusot

Dependencies

(11 total, all up-to-date)

CrateRequiredLatestStatus
 itertools^0.140.14.0up to date
 log^0.40.4.26up to date
 serde^1.01.0.219up to date
 indexmap^2.72.8.0up to date
 toml^0.80.8.20up to date
 include_dir^0.70.7.4up to date
 tempdir^0.30.3.7up to date
 serde_json^1.01.0.140up to date
 lazy_static^1.51.5.0up to date
 pathdiff^0.20.2.3up to date
 once_map^0.40.4.21up to date

Crate creusot-contracts

No external dependencies! 🙌

Crate creusot-contracts-proc

Dependencies

(4 total, all up-to-date)

CrateRequiredLatestStatus
 quote^1.01.0.40up to date
 uuid^1.121.15.1up to date
 syn^2.02.0.100up to date
 proc-macro2^1.01.0.94up to date

Crate creusot-contracts-dummy

Dependencies

(3 total, all up-to-date)

CrateRequiredLatestStatus
 quote^1.01.0.40up to date
 proc-macro2^1.01.0.94up to date
 syn^22.0.100up to date

Crate creusot-metadata

Dependencies

(1 total, all up-to-date)

CrateRequiredLatestStatus
 indexmap^2.72.8.0up to date

Crate creusot-dev-config

Dependencies

(2 total, all up-to-date)

CrateRequiredLatestStatus
 anyhow^1.01.0.97up to date
 which^7.07.0.2up to date

Crate creusot-install

Dependencies

(8 total, all up-to-date)

CrateRequiredLatestStatus
 clap^4.54.5.32up to date
 anyhow^1.01.0.97up to date
 directories^6.06.0.0up to date
 indoc^2.0.52.0.6up to date
 reqwest^0.120.12.14up to date
 sha2^0.100.10.8up to date
 hex^0.40.4.3up to date
 zip^2.22.2.3up to date

Crate why3

Dependencies

(6 total, all up-to-date)

CrateRequiredLatestStatus
 itertools^0.140.14.0up to date
 pretty^0.120.12.3up to date
 indexmap^2.72.8.0up to date
 serde^1.01.0.219up to date
 num^0.40.4.3up to date
 serde_json^1.01.0.140up to date

Dev dependencies

(2 total, all up-to-date)

CrateRequiredLatestStatus
 proptest^1.61.6.0up to date
 tempfile^3.163.19.0up to date

Crate why3tests

Dev dependencies

(7 total, 1 possibly insecure)

CrateRequiredLatestStatus
 glob*0.3.2up to date
 assert_cmd^2.02.0.16up to date
 termcolor^1.41.4.1up to date
 git2^0.200.20.0up to date
 clap^4.54.5.32up to date
 roxmltree^0.20.00.20.0up to date
 regex ⚠️*1.11.1maybe insecure

Crate creusot-tests

Dev dependencies

(8 total, all up-to-date)

CrateRequiredLatestStatus
 clap^4.54.5.32up to date
 regex^1.111.11.1up to date
 glob*0.3.2up to date
 assert_cmd^2.02.0.16up to date
 similar^2.72.7.0up to date
 termcolor^1.41.4.1up to date
 escargot^0.50.5.13up to date
 libc^0.20.2.171up to date

Crate pearlite-syn

Dependencies

(3 total, all up-to-date)

CrateRequiredLatestStatus
 syn^2.02.0.100up to date
 proc-macro2^1.01.0.94up to date
 quote^1.01.0.40up to date

Dev dependencies

(2 total, all up-to-date)

CrateRequiredLatestStatus
 insta^1.421.42.2up to date
 ref-cast^1.01.0.24up to date

Crate creusot-args

Dependencies

(2 total, all up-to-date)

CrateRequiredLatestStatus
 clap^4.54.5.32up to date
 serde^1.01.0.219up to date

Crate creusot-setup

Dependencies

(5 total, all up-to-date)

CrateRequiredLatestStatus
 serde^1.01.0.219up to date
 toml^0.80.8.20up to date
 directories^6.06.0.0up to date
 which^7.07.0.2up to date
 anyhow^1.01.0.97up to date