Update dependencies (rustc nightly-2024-01-15, viper v-2023-12-16-1716)

[viper-admin]

• Update Viper version to v-2023-12-16-1716.
• Update rustc version to nightly-2024-01-15.
• Run cargo audit and fix the issues.
• Manualy update outdated dependencies (see the list below).
• 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-2024-01-15-x86_64-unknown-linux-gnu'
info: latest update on 2024-01-15, rust version 1.77.0-nightly (30dfb9e04 2024-01-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/sshd/bar`
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 `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/remove-target.in`
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 `dep-a` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/package/out/dep-a`
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 `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-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/remove-basic.in`
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_section_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/invalid_target_dep/out`
warning: skipping duplicate package `my-package` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/gc_replace/out/my-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/multiple_dev/out`
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 `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 `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-target-test-fixture` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_target/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/in/my-package`
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 `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/remove_basic/out`
warning: skipping duplicate package `dep-a` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_package/out/dep-a`
warning: skipping duplicate package `dep-b` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/invalid_package/out/dep-b`
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/update_lock_file/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/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/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/dry_run/out`
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 `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/out/my-other-package`
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_non_virtual/in`
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-member` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_remove/workspace_non_virtual/out/my-member`
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 `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/overwrite_git_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_git_with_path/in/primary`
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/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/path_inferred_name_conflicts_full_feature/in/primary`
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 `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_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/registry/in`
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/workspace_name/in/primary`
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-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/workspace_path/in/primary`
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-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/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/path/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 `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 `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_version_with_git/in`
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 `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_inherit_noop/in/primary`
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/preserve_sorted/in`
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/path_inferred_name/in/primary`
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 `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_overwrite_inherit_dependency/in/dependency`
warning: skipping duplicate package `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/invalid_key_overwrite_inherit_dependency/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 `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/invalid_key_inherit_dependency/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/overwrite_workspace_dep/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 `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-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/path_normalized_name/in/primary`
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_rename_with_rename_noop/in`
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/invalid_key_rename_inherit_dependency/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_version_with_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 `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 `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/overwrite_optional/in`
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 `bar` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/detect_workspace_inherit/in/primary`
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-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_path_with_version/in/primary`
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 `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-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/workspace_path_dev/in/primary`
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 `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/locked_unchanged/in`
warning: skipping duplicate package `optional-dependency` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path_no_default/in/optional`
warning: skipping duplicate package `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/list_features_path_no_default/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_no_default/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 `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 `your-face` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/cargo_add/overwrite_name_dev_noop/in/dependency`
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/detect_workspace_inherit_optional/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/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/overwrite_optional_with_no_optional/in`
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 `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 `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 `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 `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 `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 `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/unknown_inherited_feature/in/primary`
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/add-basic.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 `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/formats_source/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/pijul_autodetect/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/lib_already_exists_src/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_implicit/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/inferred_bin_with_git/out`
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/simple_git/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/ignores_failure_to_format_source/out`
warning: skipping duplicate package `foo` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/git_autodetect/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/bin_already_exists_explicit/out`
warning: skipping duplicate package `case` found at `/home/runner/.cargo/git/checkouts/cargo-e7ff1db891893a9e/ec8a8a0/tests/testsuite/init/bin_already_exists_implicit_namenosrc/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 `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 `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/explicit_bin_with_git/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/bin_already_exists_explicit_nosrc/out`
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_git_ignore_exists/out`
analysis
================
Name        Project  Compat  Latest   Kind    Platform
----        -------  ------  ------   ----    --------
env_logger  0.10.0   ---     0.10.1   Normal  ---
serde       1.0.188  ---     1.0.195  Normal  ---
serde_json  1.0.107  ---     1.0.111  Normal  ---
syn         1.0.109  ---     2.0.48   Normal  ---

prusti-utils
================
Name       Project  Compat  Latest   Kind    Platform
----       -------  ------  ------   ----    --------
config     0.13.3   ---     0.13.4   Normal  ---
ctrlc      3.4.1    ---     3.4.2    Normal  cfg(unix)
itertools  0.11.0   ---     0.12.0   Normal  ---
serde      1.0.188  ---     1.0.195  Normal  ---
toml       0.7.8    ---     0.8.8    Normal  ---
uuid       1.4.1    ---     1.6.1    Normal  ---

tracing
================
Name     Project  Compat  Latest  Kind    Platform
----     -------  ------  ------  ----    --------
tracing  0.1.37   ---     0.1.40  Normal  ---

proc-macro-tracing
================
Name         Project  Compat  Latest  Kind    Platform
----         -------  ------  ------  ----    --------
proc-macro2  1.0.67   ---     1.0.76  Normal  ---
quote        1.0.33   ---     1.0.35  Normal  ---
syn          1.0.109  ---     2.0.48  Normal  ---

prusti
================
Name                Project  Compat  Latest  Kind    Platform
----                -------  ------  ------  ----    --------
env_logger          0.10.0   ---     0.10.1  Normal  ---
tracing-subscriber  0.3.17   ---     0.3.18  Normal  ---

prusti-common
================
Name       Project  Compat  Latest   Kind    Platform
----       -------  ------  ------   ----    --------
config     0.13.3   ---     0.13.4   Normal  ---
itertools  0.11.0   ---     0.12.0   Normal  ---
serde      1.0.188  ---     1.0.195  Normal  ---
uuid       1.4.1    ---     1.6.1    Normal  ---

viper
================
Name        Project  Compat  Latest   Kind         Platform
----        -------  ------  ------   ----         --------
env_logger  0.10.0   ---     0.10.1   Development  ---
futures     0.3.28   ---     0.3.30   Normal       ---
jni         0.20.0   ---     0.21.1   Normal       ---
serde       1.0.188  ---     1.0.195  Normal       ---
tokio       1.32.0   ---     1.35.1   Normal       ---
uuid        1.4.1    ---     1.6.1    Normal       ---

smt-log-analyzer
================
Name  Project  Compat  Latest  Kind    Platform
----  -------  ------  ------  ----    --------
csv   1.2.2    ---     1.3.0   Normal  ---

viper-sys
================
Name        Project  Compat  Latest  Kind    Platform
----        -------  ------  ------  ----    --------
env_logger  0.10.0   ---     0.10.1  Normal  ---
jni         0.20.0   ---     0.21.1  Normal  ---
once_cell   1.18.0   ---     1.19.0  Normal  ---
tempfile    3.8.0    ---     3.9.0   Build   ---
ureq        2.7.1    ---     2.9.1   Build   ---

jni-gen
================
Name      Project  Compat  Latest  Kind    Platform
----      -------  ------  ------  ----    --------
jni       0.20.0   ---     0.21.1  Normal  ---
tempfile  3.8.0    ---     3.9.0   Normal  ---

vir
================
Name         Project  Compat  Latest   Kind    Platform
----         -------  ------  ------   ----    --------
itertools    0.11.0   ---     0.12.0   Normal  ---
proc-macro2  1.0.67   ---     1.0.76   Normal  ---
quote        1.0.33   ---     1.0.35   Normal  ---
regex        1.9.5    ---     1.10.2   Normal  ---
serde        1.0.188  ---     1.0.195  Normal  ---
syn          1.0.109  ---     2.0.48   Normal  ---
thiserror    1.0.48   ---     1.0.56   Normal  ---
uuid         1.4.1    ---     1.6.1    Normal  ---

vir-gen
================
Name         Project  Compat  Latest  Kind    Platform
----         -------  ------  ------  ----    --------
proc-macro2  1.0.67   ---     1.0.76  Normal  ---
quote        1.0.33   ---     1.0.35  Normal  ---
syn          1.0.109  ---     2.0.48  Normal  ---
tempfile     3.8.0    ---     3.9.0   Normal  ---

prusti-interface
================
Name    Project  Compat  Latest   Kind    Platform
----    -------  ------  ------   ----    --------
config  0.13.3   ---     0.13.4   Normal  ---
csv     1.2.2    ---     1.3.0    Normal  ---
regex   1.9.5    ---     1.10.2   Normal  ---
serde   1.0.188  ---     1.0.195  Normal  ---

prusti-specs
================
Name         Project  Compat  Latest  Kind    Platform
----         -------  ------  ------  ----    --------
itertools    0.11.0   ---     0.12.0  Normal  ---
proc-macro2  1.0.67   ---     1.0.76  Normal  ---
quote        1.0.33   ---     1.0.35  Normal  ---
syn          1.0.109  ---     2.0.48  Normal  ---
uuid         1.4.1    ---     1.6.1   Normal  ---

prusti-viper
================
Name        Project  Compat  Latest   Kind    Platform
----        -------  ------  ------   ----    --------
itertools   0.11.0   ---     0.12.0   Normal  ---
num-traits  0.2.16   ---     0.2.17   Normal  ---
once_cell   1.18.0   ---     1.19.0   Normal  ---
regex       1.9.5    ---     1.10.2   Normal  ---
serde       1.0.188  ---     1.0.195  Normal  ---
serde_json  1.0.107  ---     1.0.111  Normal  ---

prusti-server
================
Name        Project  Compat  Latest   Kind    Platform
----        -------  ------  ------   ----    --------
clap        4.4.4    ---     4.4.16   Normal  ---
env_logger  0.10.0   ---     0.10.1   Normal  ---
once_cell   1.18.0   ---     1.19.0   Normal  ---
reqwest     0.11.20  ---     0.11.23  Normal  ---
serde       1.0.188  ---     1.0.195  Normal  ---
tokio       1.32.0   ---     1.35.1   Normal  ---
url         2.4.1    ---     2.5.0    Normal  ---
warp        0.3.5    ---     0.3.6    Normal  ---

prusti-tests
================
Name        Project  Compat  Latest  Kind         Platform
----        -------  ------  ------  ----         --------
env_logger  0.10.0   ---     0.10.1  Development  ---
ureq        2.7.1    ---     2.9.1   Development  ---

prusti-smt-solver
================
Name     Project  Compat  Latest  Kind    Platform
----     -------  ------  ------  ----    --------
futures  0.3.28   ---     0.3.30  Normal  ---

test-crates
================
Name             Project  Compat  Latest   Kind    Platform
----             -------  ------  ------   ----    --------
clap             4.4.4    ---     4.4.16   Normal  ---
color-backtrace  0.6.0    ---     0.6.1    Normal  ---
csv              1.2.2    ---     1.3.0    Normal  ---
env_logger       0.10.0   ---     0.10.1   Normal  ---
serde            1.0.188  ---     1.0.195  Normal  ---
toml             0.7.8    ---     0.8.8    Normal  ---

systest
================
Name        Project  Compat  Latest  Kind    Platform
----        -------  ------  ------  ----    --------
env_logger  0.10.0   ---     0.10.1  Build   ---
jni         0.20.0   ---     0.21.1  Normal  ---
once_cell   1.18.0   ---     1.19.0  Normal  ---
tempfile    3.8.0    ---     3.9.0   Build   ---
ureq        2.7.1    ---     2.9.1   Build   ---

$ mv prusti-contracts/Cargo_disabled.toml prusti-contracts/Cargo.toml

@vakaras could you take care of this?