[dependencies.mmb-types]version="0.3.0"[package]authors=["Ivo C.S. Wingelaar <ivo@codeforge.rs>"]description="The Trivial compiler framework for Metamath Zero binary proofs"edition="2018"keywords=["metamath-zero","trivial"]license="MIT OR Apache-2.0"name="trivial-compiler"version="0.3.0"