Publishing details

• Published on 2024-03-26

Changelog

haskell-what4 (1.5.1-ok1) nile; urgency=medium

  * Build for openKylin.

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

Builds

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

Built packages

• haskell-what4-utils Solver-agnostic symbolic values support for issuing queries

• libghc-what4-dev Solver-agnostic symbolic values support for issuing queries

• libghc-what4-doc Solver-agnostic symbolic values support for issuing queries; documentation

• libghc-what4-prof Solver-agnostic symbolic values support for issuing queries; profiling libraries

Package files

• haskell-what4-utils_1.5.1-ok1_amd64.deb (4.0 MiB)
• haskell-what4-utils_1.5.1-ok1_arm64.deb (4.0 MiB)
• haskell-what4_1.5.1-ok1.debian.tar.xz (3.1 KiB)
• haskell-what4_1.5.1-ok1.dsc (5.7 KiB)
• haskell-what4_1.5.1.orig.tar.gz (411.4 KiB)
• libghc-what4-dev_1.5.1-ok1_amd64.deb (4.1 MiB)
• libghc-what4-dev_1.5.1-ok1_arm64.deb (4.4 MiB)
• libghc-what4-doc_1.5.1-ok1_all.deb (1.5 MiB)
• libghc-what4-prof_1.5.1-ok1_amd64.deb (3.6 MiB)
• libghc-what4-prof_1.5.1-ok1_arm64.deb (4.3 MiB)