Format: 1.8
Date: Mon, 11 Sep 2017 13:37:53 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1
Distribution: zesty
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-36.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~201709111337+18302-0~daily306~ubuntu17.04.1) zesty; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 16a0d806bb6b3681a49b7eb0b12e4eb66f604dfd 20355122 coq-theories_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
 8163d438ed8ecb77a2b87ca273058b607502e377 4261702 coq_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
 e8b705a0958c63394654e07c7effdcef2d0ac126 843068 coqide_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
 a3bb84f1074c9148de9ea10cbc9c36375b6ffce2 7748150 libcoq-ocaml-dev_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
 6a3b9182cfb28bed6dc2ca1c1c566b63af67833a 4874384 libcoq-ocaml_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
Checksums-Sha256:
 586d20296ad62f67919830b663b6738fd20f2fc9e5985509dafa4bd266740e68 20355122 coq-theories_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
 fa4156ecf8119d7bf1a9f0fc6d4a690ced691683113b315fd49956cda0590d73 4261702 coq_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
 25c489155ce0a41ed9260df33ba60bae0de8b7700985d734c19d1f8636ebf21e 843068 coqide_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
 4f9a3270943490bb7c2351b224beb4f237bd8dd8cb7d578af1fcaac43a1b2209 7748150 libcoq-ocaml-dev_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
 935a9a79d0c1d2e9286826ac8442a3fda133d816913519a69d74419cbe17eaf1 4874384 libcoq-ocaml_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
Files:
 654a92b28e690793c6609b87ef0d6707 20355122 math optional coq-theories_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
 f47e69553cf276735c03e5809a0b3433 4261702 math optional coq_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
 58109dcd27c3db24cf3551b072093f78 843068 math optional coqide_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
 f14d969f11fa11d1d4a9c630bd209abb 7748150 ocaml optional libcoq-ocaml-dev_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb
 2776323d351b2b837be97403edfcbe2e 4874384 ocaml optional libcoq-ocaml_8.master~git~201709111337+18302-0~daily306~ubuntu17.04.1_i386.deb