architecture: all component: main package: libghc-simple-smt-doc priority: optional section: doc srcpkg_name: haskell-simple-smt srcpkg_version: 0.9.7-3 version: 0.9.7-3