Format: 1.8
Date: Thu, 23 Jun 2022 23:26:46 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1
Distribution: trusty
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-052.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.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1) trusty; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 29a0199a47dc039d35fcf12c6d95165255effda0 4877078 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
 c6ff06cc4099b11bf760418bdbe28b11fdd1c6c5 891932 coqide_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
 444d4d49f6fdde03935142b8d1b32ae6261af59a 20380096 coq-theories_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
 f308a3bc6624c008fc948fa39d42d7f9785b5947 5781516 libcoq-ocaml_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
 41d394b45461a968733c040af3f3d60dbad576f2 9452586 libcoq-ocaml-dev_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
Checksums-Sha256:
 7abd9f4a55da4d745c79740b66cabcc88e641bd13d38818d3163312c544c8b26 4877078 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
 17795c52444a719536a89692baa1c64fe331164cff2231772c0059d68d638018 891932 coqide_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
 b10d43263bbf35029178770be0ce4de2ac41ad6795907e7763c26d22baeda1b1 20380096 coq-theories_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
 4e7f14a8c4c0581dcb3cd78fab212d2fd2d896b6d41326b38ff6daad04d7f038 5781516 libcoq-ocaml_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
 61c68ec456b390e5cd10d70abc4ae172311280629430fd2fa6b4ab0968a9edce 9452586 libcoq-ocaml-dev_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
Files:
 9c4c52069a93fdc37d7e7e4352deaec4 4877078 math optional coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
 ba8ff75c2c98a9d16d5243cc1161410f 891932 math optional coqide_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
 09eb1ffa66de4c170e564a13eb1f6b29 20380096 math optional coq-theories_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
 71047563509d3160664a2c8eb84afc70 5781516 ocaml optional libcoq-ocaml_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb
 431af21fe3f9858a54147b739e277d04 9452586 ocaml optional libcoq-ocaml-dev_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1_amd64.deb