Format: 1.8
Date: Tue, 22 Oct 2019 09:26:41 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1
Distribution: bionic
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-025.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~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1) bionic; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 4e741234c0aa94594b08c0975b32bba62764e471 21679236 coq-theories_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
 c08707c545527478713a4b9a3ff8a3737d9fcb1b 10964 coq_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.buildinfo
 1ca4a5e165e2f45ceb473fe5fab1fa96a2abdbe8 27260076 coq_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
 b23fb828d373998ae9deaa639b9192db5ec1269c 9720 coqide_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
 94b4c0b49eec61e17dbc179a7f21e6cd31a8eea8 11361852 libcoq-ocaml-dev_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
 fbf949bfc89a83593720dd881ff448f215808c71 7270364 libcoq-ocaml_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
Checksums-Sha256:
 8c41f7edcabc4c98b7c7c82c7abfe7cba777322780b0bfbaac06f6cb10ddffab 21679236 coq-theories_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
 5d510251b921e15a9f40c5b9d0e3ba6eb3c98a18b4ebc7b776b9a840e635a905 10964 coq_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.buildinfo
 e508a12f4e52b0340e540c19a54fd032929557535178d13010c122fbf528499c 27260076 coq_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
 966c089a9e45d981e924cf87b7c9fdae69790c2baae75c3013a0f3d1bb4c5976 9720 coqide_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
 f857860af38177800ecf6cc645946efc2efee685ccdd7ef3efdeab9084086ac6 11361852 libcoq-ocaml-dev_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
 8f4a1c7ca9aafada0daf40a7664359872d465ad362ff7513ce0275c4ab328541 7270364 libcoq-ocaml_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
Files:
 b5059a9c8454f9568a6fe2f2e2a5b4cb 21679236 math optional coq-theories_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
 3bc89b8ae8e5f5e4583501844ae074f5 10964 math optional coq_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.buildinfo
 0ddb40b21eb52b885d9f0ffce1f87828 27260076 math optional coq_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
 60a5d6370c3cba36d6dae1decaec7985 9720 math optional coqide_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
 da9031f06699f995d3b0b182678298ae 11361852 ocaml optional libcoq-ocaml-dev_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb
 45c735231fa6f2c3496fc46312134570 7270364 ocaml optional libcoq-ocaml_8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1_amd64.deb