Format: 1.8
Date: Fri, 06 May 2022 09:17:55 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1
Distribution: trusty
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-026.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.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1) trusty; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 282cfeb7536122fc72843f8351cb0e8778ab5dd6 81623010 coq_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
 deb69fb0e9b00609a744f893c98fd3bd96450fc7 9604 coqide_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
 5d57c88c4a1ec4c553f8318cf8ff05d78a99966d 21580680 coq-theories_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
 72a789776c6f482c45bb7c2279a4ed469becb9ea 22532010 libcoq-ocaml_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
 aeb3a91a5e484c4b66d867333f8837278be255df 43266774 libcoq-ocaml-dev_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
Checksums-Sha256:
 4639ef95dac5598e400f12a8c1083cc056b48b39a06cf6070f7d849a1cf167da 81623010 coq_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
 8b6c5c30c010a56ab20c52477b98fde7e616be3767a36a61730d4f68b488ebb8 9604 coqide_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
 f6611431f2cc1f06e0286e64f53664fe3c4f5a9b61f64e266409f54e09c5fb75 21580680 coq-theories_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
 39af28bb815c76916132116aef8c9a567d6511e7dab720990c88828fefeca0d6 22532010 libcoq-ocaml_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
 e26620bd0ef13744b5074e9f13ceaf188a0a71cf62aa04faaee58ffcf9548427 43266774 libcoq-ocaml-dev_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
Files:
 564d44ecb26f2f09804deb588cba98d0 81623010 math optional coq_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
 7271052dc394cb7e81af6d1bbed067d4 9604 math optional coqide_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
 98326a4afa6cef22ea734dcbef397690 21580680 math optional coq-theories_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
 d49e98d069f2a2b7134b2b8b0e63ab78 22532010 ocaml optional libcoq-ocaml_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb
 7ca9571eac39a980a38d5be2e56c0354 43266774 ocaml optional libcoq-ocaml-dev_8.master~git~202205060917+23219-0~daily360-e067466486~ubuntu14.04.1_amd64.deb