{
  "title": "SHA-256 Rotation Example",
  "origin_url": "https://github.com/GaloisInc/cryptol/blob/master/examples/SHA256.cry",
  "license_guess": "BSD-3-Clause",
  "code_sha256": "af1f73356dbe804a63e4c4e73d33c000a9b9e6f96d684affa243593bbae03e03",
  "added_at": "2026-02-07T21:15:12Z"
}