Format: 1.8
Date: Fri, 10 Dec 2021 19:36:15 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Built-For-Profiles: noudeb
Architecture: amd64
Version: 8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1
Distribution: impish
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-028.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~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1) impish; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 9725c809c0fc92d1ac68c5497907bf8036d3d237 25757456 coq-theories_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
 268446aa4df25fbb2b944c785925a7cfc35a325c 19016 coq_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.buildinfo
 cb404d776ce4ec0c8fa46f1efc7d8f4d37da5f31 93891580 coq_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
 814bac4bd319ad71099b9c6ed51118ed58527542 22176276 coqide_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
 e01aa2c4a540a1d341479c1f72f74fe7f5fc70e0 50122014 libcoq-ocaml-dev_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
 f98124708daffc9b689ec6dea18bf0a226de8350 26970422 libcoq-ocaml_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
Checksums-Sha256:
 0c516b2f401e6d315fe8a3da18cba90f289169d12ce1bacbfaed4f4d0cc2cf30 25757456 coq-theories_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
 de94cf2b235c05b669405be677823f4e024dd17a0eda2b0faf970e3ce118d5b2 19016 coq_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.buildinfo
 ea4b0e28f9800d6672346ddae8f2c83ab019c3a846ed0ab06168968946fb4571 93891580 coq_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
 53d8bdd903581122da16270635c6f9422deccaf9f2bc95507880b48f960aaf6e 22176276 coqide_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
 d64cc16a075a7bb89e7438a661f83559fedcb6115efd3b6691b7c23a7fa89e79 50122014 libcoq-ocaml-dev_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
 11b406c88e36b61ce8779aa7abba412d538e53bdeaabe56af293a8ad6580477c 26970422 libcoq-ocaml_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
Files:
 babde27e6a86edb8dad8a290bd1d4a9c 25757456 math optional coq-theories_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
 e98fc8500109e8fbfe00a9a9c9a74276 19016 math optional coq_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.buildinfo
 683a0ac9930f47039ecd60757ad4c439 93891580 math optional coq_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
 d9fa3bbf6d1c50648b5eac250c96fd68 22176276 math optional coqide_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
 a51e3a50fa7914646b90f6e99dd93330 50122014 ocaml optional libcoq-ocaml-dev_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb
 962fe270d6d19a8c5f0c95610c3085ec 26970422 ocaml optional libcoq-ocaml_8.master~git~202112101936+22877-0~daily363-3799ab99d6~ubuntu21.10.1_amd64.deb