Format: 1.8
Date: Tue, 12 Sep 2017 03:28:34 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1
Distribution: vivid
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-16.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.7~git~201709120328+18276-0~daily306~ubuntu15.04.1) vivid; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 460843c13311461d885d2338f6a5a8c88b1fdb0c 4416940 coq_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
 c7322878e42bf8960798a57bfdfc3871f09c62cc 889718 coqide_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
 4f6ecb0270733dbe4025ddc93ae2d89aa629a94b 20318586 coq-theories_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
 29759209b56db5f2b99983e7e517d01393d88332 5539168 libcoq-ocaml_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
 27c81ae8cf66783c819e0c20205b1ff8d674be48 7527486 libcoq-ocaml-dev_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
Checksums-Sha256:
 42705cbfc6260d835d928dc2dd5c9d1714806b2a6a63a4f73c68f9d940566231 4416940 coq_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
 f47ad51a6e953a47bb14d1d1724aa871ec377098ec973b4f0208a3ea6efc1f53 889718 coqide_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
 9afdf444f938597e9e83e917c0064d60e780428d0809e1b5a614e0bb6bdcc0d4 20318586 coq-theories_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
 2c8488e77346dad789223cb83f14fe72298950a4e94ee062c4e4a550e00c7be6 5539168 libcoq-ocaml_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
 2cae74164aa77f91209f7db6f1d83b0d490ba00267e1308ed0c903a4c143c1fe 7527486 libcoq-ocaml-dev_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
Files:
 28ad24a275637a0d2509ba3b262542c9 4416940 math optional coq_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
 5420e7cbd81aee29e353802789371f97 889718 math optional coqide_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
 cdbdf60d99592ee2603baa4087147363 20318586 math optional coq-theories_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
 a85ff34f1a901c3e815849930e3525db 5539168 ocaml optional libcoq-ocaml_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb
 33eb995578640679a4acfe19cb616df8 7527486 ocaml optional libcoq-ocaml-dev_8.7~git~201709120328+18276-0~daily306~ubuntu15.04.1_amd64.deb