parent
2eb71786e7
commit
06b10bcdd2
@ -1,6 +0,0 @@
|
|||||||
[DEFAULT]
|
|
||||||
unwanted-features =
|
|
||||||
congruence-closure
|
|
||||||
dogged
|
|
||||||
persistent
|
|
||||||
petgraph
|
|
@ -0,0 +1,21 @@
|
|||||||
|
--- ena-0.14.1/Cargo.toml 1970-01-01T00:00:01+00:00
|
||||||
|
+++ ena-0.14.1/Cargo.toml 2023-02-27T19:08:31.521127+00:00
|
||||||
|
@@ -23,18 +23,5 @@
|
||||||
|
license = "MIT OR Apache-2.0"
|
||||||
|
repository = "https://github.com/rust-lang/ena"
|
||||||
|
|
||||||
|
-[dependencies.dogged]
|
||||||
|
-version = "0.2.0"
|
||||||
|
-optional = true
|
||||||
|
-
|
||||||
|
[dependencies.log]
|
||||||
|
version = "0.4"
|
||||||
|
-
|
||||||
|
-[dependencies.petgraph]
|
||||||
|
-version = "0.4.5"
|
||||||
|
-optional = true
|
||||||
|
-
|
||||||
|
-[features]
|
||||||
|
-bench = []
|
||||||
|
-congruence-closure = ["petgraph"]
|
||||||
|
-persistent = ["dogged"]
|
@ -1 +1 @@
|
|||||||
SHA512 (ena-0.14.0.crate) = bcf842f8f5da8a7e9b8e51df50bdf3f00234534f1d59d96bb1e45b0ee4fa74847eb8b9b5ca615a66d84d23c629d7386f28294a5c64d22efdf2903bc89faab2d4
|
SHA512 (ena-0.14.1.crate) = 2754a103c3d01a1168f3419f0568b072e1d8d900b37e1321894a5a4886082f3d7d65b9770069d5cf477a327c891f802f8a7c52dbd6b904b972092c0ff0eb2f6c
|
||||||
|
Loading…
Reference in new issue