Format: 1.8
Date: Wed, 26 Sep 2018 12:52:52 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.8~git~201809261252+19176-0~daily309~ubuntu18.10.1
Distribution: cosmic
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~201809261252+19176-0~daily309~ubuntu18.10.1) cosmic; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 ef2a62aae59773188937dd08c03ed233409aaab3 1431 coq_8.8~git~201809261252+19176-0~daily309~ubuntu18.10.1.dsc
 1bc3c81a1a3cdd782db22b01bb80f6e429b4ada6 4441808 coq_8.8~git~201809261252+19176-0~daily309~ubuntu18.10.1.tar.xz
 da87f9f50a2bca445e3038a59fab654b0e31e298 12842 coq_8.8~git~201809261252+19176-0~daily309~ubuntu18.10.1_source.buildinfo
Checksums-Sha256:
 66dbe06528b9098828fc90a978bb38a5f3f5e7e38dd1d3eb878162661b064df3 1431 coq_8.8~git~201809261252+19176-0~daily309~ubuntu18.10.1.dsc
 dbd14b474edd6249137ca89e680613be78eb03531dd921097a3021cec352d223 4441808 coq_8.8~git~201809261252+19176-0~daily309~ubuntu18.10.1.tar.xz
 d27d0951694c53c0b8d0c55789936f388ac1fbf19d8c1a2609f608520908314b 12842 coq_8.8~git~201809261252+19176-0~daily309~ubuntu18.10.1_source.buildinfo
Files:
 4906a155969dd67eba2aff29d00554fd 1431 math optional coq_8.8~git~201809261252+19176-0~daily309~ubuntu18.10.1.dsc
 e955354d184b7982d0de662c1edce1d3 4441808 math optional coq_8.8~git~201809261252+19176-0~daily309~ubuntu18.10.1.tar.xz
 5e2b4b78a90ede25082386fbeb3e4591 12842 math optional coq_8.8~git~201809261252+19176-0~daily309~ubuntu18.10.1_source.buildinfo