Format: 1.8
Date: Thu, 14 Nov 2019 23:20:46 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1
Distribution: eoan
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-060.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~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1) eoan; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 8a65715be95becacae5e5d8586bd13b2ff27e881 21668456 coq-theories_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
 be9b11dac16131a5c8ce73a361fb1a9c9fd3c46f 18590 coq_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.buildinfo
 5d20c51ac0816cea25c26e665c507915f1368946 23442308 coq_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
 7f614626532be49253e3f2d1da8cf0f05f3ad7af 8765672 coqide_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
 9f41d48ea3b87b33e70d6725b70a691fc4f6b366 11771424 libcoq-ocaml-dev_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
 7951c625e0b8ba8dde26cf0362942d8318de4339 6215864 libcoq-ocaml_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
Checksums-Sha256:
 115efdf6504c855f7a47d78a4dce7a32cdc67c060740deccd713899dced8a9d4 21668456 coq-theories_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
 2c17d7bcb82b02e9e93937cc23c4edf86339f70e5d5710371a5b66e59416d786 18590 coq_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.buildinfo
 db73d242d5b6795f4f0e7fe04cf16586da79b8e1d99cc2ff0d540b3cb50b8f29 23442308 coq_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
 3a1a13f03c521215230964ff5766fff6904518742b2bad85ab7c19d5b7976d0b 8765672 coqide_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
 aefe21f98d187bbe57f68f1a95fed96d674024a5c03580284d2b113480933ce6 11771424 libcoq-ocaml-dev_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
 ef5e33c2e6ff45e016043791ce155089716f105be91dad624f3e5ac6fea59daf 6215864 libcoq-ocaml_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
Files:
 8fca44ee7195dd391d5e6a86c9378e52 21668456 math optional coq-theories_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
 088ea1bf7bf88ad867370c3d2b774f76 18590 math optional coq_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.buildinfo
 de4d829262f0cc8bf49d246f0c64d4cf 23442308 math optional coq_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
 3667ff9f77252a83529add233052b2a9 8765672 math optional coqide_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
 a37466df408ff65d7f68028b6698ae95 11771424 ocaml optional libcoq-ocaml-dev_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb
 5dacdeb231a1d398378ac74c2a45caee 6215864 ocaml optional libcoq-ocaml_8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1_i386.deb