Format: 1.8
Date: Fri, 11 Nov 2022 15:17:18 +0000
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1
Distribution: kinetic
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~ubuntu22.10.1) kinetic; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 e384844775882dadd6b2beba6f121ccd62be24d8 1493 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1.dsc
 8e2f388c800649893bab6927970ac31a32615d56 4931788 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1.tar.xz
 a84945c3116a376fe60c98001ac388abd5fe4c14 16137 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_source.buildinfo
Checksums-Sha256:
 89e831417d1b6f4eb5f7b5f30f7de9cb392bf712f12379170ee91831c33cd50a 1493 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1.dsc
 bd0a672e77285a88b5de479d7c112af73fe851cea4d5006714969bfdab308eb0 4931788 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1.tar.xz
 5b9b6ada6c0ff92660aa78d51078df087516bc7c4690e1a819eb35b264f7c1a4 16137 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_source.buildinfo
Files:
 44a695fee1e6c0fe888e421bc9375164 1493 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1.dsc
 f0ff4d8974ede6e4b60366dc51d59aaf 4931788 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1.tar.xz
 0ed8d7016255f20e9cd826bdde2b67eb 16137 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_source.buildinfo