Format: 1.8
Date: Mon, 16 Sep 2019 07:27:58 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1
Distribution: eoan
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-006.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~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1) eoan; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 b07971c3294a913fe12ab5fa094152bcd2256e1d 21679884 coq-theories_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
 0a936b18282f6cdb7b90f38053c2018ccf5cd344 18428 coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.buildinfo
 499e78d72865b9a49e282f053f5469296e33ece6 27302128 coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
 b0c88ef42f5ecfa7c80eb24ded5813a4834201c1 10023656 coqide_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
 ca4fd8fe5dea4dae96898a034f0b644c07b7131e 11848668 libcoq-ocaml-dev_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
 335c59092beef422c964c030230f55c9709885c9 7237720 libcoq-ocaml_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
Checksums-Sha256:
 dc77ef672f815123cb8f1657e40ea9e669d1f9c9a22cc7ff0d9afb3020cfa7e5 21679884 coq-theories_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
 03c14a039bea77c25dbc2dee81e5f0cede0e696b1e0f4ba1adfc9caa62f3d82e 18428 coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.buildinfo
 1f06af8da93f2747596ec73959f5f83e517ff127737a0cb0be5fc2f4b2949d16 27302128 coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
 0a04b91bc82509d7f4c2e7b4657d004324cb8c886eb20b4a5794ecdb1cf69555 10023656 coqide_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
 fdb78b6761ce0a0fad0d4132d814d82005746fca478c3a414c034c80f8256c0f 11848668 libcoq-ocaml-dev_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
 1429462d907981f5fdceafe2107cc800ea4e5c5e37044ba05e999d00f328b704 7237720 libcoq-ocaml_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
Files:
 eb05fd33b7672d52f105542818096f27 21679884 math optional coq-theories_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
 87269392d79a91f306297f7aef52279f 18428 math optional coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.buildinfo
 7c14adf07ce91ba8e3577696756b4042 27302128 math optional coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
 48fe85597135e8cd29c452e1a3bb54c2 10023656 math optional coqide_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
 9ca9b81ac2098c02305a9b01c542aa3e 11848668 ocaml optional libcoq-ocaml-dev_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb
 300f8e444bd9a02dd6a33da57fae7ebd 7237720 ocaml optional libcoq-ocaml_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_amd64.deb