architecture: all component: main package: libghc-cryptol-doc priority: optional section: doc srcpkg_name: haskell-cryptol srcpkg_version: 3.0.0-1 version: 3.0.0-1