chiark - git - ian - z3-treefoil/blob - Cargo.toml

   1 [package]
   2 name = "z3-treefoil"
   3 version = "0.1.0"
   4 edition = "2021"
   5
   6 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
   7
   8 [dependencies]