Format: 1.8
Date: Fri, 11 Nov 2022 15:17:38 +0000
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1
Distribution: jammy
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Jason Gross <jgross@mit.edu>
Changes:
 coq (8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1) jammy; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 09c019ba41c694d7891abfa5710100525ee3afda 1493 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1.dsc
 059921401232047127a71af8a0199f3c6edec3db 4931924 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1.tar.xz
 f969dbaf967bdce572e011e607da88fd2881b383 16703 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_source.buildinfo
Checksums-Sha256:
 14b688403b73d9ddd2f0ac9a07a9b7b6c15f48a7df05240e5962436f35d9816a 1493 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1.dsc
 da42d987ddb5b92ee47df9b3a7d58ded5fbab152dfe3af5c33dcafb8493aa6aa 4931924 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1.tar.xz
 42c193568b19b02e733a46435f23695e159f45b7f29eaba2e1e1c8af39026e6a 16703 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_source.buildinfo
Files:
 1167755a845b05338ebc540a10ef771e 1493 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1.dsc
 24e7f3ad0b327b098481f834299b47c0 4931924 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1.tar.xz
 01472f67d6e35819b1d798206ebc3f94 16703 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_source.buildinfo