Format: 1.8
Date: Thu, 29 Oct 2020 05:05:55 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1
Distribution: trusty
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-001.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.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1) trusty; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 fa102ee5196b91ebbb770edc2f05a247e5880410 21341964 coq_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
 8e423dba3023eec2117c808f418053b08259a604 9646 coqide_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
 da277e3843f5ec56a76f223f05e2a122ecdf8d3f 24030968 coq-theories_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
 dec06440319ef1b2ad2acb1d344bae27d5810a04 7780532 libcoq-ocaml_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
 54f3f8ef232cf441a8fa95074df6f5b1cd89e5d4 12973014 libcoq-ocaml-dev_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
Checksums-Sha256:
 0698572e4ec7cf0b559556fb5e04a38c239ffd7b048ff5ae8f60b3a692c00e5c 21341964 coq_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
 b74c07d7a7930eeb8060bb821a84c185d22c9d23d045b981716635b09d3d4027 9646 coqide_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
 1f8ca90a758842ff30f9dc0c4be2c1be5ddac924bf96b1ba2718104d13598c6e 24030968 coq-theories_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
 545f95cec0d209c2997f10253b7b70c9c8639f1352ed46b763c6c5259ad47935 7780532 libcoq-ocaml_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
 aa40c7dc1210fa067e781a62965f88039ac3d95c6ff29ec0e34bff95fdf03590 12973014 libcoq-ocaml-dev_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
Files:
 bab4fd818151517e187762f43dbe7ee6 21341964 math optional coq_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
 3a590cac805365555229f93ed7ab7940 9646 math optional coqide_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
 642982aeac649cbbc0ae848edbd2131f 24030968 math optional coq-theories_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
 decf8db4feaebfe1fd0499e5a3d2387e 7780532 ocaml optional libcoq-ocaml_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb
 439adea90ff135ce35f1954988fa3195 12973014 ocaml optional libcoq-ocaml-dev_8.12~gitubuntu1~202010290505+21599-0~daily334-a517679f87~ubuntu14.04.1_i386.deb