Format: 1.8
Date: Sat, 28 Oct 2017 16:21:16 +0200
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Architecture: ppc64el
Version: 8.6-5build1
Distribution: eoan
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-012.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
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.6-5build1) bionic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 96ef142806404726016c8f545282576b00eab762 22801000 coq-theories_8.6-5build1_ppc64el.deb
 32458b683daa78a507b042f4a5a74724ad1cab57 13994 coq_8.6-5build1_ppc64el.buildinfo
 2c03d336d4990e67127bc6c58a46ff0c87023f08 18287068 coq_8.6-5build1_ppc64el.deb
 206309d1acf304a52f997a721923236692d31e08 1807596 coqide_8.6-5build1_ppc64el.deb
 445eefba25d067693ddf61a8b31b7e642443023b 14093860 libcoq-ocaml-dev_8.6-5build1_ppc64el.deb
 3ec7a48381a31f0da88b4b20539ff31fae6c278e 3660536 libcoq-ocaml_8.6-5build1_ppc64el.deb
Checksums-Sha256:
 a95d4350fdb9ee7600b6f4a28ff3ef8e45a9daf6129f435b3bb9426592f846af 22801000 coq-theories_8.6-5build1_ppc64el.deb
 1997e3b6cbd5238d4f4dd5c9f95628a1e31550ef690359ff3bfe7ab8e261ac31 13994 coq_8.6-5build1_ppc64el.buildinfo
 2a15dba911252dac3789327b55993f079c44b1be46e9c19ae9c969aae7f870db 18287068 coq_8.6-5build1_ppc64el.deb
 0b6c41b815384884ccceca6301ce9883201e08becc0d2fec9a461ff1418f9387 1807596 coqide_8.6-5build1_ppc64el.deb
 2c6bfdf3fc5a32af7e7f9f513ba742ce0b99592142df394c4bd132ad373d1433 14093860 libcoq-ocaml-dev_8.6-5build1_ppc64el.deb
 ca24deb659875c6df6a079c6101a6ed7668fb1c2a383ec7a19ef30b53e46d787 3660536 libcoq-ocaml_8.6-5build1_ppc64el.deb
Files:
 f83536bff085886542285ed7b0681ad0 22801000 math optional coq-theories_8.6-5build1_ppc64el.deb
 41eca95ee0f32450b34457ea65270d64 13994 math optional coq_8.6-5build1_ppc64el.buildinfo
 3b5489d65983d5886424543b06b1f14e 18287068 math optional coq_8.6-5build1_ppc64el.deb
 6bbafe40794aa1cf7a48359c3d23313e 1807596 math optional coqide_8.6-5build1_ppc64el.deb
 af3af07f447a36f15c1e5f49c7273098 14093860 ocaml optional libcoq-ocaml-dev_8.6-5build1_ppc64el.deb
 5754f9adfdd2771fe38d94df0bf78e68 3660536 ocaml optional libcoq-ocaml_8.6-5build1_ppc64el.deb