Format: 1.8
Date: Mon, 16 Sep 2019 07:27:58 +0000
Source: coq
Architecture: source
Version: 8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1
Distribution: eoan
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Jason Gross <jgross@mit.edu>
Changes:
 coq (8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1) eoan; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 f8c516d774fb50b2a7138193ef9d50f34170f33b 1459 coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1.dsc
 395427ebb3d55aaf9bb1449c6886fc7e101eb7f3 4672900 coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1.tar.xz
 70a4f3ceed06497088e79dfd45d405aa1696d3ff 16624 coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_source.buildinfo
Checksums-Sha256:
 7a4b604c2ce286763bc50fd75ef6fbca0e4451e900f90655c97d3107dfdd7250 1459 coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1.dsc
 9c302638de458ef563a0e75f936f0457e4da5e048612fbcd4ecfdc99210106fd 4672900 coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1.tar.xz
 6592555e38f397b0534cca04d56beef60c475ebf62ce5f3c65e8d26bef93f572 16624 coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_source.buildinfo
Files:
 6e4c92871f97258b0e9e50ff22d5010e 1459 math optional coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1.dsc
 7707d7d94e9b358996b81d868fd157e5 4672900 math optional coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1.tar.xz
 8f501bad00c4e0bcd8016164353025f7 16624 math optional coq_8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1_source.buildinfo