Publishing details

• Published on 2024-03-26

Changelog

haskell-simple-smt (0.9.7-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Tue, 26 Mar 2024 17:32:35 +0800

Builds

• amd64
• arm64
• i386
• loong64
• riscv64
• rv64g

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.7-ok1.debian.tar.xz (2.0 KiB)
• haskell-simple-smt_0.9.7-ok1.dsc (2.1 KiB)
• haskell-simple-smt_0.9.7.orig.tar.gz (9.9 KiB)
• libghc-simple-smt-dev_0.9.7-ok1_amd64.deb (103.3 KiB)
• libghc-simple-smt-dev_0.9.7-ok1_arm64.deb (106.1 KiB)
• libghc-simple-smt-dev_0.9.7-ok1_loong64.deb (161.2 KiB)
• libghc-simple-smt-dev_0.9.7-ok1_riscv64.deb (153.1 KiB)
• libghc-simple-smt-doc_0.9.7-ok1_all.deb (59.8 KiB)
• libghc-simple-smt-prof_0.9.7-ok1_amd64.deb (86.3 KiB)
• libghc-simple-smt-prof_0.9.7-ok1_arm64.deb (97.0 KiB)
• libghc-simple-smt-prof_0.9.7-ok1_loong64.deb (157.8 KiB)
• libghc-simple-smt-prof_0.9.7-ok1_riscv64.deb (160.3 KiB)