Format: 1.8
Date: Tue, 18 Jun 2019 08:04:42 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1
Distribution: xenial
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-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.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1) xenial; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 0b30eb16b01d45bf3f9b8f69775fd948315eb0ba 21496150 coq-theories_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
 302594fc78354ead226ed5666e03461521d83f33 20496074 coq_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
 b8a51f008fb4b503937d2f4f5e38e74cbf7fed52 6467026 coqide_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
 a5de06863660eb4c4dd1ae6b7631cf5682fb1d4c 11197270 libcoq-ocaml-dev_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
 3c61d06078f289c29758513e50612f402ea8d2ca 6214240 libcoq-ocaml_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
Checksums-Sha256:
 8b9c1b4a826348c93ff428053e7d9b21577d0628d23ab27f4443e143f5290c7e 21496150 coq-theories_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
 f547c6d56337275d8cc7e3f33aae7265cfb3acad2be645bcc43fa1d1d4ae2d3b 20496074 coq_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
 90ce50cb752ff54cd34cdec3ee751ed7aca5cb02c9aaa3219c5439514ec6520d 6467026 coqide_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
 761f52dee4720fc1538479e46bba63462e10139f9de552594fc7e0953e25b8d2 11197270 libcoq-ocaml-dev_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
 894101620ccbf55af63d139f3a8bc5a48ea52c402666b585ea8cdbc959a1b295 6214240 libcoq-ocaml_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
Files:
 dfae78ee0018bc0ac2e7b33237a92311 21496150 math optional coq-theories_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
 712f3627067008e36353415baf01c747 20496074 math optional coq_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
 764489960cd1cae5ce44cdc86cca6798 6467026 math optional coqide_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
 fa5dab2a714a6f1e01110a85e11b5392 11197270 ocaml optional libcoq-ocaml-dev_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb
 c392d718905fe855b32b38c2140b2ce5 6214240 ocaml optional libcoq-ocaml_8.10~git~201906180804+20406-0~daily321-00873f7~ubuntu16.04.1_i386.deb