Format: 1.8
Date: Sat, 04 Dec 2021 01:34:39 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1
Distribution: xenial
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-013.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~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1) xenial; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 58464c316b8941bba39acdd3674dfa5fca841a51 21456542 coq-theories_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
 c9e597d724b72bd08de14ce9503fae39e1f8ef8e 69314924 coq_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
 82fe5660924bd905a2892ab120da5698cc1278b2 9634 coqide_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
 664d1e30d377094095d412bf3203299b05bf7249 42989538 libcoq-ocaml-dev_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
 ff53b54af7a40c1fb1b3388292ff68b130a4f47f 21889152 libcoq-ocaml_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
Checksums-Sha256:
 5075629ede70abdaed77c5b7519c9581974d4d2f0648dba8e1945dabb21bfded 21456542 coq-theories_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
 8a2f1c27c9e8ac955dfb8ab20a8472d6170d7287313991f7e9665348e2deb6ac 69314924 coq_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
 fd0ef3b8d892553b9fff0b274852d7540daa7334b874ab97cf8c27b6a9e0aecc 9634 coqide_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
 f4ca0804d6548c901692c5596c007526b070979ff440f514b9ea0f7b2a6a37e4 42989538 libcoq-ocaml-dev_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
 a08c5948e18272c2290b36ca392c445eead36f5e8460308e2815f800221b17d0 21889152 libcoq-ocaml_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
Files:
 53b2cb0eaf76c236686369d0a7c9d81c 21456542 math optional coq-theories_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
 ab5589c06c5f5bf2f78524b8618d315c 69314924 math optional coq_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
 2a775b0ce7fbaaf2c65548ec44e96829 9634 math optional coqide_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
 68081da58e51f2db068fa8199f8cbd52 42989538 ocaml optional libcoq-ocaml-dev_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb
 bd336e3344476c326d9b2b4bd091c933 21889152 ocaml optional libcoq-ocaml_8.master~git~202112040134+22857-0~daily355-92847267c9~ubuntu16.04.1_i386.deb