Format: 1.8
Date: Thu, 26 Nov 2020 16:19:27 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1
Distribution: trusty
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-003.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~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1) trusty; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 b39af5c1fa78389034f02e6843f9d011f16b2626 21335112 coq_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
 19601226450d1c99ef44ad5b9169cb65a0e14559 9640 coqide_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
 965d3d51ebd84da6420575a750b2ab8ff2fd350c 23988610 coq-theories_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
 b00e5130b56daae6949beb0750fb6bf5484bd593 7773458 libcoq-ocaml_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
 d2c3f6a93d0d87c9bbc7fe35fd1716e32f5e68bd 12980022 libcoq-ocaml-dev_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
Checksums-Sha256:
 41055599c54b630b99da9f127ac904a9402b6673765822f67b6145ac845e8154 21335112 coq_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
 b8526ddd45b0e865f171577b7edd7b3af8a9781cdcd8f189d07a0c711d570fc1 9640 coqide_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
 35fc8c938ed6c9d2bfbff8e0a719d4015e1d2b122a0a0923343f84dd41b2c203 23988610 coq-theories_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
 ec896be5b62bb5d509931b5e36eb1a668a9beb00e549091bba1a59aa33f8e881 7773458 libcoq-ocaml_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
 70f9bc7b2cc49fda33e6c27818aac55467c2d3f2ac0f5fe2942e885e533545af 12980022 libcoq-ocaml-dev_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
Files:
 8d166aeb118ef8834e98d2f271671c7a 21335112 math optional coq_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
 5c55f395249ffd0da49e36152fcc529f 9640 math optional coqide_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
 11420a7ddb551f3dbb8f247fb12588fa 23988610 math optional coq-theories_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
 dd90e1176f1952ef28f61e17f35ae6db 7773458 ocaml optional libcoq-ocaml_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb
 82e22404105d1c8856d0ba572dbce44e 12980022 ocaml optional libcoq-ocaml-dev_8.12~gitubuntu1~202011261619+21616-0~daily334-79c0e0d2e2~ubuntu14.04.1_i386.deb