Format: 1.8
Date: Thu, 27 Feb 2020 21:51:47 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1
Distribution: eoan
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-029.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~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1) eoan; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 a57691d89a6ee5c2f7dbb155bd363c746dcf6048 21524540 coq-theories_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
 c82b1dd522b549803855b5e0661f6cf5d6e44e04 18753 coq_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.buildinfo
 064c6662627de5a7180a6fe261a3b72bf6026323 23901868 coq_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
 796ac129f4996332ceb1d22c3057a4ec7c01d202 8274856 coqide_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
 f54e61a0cc5af509a52e4860aa38b057f7258612 12817512 libcoq-ocaml-dev_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
 29b12267156ddb52525260ae56e916565ed28dd0 7089212 libcoq-ocaml_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
Checksums-Sha256:
 ccb42653771ae90d5e2a2c2a05cb275b6b15b773e68661735f67100fd19a9f70 21524540 coq-theories_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
 53158244dd5f4fc5accddb4f2ee3280bb727415cd2c47053278ebb27e5a8eb93 18753 coq_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.buildinfo
 06072a8033cb3bd5457056306d85cabd8d9a97ebb88c3cb4d578041eef809084 23901868 coq_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
 95499b658273428cdac4256e6aa2983faa5391ee1a7415760f93135fdf049563 8274856 coqide_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
 5a406168e784a35902f1e7bec1912fca6ddd4e90c523cb59b4b454932690ef5d 12817512 libcoq-ocaml-dev_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
 b97cfe9479a79acc92ac18c488cc53d7ddad8a35c60167d3da684f96f7f5fbc5 7089212 libcoq-ocaml_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
Files:
 f6070be6a65a975b769abe9f7938ea50 21524540 math optional coq-theories_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
 7b839de9791a9c2490cd3e2ce9292fa4 18753 math optional coq_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.buildinfo
 3d8e76d3385de1c87e3897a4e285b462 23901868 math optional coq_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
 3a78b1390f437c9ad48c1454ebe9fdd5 8274856 math optional coqide_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
 11bf90ac955883a42915101478646bb4 12817512 ocaml optional libcoq-ocaml-dev_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb
 82f6661dcd97f2df1e3344938d072575 7089212 ocaml optional libcoq-ocaml_8.11~git~202002272151+20910-0~daily327-5ef7035~ubuntu19.10.1_i386.deb