Format: 1.8
Date: Fri, 15 May 2020 19:22:17 +0000
Source: coq
Architecture: source
Version: 8.11~git~202005151922+20979-0~daily330-06b2f46~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.11~git~202005151922+20979-0~daily330-06b2f46~ubuntu19.10.1) eoan; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 3f926c1142450f80a01eca0ad69f7168534dd805 1481 coq_8.11~git~202005151922+20979-0~daily330-06b2f46~ubuntu19.10.1.dsc
 84afe988f11fd71662271c7659d7fdfcbf12090c 4931592 coq_8.11~git~202005151922+20979-0~daily330-06b2f46~ubuntu19.10.1.tar.xz
 2fceaaf0fc20f6aac7093cc7a1407a8686755b09 17211 coq_8.11~git~202005151922+20979-0~daily330-06b2f46~ubuntu19.10.1_source.buildinfo
Checksums-Sha256:
 4d8a27a4f6302f0218fae777d00bdcea22b412c195c7e71d2d05b843bc7d5a0f 1481 coq_8.11~git~202005151922+20979-0~daily330-06b2f46~ubuntu19.10.1.dsc
 96de6f5065b1bebeaa6593434f12ada752cee3e1970b26bb0f816a569e7292eb 4931592 coq_8.11~git~202005151922+20979-0~daily330-06b2f46~ubuntu19.10.1.tar.xz
 9837434289e4678503279db27dc184faa91ddcff3332e0ed4a9bf7f7e384f152 17211 coq_8.11~git~202005151922+20979-0~daily330-06b2f46~ubuntu19.10.1_source.buildinfo
Files:
 6f7388b90249ccbdef98ad94a3525d30 1481 math optional coq_8.11~git~202005151922+20979-0~daily330-06b2f46~ubuntu19.10.1.dsc
 6b9f51b849ccb9f9201eae785160aadc 4931592 math optional coq_8.11~git~202005151922+20979-0~daily330-06b2f46~ubuntu19.10.1.tar.xz
 c6e467deea63151806144ff585f8d274 17211 math optional coq_8.11~git~202005151922+20979-0~daily330-06b2f46~ubuntu19.10.1_source.buildinfo