Format: 1.8
Date: Thu, 23 Jun 2022 23:26:35 +0000
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.8~git~202206232326+19177-0~daily311-9632df583a~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.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu22.04.1) jammy; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 ab75bf7cb256918ad26ceb59da7e8f62521bf9aa 1447 coq_8.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu22.04.1.dsc
 d67237fde5a39fe6abf2f5e1488057f60acfa487 4441372 coq_8.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu22.04.1.tar.xz
 0023f0f6227578584b92b0b36587265b8cdbfc62 9337 coq_8.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu22.04.1_source.buildinfo
Checksums-Sha256:
 99f8081e196faa5d401cd9d9436d66b5e959a49df8f887bacfa022e45187e8e2 1447 coq_8.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu22.04.1.dsc
 f97e4378574281ae048aca10bf91c1010b9df9debab2654b7c48f749e1657196 4441372 coq_8.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu22.04.1.tar.xz
 668f008e15f80fc0a87a529c406042078d061f01705f36a5be2c0814de91995a 9337 coq_8.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu22.04.1_source.buildinfo
Files:
 4f7e4ea7244b6f5422db7033d021ca54 1447 math optional coq_8.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu22.04.1.dsc
 dd0a16d83341f91987029675c83e2670 4441372 math optional coq_8.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu22.04.1.tar.xz
 4375419e4f76381bc0278178c0d2619c 9337 math optional coq_8.8~git~202206232326+19177-0~daily311-9632df583a~ubuntu22.04.1_source.buildinfo