Format: 1.8
Date: Mon, 16 Sep 2019 12:04:27 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.10~git~201909161204+20477-0~daily324-6250503~ubuntu16.04.1
Distribution: xenial
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.10~git~201909161204+20477-0~daily324-6250503~ubuntu16.04.1) xenial; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 1a2e1ba382b560623d3825948c5b4cccc0fb4c0a 1403 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu16.04.1.dsc
 710d795a6f98abe728e768bb7c1da99cecf6a4bc 4694516 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu16.04.1.tar.xz
Checksums-Sha256:
 251cf5736b057fa4f50856c60168942d8cd7d1df4123a8c06b55f031bd4fa2b6 1403 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu16.04.1.dsc
 3bb5dbf1f3878a8b969b5a946b5cea79f099fd9fe4ba74cc3c7b339090e904cc 4694516 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu16.04.1.tar.xz
Files:
 2c86e63fd8f5a4279a9cf70ced99719b 1403 math optional coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu16.04.1.dsc
 36c03a8b1dc1e0f8b48d45e6a16bdeac 4694516 math optional coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu16.04.1.tar.xz