# This file is automatically @generated by Cargo. # It is not intended for manual editing. [[package]] name = "mathlogic" version = "0.1.3"