Publishing details

• Removed from disk on 2018-01-22.
• Removal requested on 2016-11-03.
• Published on 2014-08-15
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

coq (8.4pl4dfsg-1) unstable; urgency=medium


  * New upstream release (Closes: #755953)
  * Switch debian/copyright to Format 1.0
  * Bump Standards-Version to 3.9.5
  * Bump debhelper compat level to 9

 -- Stéphane Glondu <email address hidden>  Sun, 27 Jul 2014 15:25:03 +0200

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el

Package files

• coq-theories_8.4pl4dfsg-1_all.deb (30.5 MiB)
• coq_8.4pl4dfsg-1.debian.tar.xz (15.3 KiB)
• coq_8.4pl4dfsg-1.dsc (2.3 KiB)
• coq_8.4pl4dfsg-1_amd64.deb (3.9 MiB)
• coq_8.4pl4dfsg-1_arm64.deb (1.1 MiB)
• coq_8.4pl4dfsg-1_armhf.deb (3.7 MiB)
• coq_8.4pl4dfsg-1_i386.deb (3.6 MiB)
• coq_8.4pl4dfsg-1_powerpc.deb (3.4 MiB)
• coq_8.4pl4dfsg-1_ppc64el.deb (1.1 MiB)
• coq_8.4pl4dfsg.orig.tar.gz (3.4 MiB)
• coqide_8.4pl4dfsg-1_amd64.deb (726.4 KiB)
• coqide_8.4pl4dfsg-1_arm64.deb (198.2 KiB)
• coqide_8.4pl4dfsg-1_armhf.deb (753.4 KiB)
• coqide_8.4pl4dfsg-1_i386.deb (662.1 KiB)
• coqide_8.4pl4dfsg-1_powerpc.deb (627.4 KiB)
• coqide_8.4pl4dfsg-1_ppc64el.deb (198.2 KiB)
• libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb (3.6 MiB)
• libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb (1.2 MiB)
• libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb (3.8 MiB)
• libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb (3.5 MiB)
• libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb (3.4 MiB)
• libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb (1.2 MiB)
• libcoq-ocaml_8.4pl4dfsg-1_amd64.deb (1.5 MiB)
• libcoq-ocaml_8.4pl4dfsg-1_arm64.deb (322.1 KiB)
• libcoq-ocaml_8.4pl4dfsg-1_armhf.deb (1.5 MiB)
• libcoq-ocaml_8.4pl4dfsg-1_i386.deb (1.4 MiB)
• libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb (1.3 MiB)
• libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb (321.7 KiB)