Format: 1.8
Date: Mon, 06 Dec 2021 13:36:11 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1
Distribution: xenial
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-016.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.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1) xenial; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 4f1f1ace57f77f8d8c91e30438c820cfe49224d3 21456668 coq-theories_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
 468427b54e46cccd93a087e3a68688d485153e6d 70524636 coq_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
 0bc20959c210d2298371e78d6e9457ed35d90b45 9624 coqide_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
 fb1db8ccf240cf0504f8375f416eb014f4e214e3 43057210 libcoq-ocaml-dev_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
 fbcb2453e01cdb06a4d76bf6e440ccd1a0082105 22367334 libcoq-ocaml_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
Checksums-Sha256:
 0d09f4b0ac93e55ab3311e95595fc126065cf504486c7a5334591df5f0db410f 21456668 coq-theories_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
 8ae7fc77fb9f76664166347e61e585839866b7edec2e5ae8f1473cbee080c8cb 70524636 coq_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
 b3f222eebc8c2f957de6cde2645e598016a3eb1cdacf7178250f5e347d1ccf3b 9624 coqide_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
 0f346da825130d54fdeb25bbba60001747a1fb13bbe9d83cb07778de5e9c618d 43057210 libcoq-ocaml-dev_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
 580b391e94ff315169705bc2d5afea518273666d1a0a756ca94d5cb7124871ff 22367334 libcoq-ocaml_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
Files:
 ae46dc342713a63367e0f2b6d7bac52b 21456668 math optional coq-theories_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
 fe99b65cdc92ed0070747c21e8e54dfb 70524636 math optional coq_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
 542e6854f01583caf2c1694bed2b1767 9624 math optional coqide_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
 bf572dc329ea986c3d916434ee55fbfe 43057210 ocaml optional libcoq-ocaml-dev_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb
 531c6098072d60a38f77f99ffef08aca 22367334 ocaml optional libcoq-ocaml_8.master~git~202112061336+22860-0~daily355-0392a71763~ubuntu16.04.1_amd64.deb