# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO # # When uploading crates to the registry Cargo will automatically # "normalize" Cargo.toml files for maximal compatibility # with all versions of Cargo and also rewrite `path` dependencies # to registry (e.g., crates.io) dependencies # # If you believe there's an error in this file please file an # issue against the rust-lang/cargo repository. If you're # editing this file be aware that the upstream Cargo.toml # will likely look very different (and much more reasonable) [package] edition = "2018" name = "polyhorn-style" version = "0.1.0" authors = ["Tim "] description = "Shared types for Polyhorn style." license = "MIT" repository = "https://github.com/polyhorn/polyhorn/tree/crates/polyhorn-style" [lib] [dependencies.derivative] version = "2.1.1"