# SHA-256 pins for frozen files (Defs.lean, Theorems.lean)
# Generated by scripts/pin.sh. Do not edit manually.
# Format: <sha256> <relative-path>