Format: 1.8
Date: Thu, 23 Jun 2022 23:25:49 +0000
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1
Distribution: impish
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Jason Gross <jgross@mit.edu>
Changes:
 coq (8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1) impish; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 80b16d3f5f0e793cbe18a945c846cbc59195bf55 1493 coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1.dsc
 bdd59470cb25a697ca4d27987180749516b0e059 4931644 coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1.tar.xz
 408f97b497c9bfe258744818563a25734162be3d 17114 coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_source.buildinfo
Checksums-Sha256:
 304d62b65c0a9a2e6f08736b844b55797bc77867284486af1bb274d683867e1c 1493 coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1.dsc
 9ab79665dffbe2c58abf547ceab952471cae7a2d64b0d9ba6e6b668ae508f47e 4931644 coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1.tar.xz
 d8813644525c7a5819b3493779689ed9be5527f6b63e9a20abdfe0aee2c385ad 17114 coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_source.buildinfo
Files:
 982a2f9ed7063c72d80aac7accf8f11f 1493 math optional coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1.dsc
 10201d2586a4fee3687d393af345adac 4931644 math optional coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1.tar.xz
 80469b37239bf8eaeffe1599a6cbf053 17114 math optional coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_source.buildinfo