Publishing details

• Created on 2017-11-22 by Ubuntu Archive Auto-Sync
• Published on 2017-11-22

Changelog

haskell-sbv (5.14-1build3) bionic; urgency=medium

  * No-change rebuild for new GHC ABIs

 -- Steve Langasek <email address hidden>  Sat, 04 Nov 2017 05:16:02 +0000

Builds

• amd64
• arm64
• armhf
• i386
• ppc64el
• s390x

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_5.14-1build3.debian.tar.xz (2.6 KiB)
• haskell-sbv_5.14-1build3.dsc (2.8 KiB)
• haskell-sbv_5.14.orig.tar.gz (514.9 KiB)
• libghc-sbv-dev_5.14-1build3_amd64.deb (2.7 MiB)
• libghc-sbv-dev_5.14-1build3_arm64.deb (4.2 MiB)
• libghc-sbv-dev_5.14-1build3_armhf.deb (3.4 MiB)
• libghc-sbv-dev_5.14-1build3_i386.deb (2.6 MiB)
• libghc-sbv-dev_5.14-1build3_ppc64el.deb (3.8 MiB)
• libghc-sbv-dev_5.14-1build3_s390x.deb (4.3 MiB)
• libghc-sbv-doc_5.14-1build3_all.deb (520.9 KiB)
• libghc-sbv-prof_5.14-1build3_amd64.deb (2.2 MiB)
• libghc-sbv-prof_5.14-1build3_arm64.deb (3.1 MiB)
• libghc-sbv-prof_5.14-1build3_armhf.deb (2.8 MiB)
• libghc-sbv-prof_5.14-1build3_i386.deb (2.2 MiB)
• libghc-sbv-prof_5.14-1build3_ppc64el.deb (3.2 MiB)
• libghc-sbv-prof_5.14-1build3_s390x.deb (2.9 MiB)