[package]
name = "roq_derive"
description = "Derive macros to generate Coq code from Rust"
license = "MIT"
version = "0.1.0"
edition = "2021"

[lib]
proc-macro = true

[dependencies]
quote = "1.0.35"
syn = { version = "2.0.58", features = ["full"] }