Format: 1.8
Date: Tue, 22 Jan 2019 19:08:42 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.8~git~201901221908+19176-0~daily309~ubuntu19.04.1
Distribution: disco
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
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.8~git~201901221908+19176-0~daily309~ubuntu19.04.1) disco; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 dda77ce06cff223a816c8830311fe7568204d6a0 1431 coq_8.8~git~201901221908+19176-0~daily309~ubuntu19.04.1.dsc
 9d173933f2c85950422a0d5545206b89b4b29f2d 4442168 coq_8.8~git~201901221908+19176-0~daily309~ubuntu19.04.1.tar.xz
 39b51daae0ff3cd8d25a954ab3af0ed82a9b1e93 12616 coq_8.8~git~201901221908+19176-0~daily309~ubuntu19.04.1_source.buildinfo
Checksums-Sha256:
 48f22a7e605dc6a7bf595c5b9ad6d5327c2f32d6765a7543da470688910ff69e 1431 coq_8.8~git~201901221908+19176-0~daily309~ubuntu19.04.1.dsc
 705b210401805f473d7d076dc7e1c6f4d3fbd959f6a86a354a64bfab64c2c03b 4442168 coq_8.8~git~201901221908+19176-0~daily309~ubuntu19.04.1.tar.xz
 9974b4d97c40f4b3733057a03524bb4a6a83da6ef4c8d238d9196dfaf89e2dcb 12616 coq_8.8~git~201901221908+19176-0~daily309~ubuntu19.04.1_source.buildinfo
Files:
 b01c8297415c53c8e01ff8de003adc5f 1431 math optional coq_8.8~git~201901221908+19176-0~daily309~ubuntu19.04.1.dsc
 e7fbed4ac222fe2d78845f3e18e8a8c6 4442168 math optional coq_8.8~git~201901221908+19176-0~daily309~ubuntu19.04.1.tar.xz
 a44057efdd8a826d4d74f52815f98ce8 12616 math optional coq_8.8~git~201901221908+19176-0~daily309~ubuntu19.04.1_source.buildinfo