Format: 1.8
Date: Tue, 06 Aug 2019 04:05:47 +0000
Source: coq
Architecture: source
Version: 8.8~git~201908060405+19176-0~daily309-0ed45a5~ubuntu19.10.1
Distribution: eoan
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Jason Gross <jgross@mit.edu>
Changes:
 coq (8.8~git~201908060405+19176-0~daily309-0ed45a5~ubuntu19.10.1) eoan; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 575c981c1197c88406a2f675ef02f772642f4e96 1463 coq_8.8~git~201908060405+19176-0~daily309-0ed45a5~ubuntu19.10.1.dsc
 7c1851046acd0f3fde2ea342706090314ca814f5 4441896 coq_8.8~git~201908060405+19176-0~daily309-0ed45a5~ubuntu19.10.1.tar.xz
 172ff87ede4577b3f7eacc91824a319a2faa72ad 13108 coq_8.8~git~201908060405+19176-0~daily309-0ed45a5~ubuntu19.10.1_source.buildinfo
Checksums-Sha256:
 7ffe3a0050f7868ebf483ceb3eb91982c2f7956fff87083e97d2fb2c2a7a919a 1463 coq_8.8~git~201908060405+19176-0~daily309-0ed45a5~ubuntu19.10.1.dsc
 ff09718812a4d2b13e354e75bee7332ab4abfd02f0f9de669e9e41e578b4b37d 4441896 coq_8.8~git~201908060405+19176-0~daily309-0ed45a5~ubuntu19.10.1.tar.xz
 eb2489e87f4de0498a16a47e21986d41843b8e925de541dc5b0a7d13ecacd2c1 13108 coq_8.8~git~201908060405+19176-0~daily309-0ed45a5~ubuntu19.10.1_source.buildinfo
Files:
 c5b0bbaf8d8a45932f217581b1d589fe 1463 math optional coq_8.8~git~201908060405+19176-0~daily309-0ed45a5~ubuntu19.10.1.dsc
 58d1a3be55b672c41a01c96d8552373b 4441896 math optional coq_8.8~git~201908060405+19176-0~daily309-0ed45a5~ubuntu19.10.1.tar.xz
 0243b054779891adf927244236c40861 13108 math optional coq_8.8~git~201908060405+19176-0~daily309-0ed45a5~ubuntu19.10.1_source.buildinfo