# This file is automatically @generated by Cargo. # It is not intended for manual editing. version = 3 [[package]] name = "vc-ltl" version = "5.0.8-Beta2"