architecture: amd64 component: main package: cryptol priority: optional section: utils srcpkg_name: haskell-cryptol srcpkg_version: 3.0.0-1 version: 3.0.0-1+b2