Lib.rs

Issues found

Based on crates you own that have been published to crates.io. The best way to monitor these issues is to subscribe to the atom feed in your RSS reader.

• zwohash, varisat-internal-proof, varisat-dimacs, varisat-formula, varisat-internal-macros

  • Latest stable release is old

    It's been over 5 years. Is this crate still maintained? Make a new release, either to refresh it, or to set

    [badges.maintenance]
    status = "deprecated"
    

    (or "as-is", "passively-maintained").

    If the crate is truly stable, why not make a 1.0.0 release?

    Maintenance status field docs

• vec_mut_scan

  • Latest stable release is old

    It's been over 3 years. Is this crate still maintained? Make a new release, either to refresh it, or to set

    [badges.maintenance]
    status = "deprecated"
    

    (or "as-is", "passively-maintained").

    Maintenance status field docs

• cnfpack

  • Dependency structopt 0.3.26 has issues

    It has been losing active users, which may be a sign it's deprecated or obsolete. Consider replacing it with a different crate.

    structopt crate

  • Dependency zstd 0.10.0 is significantly outdated

    Consider upgrading to the latest version to get all the fixes and improvements.

    Easy way to bump dependencies: cargo install cargo-edit; cargo upgrade -i; Also check out Dependabot service on GitHub.

    zstd versions

• varisat-formula

  • Dependency proptest 0.10.1 is significantly outdated

    Upgrade to the latest version to get all the fixes, and avoid causing duplicate dependencies in projects.

    proptest versions

  • Dependency rand 0.7.3 is significantly outdated

    Upgrade to the latest version to get all the fixes, and avoid causing duplicate dependencies in projects.

    rand versions

  • Missing keywords

    Help users find your crates. Add keywords = ["sat-solver", "varisat", "formula", "data"] (up to 5) to the Cargo.toml. Best keywords are alternative terms or their spellings that aren't in the name or description. Also add a keyword that precisely categorizes this crate and groups it with other similar crates.

• varisat-dimacs

  • Dependency itoa 0.4.4 is significantly outdated

    Upgrade to the latest version to get all the fixes, and avoid causing duplicate dependencies in projects.

    itoa versions

  • Dependency thiserror 1.0.20 is outdated

    Upgrade to the latest version to get all the fixes, and avoid causing duplicate dependencies in projects.

    thiserror versions

  • Missing keywords

    Help users find your crates. Add keywords = ["sat-solver", "parser", "writer", "cnf", "varisat"] (up to 5) to the Cargo.toml. Best keywords are alternative terms or their spellings that aren't in the name or description. Also add a keyword that precisely categorizes this crate and groups it with other similar crates.

• flussab-cnf

  • Dependency thiserror 1.0.50 is outdated

    Upgrade to the latest version to get all the fixes, and avoid causing duplicate dependencies in projects.

    thiserror versions

• varisat-internal-proof

  • Missing keywords

    Help users find your crates. Add keywords = ["sat-solver", "proof", "varisat", "internal", "format"] (up to 5) to the Cargo.toml. Best keywords are alternative terms or their spellings that aren't in the name or description. Also add a keyword that precisely categorizes this crate and groups it with other similar crates.

• varisat-internal-proof, varisat-dimacs, varisat-formula

  • Missing categories

    Categories improve browsing of lib.rs and crates.io. Add categories = ["algorithms"] to the Cargo.toml.

    Even if there are no categories that fit precisely, pick one that is least bad. You can also propose new categories in crates.io issue tracker.

    List of available categories

• varisat-internal-proof, varisat-dimacs, varisat-formula, varisat-internal-macros, partial_ref_derive

  • License MIT/Apache-2.0 is not in SPDX syntax

    Use OR instead of /.

    SPDX license list

• cnfpack, rust-actions-cache-api, partial_ref_derive

  • Latest stable release is old

    It's been over 4 years. Is this crate still maintained? Make a new release, either to refresh it, or to set

    [badges.maintenance]
    status = "deprecated"
    

    (or "as-is", "passively-maintained").

    Maintenance status field docs

• flussab-btor2

  • Dependency thiserror 1.0.50 is outdated

    Upgrade to 2.0.18 to get all the fixes, and avoid causing duplicate dependencies in projects.

    thiserror versions

  • Failed to verify create's content against its repository

    Partially verified 13 files (includes 3 Cargo-generated).

    • warning: Crate tarball has been published from a different commit than the commit tagged by git tag 'v0.1.0'.
      • Create git tags after comitting any changes, and commit changes after bumping versions and running cargo update.

    Files in the crates.io crate compared to the repository:

    • Cargo.lock not found.

    Looked for the crate in flussab-btor2/. Fetched https://github.com/jix/flussab.git 8f39cfc5e0d57ea850420c8f6c0aae3e21ae25e2.

    Checked on 2024-11-20

    This check is experimental.

    Forum thread

• rust-actions-cache-api

  • Dependency reqwest 0.11.8 is outdated

    Upgrade to the latest version to get all the fixes, and avoid causing duplicate dependencies in projects.

    reqwest versions

  • Dependency thiserror 1.0.30 is outdated

    Upgrade to the latest version to get all the fixes, and avoid causing duplicate dependencies in projects.

    thiserror versions

• varisat-internal-macros

  • Dependency syn 1.0.40 is significantly outdated

    Upgrade to the latest version to get all the fixes, and avoid causing duplicate dependencies in projects.

    syn versions

  • Dependency synstructure 0.12.4 is significantly outdated

    Upgrade to the latest version to get all the fixes, and avoid causing duplicate dependencies in projects.

    synstructure versions

• partial_ref_derive

  • Dependency syn 1.0.40 is significantly outdated

    Upgrade to the latest version to get all the fixes, and avoid causing duplicate dependencies in projects.

    syn versions

  • The Cargo package has no git commit information

    Before publishing a package, make sure all packaged files are committed to the repository, and there are no "dirty" files. Push this commit to crate's public repository.

    To protect against supply chain attacks similar to CVE-2024-3094, lib.rs will soon start flagging non-reproducible packages without public source code as suspicious. Currently only git repositories are supported (but may be hosted anywhere, not just GitHub). If you'd like a different SCM supported, please file a feature request.

    More info

• imctk

  • README missing from the repository

    We've searched https://github\.com/yosyshq/imctk\.git and could not find a README file there.

  • No readme property

    Specify path to a README file for the project, so that information about is included in the crates.io tarball.

• imctk, starlit

  • Crate is 'reserved'

    Please be respectful of crates.io and don't squat crate names.

    It's OK if you intend to publish this project in the near future. Keep in mind that even if you have good intentions, things may not go as planned. crates.io won't reclaim abandoned crates, so reserving good names may end up wasting the good names.

• flussab-aiger

  • Internal error

    We couldn't check this crate at this time, because: Validation of Origin( lib.rs/crates/flussab-aiger ) failed. Please try again later.

• partial_ref

  • Internal error

    We couldn't check this crate at this time, because: Validation of Origin( lib.rs/crates/partial_ref ) failed. Please try again later.

• varisat-lrat

  • Internal error

    We couldn't check this crate at this time, because: Validation of Origin( lib.rs/crates/varisat-lrat ) failed. Please try again later.

• varisat

  • Internal error

    We couldn't check this crate at this time, because: Validation of Origin( lib.rs/crates/varisat ) failed. Please try again later.

• varisat-checker

  • Internal error

    We couldn't check this crate at this time, because: Validation of Origin( lib.rs/crates/varisat-checker ) failed. Please try again later.

• varisat-cli

  • Internal error

    We couldn't check this crate at this time, because: Validation of Origin( lib.rs/crates/varisat-cli ) failed. Please try again later.

No issues found in: flussab

If some of these crates are unmaintained and shouldn't be checked, yank them or add [badges.maintenance]
status = "deprecated" to their Cargo.toml.