Publishing details

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

Changelog

haskell-smtlib (1.0.9-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-smtlib-dev A library for working with the SMTLIB format.

• libghc-smtlib-doc A library for working with the SMTLIB format.; documentation

• libghc-smtlib-prof A library for working with the SMTLIB format.; profiling libraries

Package files

• haskell-smtlib_1.0.9-ok1.debian.tar.xz (1.9 KiB)
• haskell-smtlib_1.0.9-ok1.dsc (2.0 KiB)
• haskell-smtlib_1.0.9.orig.tar.gz (9.4 KiB)
• libghc-smtlib-dev_1.0.9-ok1_amd64.deb (514.8 KiB)
• libghc-smtlib-dev_1.0.9-ok1_arm64.deb (704.5 KiB)
• libghc-smtlib-doc_1.0.9-ok1_all.deb (65.7 KiB)
• libghc-smtlib-prof_1.0.9-ok1_amd64.deb (449.5 KiB)
• libghc-smtlib-prof_1.0.9-ok1_arm64.deb (536.4 KiB)