mirror of
https://github.com/ellmau/adf-obdd.git
synced 2025-12-19 09:29:36 +01:00
73986437f8
* Bump env_logger from 0.9.1 to 0.10.0 Bumps [env_logger](https://github.com/rust-cli/env_logger) from 0.9.1 to 0.10.0. - [Release notes](https://github.com/rust-cli/env_logger/releases) - [Changelog](https://github.com/rust-cli/env_logger/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-cli/env_logger/compare/v0.9.1...v0.10.0) --- updated-dependencies: - dependency-name: env_logger dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com> * Bump biodivine-lib-bdd from 0.4.1 to 0.4.2 Bumps [biodivine-lib-bdd](https://github.com/sybila/biodivine-lib-bdd) from 0.4.1 to 0.4.2. - [Release notes](https://github.com/sybila/biodivine-lib-bdd/releases) - [Commits](https://github.com/sybila/biodivine-lib-bdd/compare/v0.4.1...v0.4.2) --- updated-dependencies: - dependency-name: biodivine-lib-bdd dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com> * Bump clap from 4.0.32 to 4.1.4 Bumps [clap](https://github.com/clap-rs/clap) from 4.0.32 to 4.1.4. - [Release notes](https://github.com/clap-rs/clap/releases) - [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md) - [Commits](https://github.com/clap-rs/clap/compare/v4.0.32...v4.1.4) --- updated-dependencies: - dependency-name: clap dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com> * Bump nom from 7.1.1 to 7.1.3 Bumps [nom](https://github.com/Geal/nom) from 7.1.1 to 7.1.3. - [Release notes](https://github.com/Geal/nom/releases) - [Changelog](https://github.com/rust-bakery/nom/blob/7.1.3/CHANGELOG.md) - [Commits](https://github.com/Geal/nom/compare/7.1.1...7.1.3) --- updated-dependencies: - dependency-name: nom dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com> --------- Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>