Publishing details

• Published on 2023-04-25
• Copied from ubuntu lunar in Primary Archive for Ubuntu

Changelog

haskell-sbv (8.17-1build1) lunar; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Sun, 11 Dec 2022 09:41:44 +0100

Builds

Built packages

• libghc-sbv-dev symbolic Haskell theorem prover using SMT solving

• libghc-sbv-doc symbolic Haskell theorem prover using SMT solving; documentation

• libghc-sbv-prof symbolic Haskell theorem prover using SMT solving; profiling libraries

Package files

• haskell-sbv_8.17-1build1.debian.tar.xz (2.9 KiB)
• haskell-sbv_8.17-1build1.dsc (2.5 KiB)
• haskell-sbv_8.17.orig.tar.gz (929.1 KiB)
• libghc-sbv-dev_8.17-1build1_amd64.deb (6.9 MiB)
• libghc-sbv-dev_8.17-1build1_arm64.deb (11.0 MiB)
• libghc-sbv-dev_8.17-1build1_armhf.deb (10.2 MiB)
• libghc-sbv-dev_8.17-1build1_ppc64el.deb (11.6 MiB)
• libghc-sbv-dev_8.17-1build1_riscv64.deb (16.0 MiB)
• libghc-sbv-dev_8.17-1build1_s390x.deb (13.9 MiB)
• libghc-sbv-doc_8.17-1build1_all.deb (1.5 MiB)
• libghc-sbv-prof_8.17-1build1_amd64.deb (6.3 MiB)
• libghc-sbv-prof_8.17-1build1_arm64.deb (9.8 MiB)
• libghc-sbv-prof_8.17-1build1_armhf.deb (9.1 MiB)
• libghc-sbv-prof_8.17-1build1_ppc64el.deb (9.5 MiB)
• libghc-sbv-prof_8.17-1build1_riscv64.deb (15.5 MiB)
• libghc-sbv-prof_8.17-1build1_s390x.deb (11.2 MiB)