Format: 1.8
Date: Wed, 03 Feb 2021 14:45:20 +0000
Source: coq
Architecture: source
Version: 8.11~git~202102031445+20979-0~daily331-06b2f46bd1~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.11~git~202102031445+20979-0~daily331-06b2f46bd1~ubuntu20.10.1) groovy; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 604f8b0d0662a8a3a6cd5d7b886321251cd8f41b 1493 coq_8.11~git~202102031445+20979-0~daily331-06b2f46bd1~ubuntu20.10.1.dsc
 b65bebea764fad607f9bd8f7aabd9a543ef2f380 4931368 coq_8.11~git~202102031445+20979-0~daily331-06b2f46bd1~ubuntu20.10.1.tar.xz
 c3505fb20470fb5a8a97536a3e2b3aca09da517d 16181 coq_8.11~git~202102031445+20979-0~daily331-06b2f46bd1~ubuntu20.10.1_source.buildinfo
Checksums-Sha256:
 76b8c28d68dea5d3debf339c16f3c809d32830e6f5a287cfdceafc47d1fe91cd 1493 coq_8.11~git~202102031445+20979-0~daily331-06b2f46bd1~ubuntu20.10.1.dsc
 60eec53217fd90e3f573d14bfe9a73f2bcc7f2fd9ac80a0a0409d47862a7c045 4931368 coq_8.11~git~202102031445+20979-0~daily331-06b2f46bd1~ubuntu20.10.1.tar.xz
 b45b7c15ab2ea94e4491a71ba74f062b956ea0cdf098aa197239bbba348af636 16181 coq_8.11~git~202102031445+20979-0~daily331-06b2f46bd1~ubuntu20.10.1_source.buildinfo
Files:
 b9781734795644f2de8eafad6a1fcd9e 1493 math optional coq_8.11~git~202102031445+20979-0~daily331-06b2f46bd1~ubuntu20.10.1.dsc
 98318e5e23c7722a2ae3f7a42930b9f8 4931368 math optional coq_8.11~git~202102031445+20979-0~daily331-06b2f46bd1~ubuntu20.10.1.tar.xz
 bc72ec93ec7c231cf237bac8e8f2d772 16181 math optional coq_8.11~git~202102031445+20979-0~daily331-06b2f46bd1~ubuntu20.10.1_source.buildinfo