Publishing details

• Built by recipe qepcad for Doug Torrance
• Published on 2021-06-29

Changelog

qepcad (1.74-0ppa2~ubuntu18.04.1) bionic; urgency=low

  * Auto build.

 -- Doug Torrance <email address hidden>  Tue, 29 Jun 2021 01:17:46 +0000

Builds

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

Built packages

• qepcad quantifier elimination tool

• qepcad-dbgsym debug symbols for qepcad

Package files

• qepcad-dbgsym_1.74-0ppa2~ubuntu18.04.1_amd64.ddeb (10.4 MiB)
• qepcad-dbgsym_1.74-0ppa2~ubuntu18.04.1_arm64.ddeb (10.4 MiB)
• qepcad-dbgsym_1.74-0ppa2~ubuntu18.04.1_armhf.ddeb (10.3 MiB)
• qepcad-dbgsym_1.74-0ppa2~ubuntu18.04.1_i386.ddeb (10.0 MiB)
• qepcad-dbgsym_1.74-0ppa2~ubuntu18.04.1_ppc64el.ddeb (10.8 MiB)
• qepcad-dbgsym_1.74-0ppa2~ubuntu18.04.1_s390x.ddeb (11.0 MiB)
• qepcad_1.74-0ppa2~ubuntu18.04.1.debian.tar.xz (25.0 KiB)
• qepcad_1.74-0ppa2~ubuntu18.04.1.dsc (1.2 KiB)
• qepcad_1.74-0ppa2~ubuntu18.04.1_amd64.deb (451.1 KiB)
• qepcad_1.74-0ppa2~ubuntu18.04.1_arm64.deb (404.8 KiB)
• qepcad_1.74-0ppa2~ubuntu18.04.1_armhf.deb (364.1 KiB)
• qepcad_1.74-0ppa2~ubuntu18.04.1_i386.deb (496.5 KiB)
• qepcad_1.74-0ppa2~ubuntu18.04.1_ppc64el.deb (517.8 KiB)
• qepcad_1.74-0ppa2~ubuntu18.04.1_s390x.deb (416.0 KiB)
• qepcad_1.74.orig.tar.gz (351.9 KiB)