Format: 1.8
Date: Mon, 21 Oct 2019 09:41:57 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1
Distribution: xenial
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-037.buildd>
Changed-By: Jason Gross <jgross@mit.edu>
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.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1) xenial; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 09ecc0db9a38667a4de4d9981268a0d42a728696 21455922 coq-theories_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
 25002b334b22a16941968cc50579ef03a51cb725 22326692 coq_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
 ce10c0ed8b8e268a2f31e6dd1f0ef9c2b9189d76 9630 coqide_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
 fae0f64853910d47c38ecc3bbc9c9ce79b11e476 11274774 libcoq-ocaml-dev_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
 f330fe869197f70a99a564fea1980372db9db664 7185280 libcoq-ocaml_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
Checksums-Sha256:
 2f480c99289d62c5708fc0ff41fef069b5f452c36fb3546c284723f4ae3f0ed2 21455922 coq-theories_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
 1eddb2941a8bcb0148337f0783fc6bbd8b81d7d9a25c508eccc251e938c7379c 22326692 coq_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
 6ca9a5ee737b412630c2cb215db5bc20683fd3944e412ef228de0a4f9f289b4c 9630 coqide_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
 c53d7f115cbd69c8f7661b7766cd855f7641fd976ae1a4b7014ed29b715f9e53 11274774 libcoq-ocaml-dev_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
 f2d0c4447033cdd2402bc0b30be8d1a9e74e13d3bca6fd07e21f7f1b6b2dbebf 7185280 libcoq-ocaml_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
Files:
 e235073ae590d7573f46fa1b4471fcd0 21455922 math optional coq-theories_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
 abadc4d5aab122f5ac1ba50bf5a03c99 22326692 math optional coq_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
 0b35f09bae6c15033f1cce48e3cf554b 9630 math optional coqide_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
 2e993547b3996f037cbcf270bf94a7ac 11274774 ocaml optional libcoq-ocaml-dev_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb
 3dcf0730e8fd4b59f15c93478cad831a 7185280 ocaml optional libcoq-ocaml_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1_amd64.deb