#TODO require the rust-src rustc-dev llvm-tools-preview components
[source]
git = "https://github.com/formal-land/coq-of-rust"
[build]
template = "custom"
script = """
cookbook_cargo_packages coq_of_rust_cli coq_of_rust_lib
"""
