Format: 1.8
Date: Sat, 28 Oct 2017 16:21:16 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: s390x
Version: 8.6-5build1
Distribution: bionic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@z13-008.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:
 de63a628804b58b6dadc02dfdecfe5989fa3db92 1548928 coq-dbgsym_8.6-5build1_s390x.ddeb
 e04d5053c162c600ca2695dc0b419eb631874850 22800288 coq-theories_8.6-5build1_s390x.deb
 2d94b3a0137707f990c45cad333810bad1a37bb4 14432 coq_8.6-5build1_s390x.buildinfo
 6f4058ea33b57db9f12c23d8c25e7853a7eb3bdc 17929824 coq_8.6-5build1_s390x.deb
 04c85175f71b1ae22ee343b6c37393da970235f0 394312 coqide-dbgsym_8.6-5build1_s390x.ddeb
 7f7006af3bf772de6ee98b9059bcc2214bbc37ba 1830484 coqide_8.6-5build1_s390x.deb
 ddc6642e74d1caeab965a128c8fa9b59266db8ed 301964 libcoq-ocaml-dbgsym_8.6-5build1_s390x.ddeb
 296ab06f12782d05eaa91db81555968a8d251db1 96128 libcoq-ocaml-dev-dbgsym_8.6-5build1_s390x.ddeb
 0f01cd261b6c4998dc6c91d0b5c3c1959fd95318 13843460 libcoq-ocaml-dev_8.6-5build1_s390x.deb
 75d02ba1515c8d5d068b0573f086f736e371c4a5 3624348 libcoq-ocaml_8.6-5build1_s390x.deb
Checksums-Sha256:
 e7f801bec672d551bee2f5080025a40052edadce615544d93ba112bbef12da9e 1548928 coq-dbgsym_8.6-5build1_s390x.ddeb
 1ad147a24925bb2cf0eafdbac4110dd3139464e6b91d498c0a9b9bb161f2a70a 22800288 coq-theories_8.6-5build1_s390x.deb
 6310087a44bd50be5d8d14d8246bde4f9e10c92c7e9acaad36d87b2d6c1f84a3 14432 coq_8.6-5build1_s390x.buildinfo
 eb8aa9efca0c9fbf5c9a4d2ccfd9cf04affe56ab0c995d302633526faf60827e 17929824 coq_8.6-5build1_s390x.deb
 80cb8dd432ded66cbd5648e52bccd1e38d50ed6d946ecc20def23425321ce360 394312 coqide-dbgsym_8.6-5build1_s390x.ddeb
 21c6d66ffdfc3773c7b45596730551fc391bcd7842696ae8e4acd0ca8437df94 1830484 coqide_8.6-5build1_s390x.deb
 09e8f8e20ef98d30dbf978b2a0b6c63e2333cb7951486fca1d58455862a2e8c9 301964 libcoq-ocaml-dbgsym_8.6-5build1_s390x.ddeb
 177d6abb7e22f62e01a653256227791124d61470ceeed08e2187e7ff22cff87a 96128 libcoq-ocaml-dev-dbgsym_8.6-5build1_s390x.ddeb
 34a754e04a5d5b4bcf259d197ffd00e3283c12c981678423f360e5573ab93374 13843460 libcoq-ocaml-dev_8.6-5build1_s390x.deb
 eb0c775a58b96f9b1ceb3e0325bbcab296fecea1e61215a7285a152e2518b546 3624348 libcoq-ocaml_8.6-5build1_s390x.deb
Files:
 98fffd493b7a0781344c56029dee3e19 1548928 debug optional coq-dbgsym_8.6-5build1_s390x.ddeb
 296af2841155eb30ff83c4d007150144 22800288 math optional coq-theories_8.6-5build1_s390x.deb
 79303f5844f8f3073b22bc0595697ce0 14432 math optional coq_8.6-5build1_s390x.buildinfo
 6d84f3c2ae6af39c3e934e66f0d274db 17929824 math optional coq_8.6-5build1_s390x.deb
 3824bea53c92983c8309caf13352adff 394312 debug optional coqide-dbgsym_8.6-5build1_s390x.ddeb
 816026d0ddaf78d512983b4131fbed6f 1830484 math optional coqide_8.6-5build1_s390x.deb
 3ed8ca38c11d26bf24d98bd542ff99b7 301964 debug optional libcoq-ocaml-dbgsym_8.6-5build1_s390x.ddeb
 2c3402144423c4cf3880d3e06a3d3fab 96128 debug optional libcoq-ocaml-dev-dbgsym_8.6-5build1_s390x.ddeb
 ba007e903136ab27f86d111a39d55d17 13843460 ocaml optional libcoq-ocaml-dev_8.6-5build1_s390x.deb
 89ff9f73b02a66ff6d1d066dbf782d32 3624348 ocaml optional libcoq-ocaml_8.6-5build1_s390x.deb