Format: 1.8
Date: Mon, 06 Apr 2020 17:24:05 +0000
Source: coq
Architecture: source
Version: 8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1
Distribution: disco
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Jason Gross <jgross@mit.edu>
Changes:
 coq (8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1) disco; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 8a84d98f566f00ef57289c5c3b64c256877f93e8 1425 coq_8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1.dsc
 5b9f88ee376a847eddf681fde13dc483c10d0fd1 4929588 coq_8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1.tar.xz
 90631ee69ae9cf811127a596837c1c5d6309f297 8616 coq_8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1_source.buildinfo
Checksums-Sha256:
 8ff4d62e348843b2d5f87e5199bcf6a3b9b3c91ba711b8f0cd9fe1217d67f568 1425 coq_8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1.dsc
 a65540774715e6a87e56c166032193c85f6bbe7801a2a6acda8151f88ede42d9 4929588 coq_8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1.tar.xz
 4ae1c6749c942b0b15d960dcb9ba813b1329a2c9738eda496001b79b84c1fcbd 8616 coq_8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1_source.buildinfo
Files:
 429e1dd8ee32f8fab0fe41afe20567d4 1425 math optional coq_8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1.dsc
 42359e94559bb778159e99260c382649 4929588 math optional coq_8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1.tar.xz
 e4b18a439243a2909a191e33839a7e50 8616 math optional coq_8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1_source.buildinfo