Format: 1.8
Date: Mon, 16 Sep 2019 12:04:26 +0000
Source: coq
Architecture: source
Version: 8.10~git~201909161204+20477-0~daily324-6250503~ubuntu19.04.1
Distribution: disco
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Jason Gross <jgross@mit.edu>
Changes:
 coq (8.10~git~201909161204+20477-0~daily324-6250503~ubuntu19.04.1) disco; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 8558eaae2abc6643846e383ab0ee30f417eaf2fe 1403 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu19.04.1.dsc
 277ce2e08fbc05d33ba23bafa8e7af822c477e06 4672968 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu19.04.1.tar.xz
 caca6125881c4e081d1faf4bb629fde48b718722 8575 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu19.04.1_source.buildinfo
Checksums-Sha256:
 aa833282862d612e5773770d8d572ca4ad5bc5150025b0677fd4ba20776f1d72 1403 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu19.04.1.dsc
 4adb72b744cbf2f26acc502163cbd4da91730624f278bad39a19fc74d8b2a287 4672968 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu19.04.1.tar.xz
 fb4e2c97fa8aeb8874487a6b5bc37d84f119f49118c555d5db1b264be613f602 8575 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu19.04.1_source.buildinfo
Files:
 a060d351d28ae65f8d29b8b16e5f9943 1403 math optional coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu19.04.1.dsc
 3c1491a1ff93ba750a89debee7015c3a 4672968 math optional coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu19.04.1.tar.xz
 da174c5b25b4d254e8d7c09cda5ad25a 8575 math optional coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu19.04.1_source.buildinfo