Format: 1.8
Date: Wed, 17 Apr 2024 19:35:15 +0000
Source: coq
Binary: coq coqide libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib
Built-For-Profiles: noudeb
Architecture: amd64
Version: 8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1
Distribution: mantic
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-083.buildd>
Changed-By: Jason Gross <jgross@mit.edu>
Description:
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coqide     - proof assistant for higher-order logic (gtk interface)
 libcoq-core-ocaml - runtime libraries for Coq
 libcoq-core-ocaml-dev - development libraries and tools for Coq
 libcoq-stdlib - proof assistant for higher-order logic (theories)
Changes:
 coq (8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1) mantic; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 9b9f5c8c0e5819048380cd450dd0bb0aca6649b8 17561 coq_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.buildinfo
 a39d67d7881028696b045e75ef43a18fd6b162d0 85027362 coq_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
 91d8166d0e3bb0c3cdcf8b55d2b405fabc932c22 2026910 coqide_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
 0556386030d33f00f5a6f8ca5daa0c5e6072e021 52862134 libcoq-core-ocaml-dev_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
 029936ba11378d02ca7d0a0322bcaf90f0b1ed28 28734014 libcoq-core-ocaml_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
 bbe74b72398128e9bfde4b9b7593b88a87f76a85 27032590 libcoq-stdlib_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
Checksums-Sha256:
 2e39c3c4e15ea3a09f5e1b85acfe628c6cc9d8831679179e50a57da20a326129 17561 coq_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.buildinfo
 b039dca1b0c6746d9d7677c8f8aefb4e0031f9bff98adbfa81a05d49993e5ad7 85027362 coq_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
 3db7fa73e066c1d5ca6778e64a43f27b808a66de7cb3b420b75935a36c897a7e 2026910 coqide_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
 78c9b8ec87f79a9981de8ce5504380d27146760e5e07a86adc7b4c6efd52ead1 52862134 libcoq-core-ocaml-dev_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
 32ca868f20b2d7db30f8029e2b800a6ba247cdbcb5a0b1cef853a61622b4343c 28734014 libcoq-core-ocaml_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
 56b95b077a7aa20be9cb084b25e950662a21668c34ed66f86e47c3916289e392 27032590 libcoq-stdlib_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
Files:
 34de5d38e3dd1925bc9dc1ed5a5d9e90 17561 math optional coq_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.buildinfo
 0cc76352cac25543be3016e521c0b55e 85027362 math optional coq_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
 ef31c5f7f28948f8cd671532e3714765 2026910 math optional coqide_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
 c0e3cf56b4b333abb111eaa40e877c29 52862134 ocaml optional libcoq-core-ocaml-dev_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
 ebf9c199c8b839c2e9db65b4ec761743 28734014 ocaml optional libcoq-core-ocaml_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb
 aa8c4d206e040acc1e45ba98d752afff 27032590 math optional libcoq-stdlib_8.master~git~202404171935+24828-0~daily415-3964411a73~ubuntu23.10.1_amd64.deb