Publishing details

• Published on 2023-10-24
• Copied from anything by xiewei
• Originally uploaded to openkylin yangtze in Primary Archive for openKylin

Changelog

haskell-simple-smt (0.9.1-ok1) yangtze; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800

Builds

• i386
• riscv64

Built packages

• libghc-simple-smt-dev A simple way to interact with an SMT solver process.

• libghc-simple-smt-doc A simple way to interact with an SMT solver process.; documentation

• libghc-simple-smt-prof A simple way to interact with an SMT solver process.; profiling libraries

Package files

• haskell-simple-smt_0.9.1-ok1.debian.tar.xz (2.0 KiB)
• haskell-simple-smt_0.9.1-ok1.dsc (2.1 KiB)
• haskell-simple-smt_0.9.1.orig.tar.gz (8.6 KiB)
• libghc-simple-smt-dev_0.9.1-ok1_amd64.deb (100.3 KiB)
• libghc-simple-smt-dev_0.9.1-ok1_arm64.deb (118.0 KiB)
• libghc-simple-smt-doc_0.9.1-ok1_all.deb (51.8 KiB)
• libghc-simple-smt-prof_0.9.1-ok1_amd64.deb (83.6 KiB)
• libghc-simple-smt-prof_0.9.1-ok1_arm64.deb (95.4 KiB)