Format: 1.8
Date: Wed, 05 May 2021 14:24:34 +0000
Source: coq
Architecture: source
Version: 8.8~git~202105051424+19176-0~daily311-0ed45a5994~ubuntu20.10.1
Distribution: groovy
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Jason Gross <jgross@mit.edu>
Changes:
 coq (8.8~git~202105051424+19176-0~daily311-0ed45a5994~ubuntu20.10.1) groovy; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 90a004b5e9def638dffe5a3d23d6eeed5736c3a4 1447 coq_8.8~git~202105051424+19176-0~daily311-0ed45a5994~ubuntu20.10.1.dsc
 b06d8a93df3a6b4e47a07c3794be5bd0c6a33f10 4441836 coq_8.8~git~202105051424+19176-0~daily311-0ed45a5994~ubuntu20.10.1.tar.xz
 e727784d96a4225834ce004eb71d1ce9058dcefa 8986 coq_8.8~git~202105051424+19176-0~daily311-0ed45a5994~ubuntu20.10.1_source.buildinfo
Checksums-Sha256:
 bfba61ee8840b95a4499e455883862a72f0b9998f31749195877858a5daa27b2 1447 coq_8.8~git~202105051424+19176-0~daily311-0ed45a5994~ubuntu20.10.1.dsc
 9e8eeac2eec896126911f7eda3a6c553f7c3050b3f5f2f3efcf4a7bdf6257b60 4441836 coq_8.8~git~202105051424+19176-0~daily311-0ed45a5994~ubuntu20.10.1.tar.xz
 632d9eb365fcd0d64b220c194fb9bea4dbbfc0c8cedacc3a68d14d906d18c341 8986 coq_8.8~git~202105051424+19176-0~daily311-0ed45a5994~ubuntu20.10.1_source.buildinfo
Files:
 f9e35ad36a24090c64941f8f050c1227 1447 math optional coq_8.8~git~202105051424+19176-0~daily311-0ed45a5994~ubuntu20.10.1.dsc
 0af42ed2046367ad5c27ae3f85990116 4441836 math optional coq_8.8~git~202105051424+19176-0~daily311-0ed45a5994~ubuntu20.10.1.tar.xz
 1b3a3bcac915045bccdbe45f3f9d4cb4 8986 math optional coq_8.8~git~202105051424+19176-0~daily311-0ed45a5994~ubuntu20.10.1_source.buildinfo