Publishing details

• Removed from disk on 2016-06-13.
• Removal requested on 2016-06-12.
• Superseded on 2016-06-11 by coq - 8.5-2build1
• Published on 2016-04-22
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Adam Conrad

Changelog

coq (8.5-2) unstable; urgency=medium

  * patch: disable test 4429 (timeout too strict for slow architectures) 

 -- Enrico Tassi <email address hidden>  Thu, 28 Jan 2016 11:47:07 +0100

Builds

Package files

• coq-dbgsym_8.5-2_amd64.ddeb (1.1 MiB)
• coq-dbgsym_8.5-2_arm64.ddeb (1.0 MiB)
• coq-dbgsym_8.5-2_armhf.ddeb (1.1 MiB)
• coq-dbgsym_8.5-2_i386.ddeb (1.0 MiB)
• coq-dbgsym_8.5-2_powerpc.ddeb (678.6 KiB)
• coq-theories_8.5-2_amd64.deb (31.3 MiB)
• coq-theories_8.5-2_arm64.deb (23.0 MiB)
• coq-theories_8.5-2_armhf.deb (23.0 MiB)
• coq-theories_8.5-2_i386.deb (30.4 MiB)
• coq-theories_8.5-2_powerpc.deb (23.1 MiB)
• coq-theories_8.5-2_ppc64el.deb (23.1 MiB)
• coq-theories_8.5-2_s390x.deb (23.0 MiB)
• coq_8.5-2.debian.tar.xz (16.3 KiB)
• coq_8.5-2.dsc (2.3 KiB)
• coq_8.5-2_amd64.deb (12.3 MiB)
• coq_8.5-2_arm64.deb (12.0 MiB)
• coq_8.5-2_armhf.deb (12.1 MiB)
• coq_8.5-2_i386.deb (12.0 MiB)
• coq_8.5-2_powerpc.deb (11.6 MiB)
• coq_8.5-2_ppc64el.deb (17.6 MiB)
• coq_8.5-2_s390x.deb (17.3 MiB)
• coq_8.5.orig.tar.gz (4.6 MiB)
• coqide-dbgsym_8.5-2_amd64.ddeb (323.2 KiB)
• coqide-dbgsym_8.5-2_arm64.ddeb (320.3 KiB)
• coqide-dbgsym_8.5-2_armhf.ddeb (330.9 KiB)
• coqide-dbgsym_8.5-2_i386.ddeb (303.9 KiB)
• coqide-dbgsym_8.5-2_powerpc.ddeb (264.1 KiB)
• coqide_8.5-2_amd64.deb (1.0 MiB)
• coqide_8.5-2_arm64.deb (1.0 MiB)
• coqide_8.5-2_armhf.deb (1.1 MiB)
• coqide_8.5-2_i386.deb (1004.0 KiB)
• coqide_8.5-2_powerpc.deb (947.5 KiB)
• coqide_8.5-2_ppc64el.deb (1.7 MiB)
• coqide_8.5-2_s390x.deb (1.7 MiB)
• libcoq-ocaml-dbgsym_8.5-2_amd64.ddeb (236.5 KiB)
• libcoq-ocaml-dbgsym_8.5-2_arm64.ddeb (226.2 KiB)
• libcoq-ocaml-dbgsym_8.5-2_armhf.ddeb (250.0 KiB)
• libcoq-ocaml-dbgsym_8.5-2_i386.ddeb (228.8 KiB)
• libcoq-ocaml-dbgsym_8.5-2_powerpc.ddeb (15.1 KiB)
• libcoq-ocaml-dbgsym_8.5-2_ppc64el.ddeb (17.3 KiB)
• libcoq-ocaml-dbgsym_8.5-2_s390x.ddeb (17.3 KiB)
• libcoq-ocaml-dev-dbgsym_8.5-2_amd64.ddeb (66.9 KiB)
• libcoq-ocaml-dev-dbgsym_8.5-2_arm64.ddeb (67.0 KiB)
• libcoq-ocaml-dev-dbgsym_8.5-2_armhf.ddeb (70.6 KiB)
• libcoq-ocaml-dev-dbgsym_8.5-2_i386.ddeb (64.4 KiB)
• libcoq-ocaml-dev-dbgsym_8.5-2_powerpc.ddeb (55.7 KiB)
• libcoq-ocaml-dev_8.5-2_amd64.deb (12.7 MiB)
• libcoq-ocaml-dev_8.5-2_arm64.deb (12.9 MiB)
• libcoq-ocaml-dev_8.5-2_armhf.deb (13.1 MiB)
• libcoq-ocaml-dev_8.5-2_i386.deb (12.7 MiB)
• libcoq-ocaml-dev_8.5-2_powerpc.deb (12.4 MiB)
• libcoq-ocaml-dev_8.5-2_ppc64el.deb (9.7 MiB)
• libcoq-ocaml-dev_8.5-2_s390x.deb (9.7 MiB)
• libcoq-ocaml_8.5-2_amd64.deb (3.2 MiB)
• libcoq-ocaml_8.5-2_arm64.deb (3.1 MiB)
• libcoq-ocaml_8.5-2_armhf.deb (3.2 MiB)
• libcoq-ocaml_8.5-2_i386.deb (3.1 MiB)
• libcoq-ocaml_8.5-2_powerpc.deb (3.1 MiB)
• libcoq-ocaml_8.5-2_ppc64el.deb (2.2 MiB)
• libcoq-ocaml_8.5-2_s390x.deb (2.2 MiB)