Format: 1.8
Date: Fri, 11 Nov 2022 15:17:22 +0000
Source: coq
Architecture: source
Version: 8.11~git~202211111517+20980-0~daily331-bebc99540f~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.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu20.04.1) focal; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 856865044621c56d5bbf802bceee5d7a67819ec6 1493 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu20.04.1.dsc
 dffcacccf3acd9c648ba11e217450a4fb606f4aa 4931736 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu20.04.1.tar.xz
 3954aa0d8aed6b280431d580a1f58fa01bd73abf 18006 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu20.04.1_source.buildinfo
Checksums-Sha256:
 77963a6c8595d78b7193fd94b8c00e617f36e185070553f71503097423c0bd57 1493 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu20.04.1.dsc
 62d6fcb78d2cda53aacb66125b36753100c326a968fd89e6e41f79d0a15e9b3c 4931736 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu20.04.1.tar.xz
 57d15dc2f3fe1c5632639fae4242f1606452a59816942bcf33e45783156daf47 18006 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu20.04.1_source.buildinfo
Files:
 6a7a16d8a48b5e0fbcf4db2859e13409 1493 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu20.04.1.dsc
 781a3ba4dfcf5d7f1ef931a50c26c72d 4931736 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu20.04.1.tar.xz
 9379dbed565d7900c8f7236876015094 18006 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu20.04.1_source.buildinfo