Publishing details

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

Changelog

qepcad (1.74-0ppa2~ubuntu20.04.1) focal; urgency=low

  * Auto build.

 -- Doug Torrance <email address hidden>  Tue, 29 Jun 2021 00:48:56 +0000

Builds

• amd64
• arm64
• armhf
• ppc64el
• s390x

Built packages

• qepcad quantifier elimination tool

• qepcad-dbgsym debug symbols for qepcad

Package files

• qepcad-dbgsym_1.74-0ppa2~ubuntu20.04.1_amd64.ddeb (14.0 MiB)
• qepcad-dbgsym_1.74-0ppa2~ubuntu20.04.1_arm64.ddeb (13.5 MiB)
• qepcad-dbgsym_1.74-0ppa2~ubuntu20.04.1_armhf.ddeb (13.1 MiB)
• qepcad-dbgsym_1.74-0ppa2~ubuntu20.04.1_ppc64el.ddeb (13.8 MiB)
• qepcad-dbgsym_1.74-0ppa2~ubuntu20.04.1_s390x.ddeb (14.0 MiB)
• qepcad_1.74-0ppa2~ubuntu20.04.1.debian.tar.xz (25.1 KiB)
• qepcad_1.74-0ppa2~ubuntu20.04.1.dsc (1.2 KiB)
• qepcad_1.74-0ppa2~ubuntu20.04.1_amd64.deb (445.6 KiB)
• qepcad_1.74-0ppa2~ubuntu20.04.1_arm64.deb (406.6 KiB)
• qepcad_1.74-0ppa2~ubuntu20.04.1_armhf.deb (362.8 KiB)
• qepcad_1.74-0ppa2~ubuntu20.04.1_ppc64el.deb (484.4 KiB)
• qepcad_1.74-0ppa2~ubuntu20.04.1_s390x.deb (410.4 KiB)
• qepcad_1.74.orig.tar.gz (351.9 KiB)