Format: 1.8
Date: Sat, 11 Dec 2021 19:34:54 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1
Distribution: trusty
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-011.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~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1) trusty; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 89664be67241126b0d062789d57ac297c8f25302 70293564 coq_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
 41a6c6dcc7650f029b13869619813278bab92457 9626 coqide_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
 c4e1a922d5fa98c35c981168deef53da98a35903 21701310 coq-theories_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
 7a8ee7a4acf27930105c7706cee24c142f7e68f0 22357580 libcoq-ocaml_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
 0716aae9363960d705e869d3be8601d53ec9e483 43130078 libcoq-ocaml-dev_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
Checksums-Sha256:
 18f944d1deab4bde4a8774e8818317a5148d41f73a2b0dd9957a4a278ff21a14 70293564 coq_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
 e7e1d4b0b23d5d7dd587f675154d45bea0463dd7050aa97093d6847fdd745ec1 9626 coqide_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
 74cd8e9ea24a4b0fa56183d9bfd577e3ea32e160153cc5738560ce756984e5d3 21701310 coq-theories_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
 8894a526a3ea42ee6d60859315bbfc2401ecea7ce010548e7cde9798070145a9 22357580 libcoq-ocaml_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
 e88831cde3cd52f4e6975fb589d8e288cba5b7b1dd1de33fd840a5564955b814 43130078 libcoq-ocaml-dev_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
Files:
 d6f70ba073b022dfa6c1544e06575076 70293564 math optional coq_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
 ab5c2284d37bd7614233e1918f8c2ebc 9626 math optional coqide_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
 2c966a80580f9f68d18d61d98ecbb92d 21701310 math optional coq-theories_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
 00352a69136a7bc07a87f61b874c86cc 22357580 ocaml optional libcoq-ocaml_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb
 4b8b2b320597a9e12f780e375d8f5c33 43130078 ocaml optional libcoq-ocaml-dev_8.master~git~202112111934+22883-0~daily355-377f51a0b7~ubuntu14.04.1_amd64.deb