Format: 1.8
Date: Fri, 11 Nov 2022 15:17:18 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Built-For-Profiles: noudeb
Architecture: amd64
Version: 8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1
Distribution: kinetic
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-047.buildd>
Changed-By: Jason Gross <jgross@mit.edu>
Description:
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-theories - proof assistant for higher-order logic (theories)
 coqide     - proof assistant for higher-order logic (gtk interface)
 libcoq-ocaml - runtime libraries for Coq
 libcoq-ocaml-dev - development libraries and tools for Coq
Changes:
 coq (8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1) kinetic; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 9eeb89d4f5b6e227dc4e4162be525480ddc4fe0e 24658098 coq-theories_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
 20fb634dc227fef6bfcc66046a6f88eaa2c59458 18043 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.buildinfo
 e1955945c2ad6c87470a541b8b7865aa44fac572 36595780 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
 f5388049b6cf9799f505b1a6e16d15dcacd575a1 12971244 coqide_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
 f6442a69fefd4265c344823d32f48c0a2d050248 17358730 libcoq-ocaml-dev_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
 16deff6ff9a523b009bd7b891b8d568484d7a005 9513862 libcoq-ocaml_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
Checksums-Sha256:
 8c0058032e5d7af74aecd34eb19194e7f159afcf591e4cb2116d86f8690aa5fb 24658098 coq-theories_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
 08acf4247e367bc2162a4498bab220e9df6c98b99ed8d8973e06b032b41f3700 18043 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.buildinfo
 bcef848edc305350e14178adbca286fdcfe36169b33c347a5a8e2480b8b7e3a0 36595780 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
 bb82a1155cd5124d30524568c1679540ecc9b0cf1915d9f49de4a5446ac2939d 12971244 coqide_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
 6e8ffb5d0363bb2cee06a4324e7bce0acc03771b5eea5abade7eec160d4bb700 17358730 libcoq-ocaml-dev_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
 ebce088839e753f5ad1919112820cb068e3732ea7d6ebcd2b0c23feeca331eb5 9513862 libcoq-ocaml_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
Files:
 93db7e2c47d7bae2e5434c7be79534dc 24658098 math optional coq-theories_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
 271b7657d7e73916c5f6f1dd7cabbcdb 18043 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.buildinfo
 7d757f5a95ee33b8cf757713d6eab975 36595780 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
 f00ffb850a5f8e890a7617d9631a9726 12971244 math optional coqide_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
 80894590921e8dd4a97826207a22a404 17358730 ocaml optional libcoq-ocaml-dev_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb
 e841c21dc02acba0d9388f2ed8a9713d 9513862 ocaml optional libcoq-ocaml_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1_amd64.deb