[x] Manualy update outdated dependencies (see the list below).
[x] Manualy run cargo update.
List of direct outdated dependencies:
```
$ mv prusti-contracts/Cargo.toml prusti-contracts/Cargo_disabled.toml
$ cargo outdated --root-deps-only --workspace
info: syncing channel updates for 'nightly-2023-09-15-x86_64-unknown-linux-gnu'
info: latest update on 2023-09-15, rust version 1.74.0-nightly (ca2b74f1a 2023-09-14)
info: downloading component 'cargo'
info: downloading component 'clippy'
info: downloading component 'llvm-tools'
info: downloading component 'rust-std'
info: downloading component 'rustc'
info: downloading component 'rustc-dev'
info: downloading component 'rustfmt'
info: installing component 'cargo'
info: installing component 'clippy'
info: installing component 'llvm-tools'
info: installing component 'rust-std'
info: installing component 'rustc'
info: installing component 'rustc-dev'
info: installing component 'rustfmt'
Updating git repository `https://github.com/rust-lang/cargo.git`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/crates/cargo-test-support/containers/apache/bar`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/inferred_lib_with_git/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_bin/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/lib_already_exists_nosrc/out`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/with_argument/out/foo`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/fossil_autodetect/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/mercurial_autodetect/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_git/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/lib_already_exists_src/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/creates_binary_when_both_binlib_present/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_lib/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_implicit/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/ignores_failure_to_format_source/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_hg/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_git_ignore_exists/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_explicit_nosrc/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/pijul_autodetect/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_implicit_nosrc/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_hg_ignore_exists/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/inferred_bin_with_git/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/explicit_bin_with_git/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/auto_git/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/creates_library_when_instructed_and_has_bin_file/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_explicit/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/git_ignore_exists_no_conflicting_entries/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/formats_source/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_implicit_namesrc/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/creates_binary_when_instructed_and_has_lib_file/out`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path_no_default/in/primary`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/registry/in`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_noop/in/primary`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_noop/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_path_with_version/in/primary`
warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_path_with_version/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_features/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_no_default_features/in`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit/in/primary`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_inferred_name_conflicts_full_feature/in/primary`
warning: skipping duplicate package `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_inferred_name_conflicts_full_feature/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/lockfile_updated/in`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_workspace_dep_features/in/primary`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_workspace_dep_features/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_no_optional_with_optional/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_normalized_name/in/primary`
warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_normalized_name/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_name/in/primary`
warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_name/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_optional/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_no_default_features_with_default_features/in`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit_optional/in/primary`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit_optional/in/dependency`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_workspace_dep/in/primary`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_workspace_dep/in/dependency`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit_features/in/primary`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit_features/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/deprecated_section/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_path/in/primary`
warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_path/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_rename_with_rename_noop/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/preserve_unsorted/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_default_features/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_optional_with_no_optional/in`
warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/dev_prefer_existing_version/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_inferred_name/in/primary`
warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_inferred_name/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/locked_unchanged/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_with_rename/in`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_rename_inherit_dependency/in/primary`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_rename_inherit_dependency/in/dependency`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_optional_noop/in/primary`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_optional_noop/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/manifest_path_package/in/primary`
warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/manifest_path_package/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/require_weak/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/sorted_table_with_dotted_item/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_default_features_with_no_default_features/in`
warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/build_prefer_existing_version/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_preserves_inline_table/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path/in/primary`
warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path/in/dependency`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/unknown_inherited_feature/in/primary`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/unknown_inherited_feature/in/dependency`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_inherit_dependency/in/primary`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_inherit_dependency/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path/in/primary`
warning: skipping duplicate package `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path/in/dependency`
warning: skipping duplicate package `optional-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path/in/optional`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_path_name/in/primary`
warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_path_name/in/dependency`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/merge_activated_features/in/primary`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/merge_activated_features/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_path_dev/in/primary`
warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_path_dev/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/deprecated_default_features/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/git_registry/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_version_with_git/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/add-basic.in`
warning: skipping duplicate package `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_path_noop/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_rename_with_rename/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_rename_with_no_rename/in`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_features_noop/in/primary`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_features_noop/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/change_rename_target/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/features_preserve/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_no_optional/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_dev/in/primary`
warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_dev/in/dependency`
warning: skipping duplicate package `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_name_noop/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_version_with_path/in/primary`
warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_version_with_path/in/dependency`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inline_features/in`
warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/preserve_sorted/in`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/dry_run/out`
warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/gc_replace/in/my-package`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/offline/out`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/update_lock_file/out`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/update_lock_file/in`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/multiple_deps/out`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/avoid_empty_tables/out`
warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace/out/my-package`
warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace/in/my-package`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/gc_profile/out`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/gc_profile/in`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_section_dep/out`
warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_non_virtual/out`
warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_non_virtual/in`
warning: skipping duplicate package `my-member` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_non_virtual/in/my-member`
warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/target/out`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/build/out`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_arg/out`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/optional_feature/out`
warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_target_dep/out`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/dev/out`
warning: skipping duplicate package `dep-b` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_package_multiple/out/dep-b`
warning: skipping duplicate package `dep-a` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_package_multiple/out/dep-a`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/remove_basic/out`
warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_target/out`
warning: skipping duplicate package `dep-b` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/remove-package.in/dep-b`
warning: skipping duplicate package `dep-a` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/remove-package.in/dep-a`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_section/out`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/multiple_dev/out`
warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_preserved/out/my-package`
warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_preserved/in/my-package`
warning: skipping duplicate package `my-other-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_preserved/in/my-other-package`
warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/target_dev/out`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/no_arg/out`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_dep/out`
warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/target_build/out`
warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/optional_dep_feature/out`
warning: skipping duplicate package `dep-b` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/package/out/dep-b`
warning: skipping duplicate package `dep-a` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/package/out/dep-a`
analysis
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
serde_json 1.0.105 --- 1.0.107 Normal ---
syn 1.0.109 --- 2.0.33 Normal ---
proc-macro-tracing
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
proc-macro2 1.0.66 --- 1.0.67 Normal ---
syn 1.0.109 --- 2.0.33 Normal ---
prusti
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
chrono 0.4.28 --- 0.4.30 Build ---
prusti-utils
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
toml 0.7.6 --- 0.8.0 Normal ---
walkdir 2.3.3 --- 2.4.0 Normal ---
viper
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
jni 0.20.0 --- 0.21.1 Normal ---
viper-sys
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
jni 0.20.0 --- 0.21.1 Normal ---
jni-gen
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
jni 0.20.0 --- 0.21.1 Normal ---
vir
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
proc-macro2 1.0.66 --- 1.0.67 Normal ---
syn 1.0.109 --- 2.0.33 Normal ---
walkdir 2.3.3 --- 2.4.0 Build ---
vir-gen
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
proc-macro2 1.0.66 --- 1.0.67 Normal ---
syn 1.0.109 --- 2.0.33 Normal ---
prusti-specs
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
proc-macro2 1.0.66 --- 1.0.67 Normal ---
syn 1.0.109 --- 2.0.33 Normal ---
prusti-viper
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
serde_json 1.0.105 --- 1.0.107 Normal ---
prusti-server
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
clap 4.4.2 --- 4.4.3 Normal ---
test-crates
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
clap 4.4.2 --- 4.4.3 Normal ---
toml 0.7.6 --- 0.8.0 Normal ---
systest
================
Name Project Compat Latest Kind Platform
---- ------- ------ ------ ---- --------
jni 0.20.0 --- 0.21.1 Normal ---
$ mv prusti-contracts/Cargo_disabled.toml prusti-contracts/Cargo.toml
```
v-2023-08-26-2125
.nightly-2023-09-15
.cargo audit
and fix the issues.cargo update
.List of direct outdated dependencies:
``` $ mv prusti-contracts/Cargo.toml prusti-contracts/Cargo_disabled.toml $ cargo outdated --root-deps-only --workspace info: syncing channel updates for 'nightly-2023-09-15-x86_64-unknown-linux-gnu' info: latest update on 2023-09-15, rust version 1.74.0-nightly (ca2b74f1a 2023-09-14) info: downloading component 'cargo' info: downloading component 'clippy' info: downloading component 'llvm-tools' info: downloading component 'rust-std' info: downloading component 'rustc' info: downloading component 'rustc-dev' info: downloading component 'rustfmt' info: installing component 'cargo' info: installing component 'clippy' info: installing component 'llvm-tools' info: installing component 'rust-std' info: installing component 'rustc' info: installing component 'rustc-dev' info: installing component 'rustfmt' Updating git repository `https://github.com/rust-lang/cargo.git` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/crates/cargo-test-support/containers/apache/bar` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/inferred_lib_with_git/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_bin/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/lib_already_exists_nosrc/out` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/with_argument/out/foo` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/fossil_autodetect/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/mercurial_autodetect/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_git/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/lib_already_exists_src/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/creates_binary_when_both_binlib_present/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_lib/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_implicit/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/ignores_failure_to_format_source/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_hg/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_git_ignore_exists/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_explicit_nosrc/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/pijul_autodetect/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_implicit_nosrc/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/simple_hg_ignore_exists/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/inferred_bin_with_git/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/explicit_bin_with_git/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/auto_git/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/creates_library_when_instructed_and_has_bin_file/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_explicit/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/git_ignore_exists_no_conflicting_entries/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/formats_source/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_implicit_namesrc/out` warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/creates_binary_when_instructed_and_has_lib_file/out` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path_no_default/in/primary` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/registry/in` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_noop/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_noop/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_path_with_version/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_path_with_version/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_features/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_no_default_features/in` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_inferred_name_conflicts_full_feature/in/primary` warning: skipping duplicate package `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_inferred_name_conflicts_full_feature/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/lockfile_updated/in` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_workspace_dep_features/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_workspace_dep_features/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_no_optional_with_optional/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_normalized_name/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_normalized_name/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_name/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_name/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_optional/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_no_default_features_with_default_features/in` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit_optional/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit_optional/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_workspace_dep/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_workspace_dep/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit_features/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit_features/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/deprecated_section/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_path/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_path/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_rename_with_rename_noop/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/preserve_unsorted/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_default_features/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_optional_with_no_optional/in` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/dev_prefer_existing_version/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_inferred_name/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_inferred_name/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/locked_unchanged/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_with_rename/in` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_rename_inherit_dependency/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_rename_inherit_dependency/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_optional_noop/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_optional_noop/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/manifest_path_package/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/manifest_path_package/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/require_weak/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/sorted_table_with_dotted_item/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_default_features_with_no_default_features/in` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/build_prefer_existing_version/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_preserves_inline_table/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/unknown_inherited_feature/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/unknown_inherited_feature/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_inherit_dependency/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_inherit_dependency/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path/in/primary` warning: skipping duplicate package `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path/in/dependency` warning: skipping duplicate package `optional-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path/in/optional` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_path_name/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_path_name/in/dependency` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/merge_activated_features/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/merge_activated_features/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_path_dev/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/workspace_path_dev/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/deprecated_default_features/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/git_registry/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_version_with_git/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/add-basic.in` warning: skipping duplicate package `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_path_noop/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_rename_with_rename/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_rename_with_no_rename/in` warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_features_noop/in/primary` warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_features_noop/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/change_rename_target/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/features_preserve/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_no_optional/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_dev/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/path_dev/in/dependency` warning: skipping duplicate package `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_name_noop/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_version_with_path/in/primary` warning: skipping duplicate package `cargo-list-test-fixture-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_version_with_path/in/dependency` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inline_features/in` warning: skipping duplicate package `cargo-list-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/preserve_sorted/in` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/dry_run/out` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/gc_replace/in/my-package` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/offline/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/update_lock_file/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/update_lock_file/in` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/multiple_deps/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/avoid_empty_tables/out` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace/out/my-package` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace/in/my-package` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/gc_profile/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/gc_profile/in` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_section_dep/out` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_non_virtual/out` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_non_virtual/in` warning: skipping duplicate package `my-member` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_non_virtual/in/my-member` warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/target/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/build/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_arg/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/optional_feature/out` warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_target_dep/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/dev/out` warning: skipping duplicate package `dep-b` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_package_multiple/out/dep-b` warning: skipping duplicate package `dep-a` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_package_multiple/out/dep-a` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/remove_basic/out` warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_target/out` warning: skipping duplicate package `dep-b` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/remove-package.in/dep-b` warning: skipping duplicate package `dep-a` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/remove-package.in/dep-a` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_section/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/multiple_dev/out` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_preserved/out/my-package` warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_preserved/in/my-package` warning: skipping duplicate package `my-other-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_preserved/in/my-other-package` warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/target_dev/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/no_arg/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_dep/out` warning: skipping duplicate package `cargo-remove-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/target_build/out` warning: skipping duplicate package `cargo-remove-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/optional_dep_feature/out` warning: skipping duplicate package `dep-b` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/package/out/dep-b` warning: skipping duplicate package `dep-a` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/package/out/dep-a` analysis ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- serde_json 1.0.105 --- 1.0.107 Normal --- syn 1.0.109 --- 2.0.33 Normal --- proc-macro-tracing ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- proc-macro2 1.0.66 --- 1.0.67 Normal --- syn 1.0.109 --- 2.0.33 Normal --- prusti ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- chrono 0.4.28 --- 0.4.30 Build --- prusti-utils ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- toml 0.7.6 --- 0.8.0 Normal --- walkdir 2.3.3 --- 2.4.0 Normal --- viper ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- jni 0.20.0 --- 0.21.1 Normal --- viper-sys ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- jni 0.20.0 --- 0.21.1 Normal --- jni-gen ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- jni 0.20.0 --- 0.21.1 Normal --- vir ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- proc-macro2 1.0.66 --- 1.0.67 Normal --- syn 1.0.109 --- 2.0.33 Normal --- walkdir 2.3.3 --- 2.4.0 Build --- vir-gen ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- proc-macro2 1.0.66 --- 1.0.67 Normal --- syn 1.0.109 --- 2.0.33 Normal --- prusti-specs ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- proc-macro2 1.0.66 --- 1.0.67 Normal --- syn 1.0.109 --- 2.0.33 Normal --- prusti-viper ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- serde_json 1.0.105 --- 1.0.107 Normal --- prusti-server ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- clap 4.4.2 --- 4.4.3 Normal --- test-crates ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- clap 4.4.2 --- 4.4.3 Normal --- toml 0.7.6 --- 0.8.0 Normal --- systest ================ Name Project Compat Latest Kind Platform ---- ------- ------ ------ ---- -------- jni 0.20.0 --- 0.21.1 Normal --- $ mv prusti-contracts/Cargo_disabled.toml prusti-contracts/Cargo.toml ```@vakaras could you take care of this?