Publishing details

Removed from disk on 2020-07-10.
Removal requested on 2017-09-01.
Deleted on 2017-09-01 by Ubuntu Archive Robot
moved to release
Published on 2017-07-27

Changelog

coq (8.6-4build3) artful; urgency=high

  * No change rebuild against new findlib.

 -- Dimitri John Ledkov <email address hidden>  Thu, 27 Jul 2017 09:44:54 +0100

Available diffs

diff from 8.6-4build2 (in ~ci-train-ppa-service/ubuntu/2865-deletedppa) to 8.6-4build3 (308 bytes)

Builds

Package files

coq-dbgsym_8.6-4build3_amd64.ddeb (1.7 MiB)
coq-dbgsym_8.6-4build3_armhf.ddeb (1.6 MiB)
coq-dbgsym_8.6-4build3_i386.ddeb (1.6 MiB)
coq-dbgsym_8.6-4build3_ppc64el.ddeb (1.4 MiB)
coq-dbgsym_8.6-4build3_s390x.ddeb (1.4 MiB)
coq-theories-dbgsym_8.6-4build3_amd64.ddeb (874.0 KiB)
coq-theories-dbgsym_8.6-4build3_i386.ddeb (837.8 KiB)
coq-theories_8.6-4build3_amd64.deb (31.8 MiB)
coq-theories_8.6-4build3_armhf.deb (21.8 MiB)
coq-theories_8.6-4build3_i386.deb (30.4 MiB)
coq-theories_8.6-4build3_ppc64el.deb (21.8 MiB)
coq-theories_8.6-4build3_s390x.deb (21.8 MiB)
coq_8.6-4build3.debian.tar.xz (21.6 KiB)
coq_8.6-4build3.dsc (2.1 KiB)
coq_8.6-4build3_amd64.deb (16.7 MiB)
coq_8.6-4build3_armhf.deb (16.6 MiB)
coq_8.6-4build3_i386.deb (16.0 MiB)
coq_8.6-4build3_ppc64el.deb (17.2 MiB)
coq_8.6-4build3_s390x.deb (16.9 MiB)
coq_8.6.orig.tar.gz (4.8 MiB)
coqide-dbgsym_8.6-4build3_amd64.ddeb (405.7 KiB)
coqide-dbgsym_8.6-4build3_armhf.ddeb (403.2 KiB)
coqide-dbgsym_8.6-4build3_i386.ddeb (385.4 KiB)
coqide-dbgsym_8.6-4build3_ppc64el.ddeb (382.7 KiB)
coqide-dbgsym_8.6-4build3_s390x.ddeb (351.3 KiB)
coqide_8.6-4build3_amd64.deb (1.4 MiB)
coqide_8.6-4build3_armhf.deb (1.6 MiB)
coqide_8.6-4build3_i386.deb (1.3 MiB)
coqide_8.6-4build3_ppc64el.deb (1.5 MiB)
coqide_8.6-4build3_s390x.deb (1.6 MiB)
libcoq-ocaml-dbgsym_8.6-4build3_amd64.ddeb (332.6 KiB)
libcoq-ocaml-dbgsym_8.6-4build3_armhf.ddeb (311.2 KiB)
libcoq-ocaml-dbgsym_8.6-4build3_i386.ddeb (322.5 KiB)
libcoq-ocaml-dbgsym_8.6-4build3_ppc64el.ddeb (288.6 KiB)
libcoq-ocaml-dbgsym_8.6-4build3_s390x.ddeb (273.2 KiB)
libcoq-ocaml-dev-dbgsym_8.6-4build3_amd64.ddeb (96.8 KiB)
libcoq-ocaml-dev-dbgsym_8.6-4build3_armhf.ddeb (94.1 KiB)
libcoq-ocaml-dev-dbgsym_8.6-4build3_i386.ddeb (94.2 KiB)
libcoq-ocaml-dev-dbgsym_8.6-4build3_ppc64el.ddeb (83.9 KiB)
libcoq-ocaml-dev-dbgsym_8.6-4build3_s390x.ddeb (83.6 KiB)
libcoq-ocaml-dev_8.6-4build3_amd64.deb (13.0 MiB)
libcoq-ocaml-dev_8.6-4build3_armhf.deb (13.9 MiB)
libcoq-ocaml-dev_8.6-4build3_i386.deb (13.0 MiB)
libcoq-ocaml-dev_8.6-4build3_ppc64el.deb (13.3 MiB)
libcoq-ocaml-dev_8.6-4build3_s390x.deb (13.1 MiB)
libcoq-ocaml_8.6-4build3_amd64.deb (3.4 MiB)
libcoq-ocaml_8.6-4build3_armhf.deb (3.4 MiB)
libcoq-ocaml_8.6-4build3_i386.deb (3.2 MiB)
libcoq-ocaml_8.6-4build3_ppc64el.deb (3.5 MiB)
libcoq-ocaml_8.6-4build3_s390x.deb (3.4 MiB)