Publishing details

• Published on 2024-03-26

Changelog

haskell-smtlib (1.1-ok1) nile; urgency=medium

  * Build for openKylin.

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

Builds

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

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.1-ok1.debian.tar.xz (1.8 KiB)
• haskell-smtlib_1.1-ok1.dsc (2.0 KiB)
• haskell-smtlib_1.1.orig.tar.gz (9.4 KiB)
• libghc-smtlib-dev_1.1-ok1_amd64.deb (414.0 KiB)
• libghc-smtlib-dev_1.1-ok1_arm64.deb (437.3 KiB)
• libghc-smtlib-dev_1.1-ok1_loong64.deb (698.6 KiB)
• libghc-smtlib-dev_1.1-ok1_riscv64.deb (735.6 KiB)
• libghc-smtlib-doc_1.1-ok1_all.deb (81.7 KiB)
• libghc-smtlib-prof_1.1-ok1_amd64.deb (357.2 KiB)
• libghc-smtlib-prof_1.1-ok1_arm64.deb (428.3 KiB)
• libghc-smtlib-prof_1.1-ok1_loong64.deb (717.1 KiB)
• libghc-smtlib-prof_1.1-ok1_riscv64.deb (778.7 KiB)