1 2 3 4 5 6 7
# This file is automatically @generated by Cargo. # It is not intended for manual editing. version = 4 [[package]] name = "verus_builtin" version = "0.0.0-2026-03-01-0109"