Format: 1.8
Date: Fri, 11 Nov 2022 15:17:22 +0000
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu23.04.1
Distribution: lunar
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~ubuntu23.04.1) lunar; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 e9536ecb891096d6c6f82f4b916b9474585c46da 1493 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu23.04.1.dsc
 1aa6618fd220c5c2fb29dfb6c5155bc69c5768b9 4931488 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu23.04.1.tar.xz
 9ea2d289600090ed998276a794984e48b32388e6 16089 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu23.04.1_source.buildinfo
Checksums-Sha256:
 2d02631666064a96f1660aa0d509d3b70009f8e0c7e900383cfb570c425c50ea 1493 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu23.04.1.dsc
 cc702f29a86b7c2cb859dc47608c8660bfae0397a0d3ffbac6c8053b7fea3f40 4931488 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu23.04.1.tar.xz
 df594c857f4314a3eea72856b6c2a3199bead9a57eab82b53fdad092481a127e 16089 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu23.04.1_source.buildinfo
Files:
 dc7a7be256c3414660b7c88a1af15bd8 1493 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu23.04.1.dsc
 2e3bcd49906e4dc52908dfffb9a13c4f 4931488 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu23.04.1.tar.xz
 7354084596c39cbd4e50ed5e9edb8cfc 16089 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu23.04.1_source.buildinfo