Format: 1.8
Date: Thu, 23 Jun 2022 23:26:22 +0000
Source: coq
Architecture: source
Version: 8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1
Distribution: focal
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~daily310-9632df583a~ubuntu20.04.1) focal; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 e2b4dee7581d56f17119abed734cd170f05c5d1f 1515 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1.dsc
 95ae9ad68970d4c5206b9ba8eaca633ecd648530 4442736 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1.tar.xz
 0911e114397670c94a83eb49cf735141fe871764 14468 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_source.buildinfo
Checksums-Sha256:
 fe5921e6576b88e7eb91e70b508cd3b6946d4c11c93dabf5e2035ab81176d143 1515 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1.dsc
 ebbf24c098531ea09fed955a9f4f08bab7a2798389193cd08be2c4a67bbe7948 4442736 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1.tar.xz
 b8b26b08d9ce993fca985eab89a868e3eb7e6c6680b1142d076ad10d131ba3b9 14468 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_source.buildinfo
Files:
 8646a04adb2a6c700f0c80b96ca9dd3b 1515 math optional coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1.dsc
 e7a86a0371c06a4deb7ab22439021f11 4442736 math optional coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1.tar.xz
 cfa8733f2ba8cb4021898a37ef39d3cf 14468 math optional coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_source.buildinfo