mirror of
https://github.com/GaloisInc/cryptol.git
synced 2025-01-05 15:07:12 +03:00
spec.cry should be speck.cry.
This commit is contained in:
parent
bd578915ea
commit
46c93d1a33
Loading…
Reference in New Issue
Block a user