Publishing details

• Published on 2017-10-24
• Copied from ubuntu zesty in Primary Archive for Ubuntu

Changelog

haskell-presburger (1.3.1-3build1) zesty; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 25 Jan 2017 14:24:34 +0100

Builds

Built packages

• libghc-presburger-dev decision procedure for quantifier-free linear arithmetic

• libghc-presburger-doc decision procedure for quantifier-free linear arithmetic; documentation

• libghc-presburger-prof decision procedure for quantifier-free linear arithmetic; profiling libraries

Package files

• haskell-presburger_1.3.1-3build1.debian.tar.xz (2.1 KiB)
• haskell-presburger_1.3.1-3build1.dsc (2.3 KiB)
• haskell-presburger_1.3.1.orig.tar.gz (10.5 KiB)
• libghc-presburger-dev_1.3.1-3build1_amd64.deb (154.5 KiB)
• libghc-presburger-dev_1.3.1-3build1_arm64.deb (215.0 KiB)
• libghc-presburger-dev_1.3.1-3build1_armhf.deb (236.4 KiB)
• libghc-presburger-dev_1.3.1-3build1_i386.deb (157.5 KiB)
• libghc-presburger-dev_1.3.1-3build1_powerpc.deb (153.4 KiB)
• libghc-presburger-dev_1.3.1-3build1_ppc64el.deb (203.4 KiB)
• libghc-presburger-dev_1.3.1-3build1_s390x.deb (225.6 KiB)
• libghc-presburger-doc_1.3.1-3build1_all.deb (34.6 KiB)
• libghc-presburger-prof_1.3.1-3build1_amd64.deb (127.5 KiB)
• libghc-presburger-prof_1.3.1-3build1_arm64.deb (171.1 KiB)
• libghc-presburger-prof_1.3.1-3build1_armhf.deb (185.5 KiB)
• libghc-presburger-prof_1.3.1-3build1_i386.deb (133.5 KiB)
• libghc-presburger-prof_1.3.1-3build1_powerpc.deb (128.8 KiB)
• libghc-presburger-prof_1.3.1-3build1_ppc64el.deb (182.0 KiB)
• libghc-presburger-prof_1.3.1-3build1_s390x.deb (161.7 KiB)