Format: 1.8
Date: Wed, 04 Nov 2015 10:40:32 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: armhf
Version: 8.4pl4dfsg-3build2
Distribution: xenial-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@kishi12.buildd>
Changed-By: Iain Lane <iain@orangesquash.org.uk>
Description:
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-theories - proof assistant for higher-order logic (theories)
 coqide     - proof assistant for higher-order logic (gtk interface)
 libcoq-ocaml - runtime libraries for Coq
 libcoq-ocaml-dev - development libraries and tools for Coq
Changes:
 coq (8.4pl4dfsg-3build2) xenial; urgency=medium
 .
   * No-change rebuild against new ocaml ABIs
Checksums-Sha1:
 b54acc04d0c5a5bf3ffff03c1e700509c51a7826 887246 coq-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
 cb95ad2cacdbd86d12a75ae4cbd378ee32ee3ff9 3808808 coq_8.4pl4dfsg-3build2_armhf.deb
 a7c68f579c59775f74c18aab1136916300d0b10a 273666 coqide-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
 5a1a72b9540f9513731b6774839cd65dedf1b7f0 780854 coqide_8.4pl4dfsg-3build2_armhf.deb
 b4f37dd283bdada55902ac59555cca512be793f4 109526 libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
 ef36a3065cb4c30ef478df905005f3197091f609 4161480 libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb
 55fc942c520ffc2246fa48093aa7034b0043b81c 1468522 libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb
Checksums-Sha256:
 5b073cad648ac2b26b015b29fd0e0b57eb16cddc2ab7f921962d92fff84e3387 887246 coq-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
 2056e7b79c772b71bc44147152e67ed7f3600bdc4cf30f7f26098de9dcbadcb4 3808808 coq_8.4pl4dfsg-3build2_armhf.deb
 451736fe4ae0ba453704a33166b96b087b42bb014dd130d0b88af8808e278df3 273666 coqide-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
 ed49bd6e5793f00b97186aa7a9f62f3a786e3ab2386373daa27cedf1b7e3bda3 780854 coqide_8.4pl4dfsg-3build2_armhf.deb
 fa24170c3e5ca11e868ebc6fee17b42da800ab1def67ee02077229c95b75faf7 109526 libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
 f415a459e7bfe2d50ab2002525552cab669b800947c80a0349156b55d71806b8 4161480 libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb
 c8e4b4e172c5be60b59d469788f37da882cce1bacde8c78d57f6fa9fdf4b4761 1468522 libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb
Files:
 258c0d29ac259304f84c3d244e6991bc 887246 math extra coq-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
 708fe9222824200c57d4588fb940101d 3808808 math optional coq_8.4pl4dfsg-3build2_armhf.deb
 bd6c5125e4d1a677d2d7d3d9e7650103 273666 math extra coqide-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
 1563d8ae3f40edb4eb14502110ed7dd9 780854 math optional coqide_8.4pl4dfsg-3build2_armhf.deb
 092ed1a18fd5ae70ce4b94420437197c 109526 ocaml extra libcoq-ocaml-dev-dbgsym_8.4pl4dfsg-3build2_armhf.ddeb
 e3e719ab1ed6f68b66fd27abc0c4706e 4161480 ocaml optional libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb
 92cc39560f20073f1676cb365d282d77 1468522 ocaml optional libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb