Publishing details

• Created on 2018-07-18 by Ubuntu Archive Auto-Sync
• Removed from disk on 2020-07-13.
• Removal requested on 2020-07-13.
• Published on 2018-07-18

Changelog

cvc4 (1.5-1buil1build1) cosmic; urgency=medium

  * No-change rebuild for boost soname change.

 -- Matthias Klose <email address hidden>  Tue, 17 Jul 2018 12:54:48 +0000

Builds

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

Package files

• cvc4-dbgsym_1.5-1buil1build1_amd64.ddeb (3.5 MiB)
• cvc4-dbgsym_1.5-1buil1build1_i386.ddeb (3.5 MiB)
• cvc4_1.5-1buil1build1.debian.tar.xz (6.0 KiB)
• cvc4_1.5-1buil1build1.dsc (2.2 KiB)
• cvc4_1.5-1buil1build1_amd64.deb (131.0 KiB)
• cvc4_1.5-1buil1build1_i386.deb (134.3 KiB)
• cvc4_1.5.orig.tar.gz (7.6 MiB)
• libcvc4-4-dbgsym_1.5-1buil1build1_amd64.ddeb (118.2 MiB)
• libcvc4-4-dbgsym_1.5-1buil1build1_i386.ddeb (114.7 MiB)
• libcvc4-4_1.5-1buil1build1_amd64.deb (3.3 MiB)
• libcvc4-4_1.5-1buil1build1_i386.deb (3.6 MiB)
• libcvc4-dev_1.5-1buil1build1_amd64.deb (5.9 MiB)
• libcvc4-dev_1.5-1buil1build1_i386.deb (6.3 MiB)
• libcvc4parser4-dbgsym_1.5-1buil1build1_amd64.ddeb (5.7 MiB)
• libcvc4parser4-dbgsym_1.5-1buil1build1_i386.ddeb (5.4 MiB)
• libcvc4parser4_1.5-1buil1build1_amd64.deb (353.7 KiB)
• libcvc4parser4_1.5-1buil1build1_i386.deb (383.1 KiB)