Format: 1.8
Date: Thu, 09 Dec 2021 19:34:53 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Built-For-Profiles: noudeb
Architecture: amd64
Version: 8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1
Distribution: hirsute
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-013.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~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1) hirsute; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 a7a8135f2b7e8cc42b4a5f6b3e470366ca965934 21633208 coq-theories_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
 07ea50fe02aeba3bf4da14b7f709d69291e1ad70 19372 coq_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.buildinfo
 bfe15138cb95780243e01474b690722c380bedf3 79407880 coq_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
 b2f4a664ae651167f658b109d45a72a041fdd498 18480220 coqide_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
 6e78aab0371c3a1b72cf4a1d94620f1f30593a12 43182640 libcoq-ocaml-dev_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
 1ec3f54cac03417f7da90344d8601cf566dc812e 22417660 libcoq-ocaml_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
Checksums-Sha256:
 316a853d0982703f29918c435ee45627184ca6c05be032e62695b797133cb1be 21633208 coq-theories_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
 d4490e54f77d208c840a17904aae8e1998c92b8223a349a6f311e2be1ac73018 19372 coq_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.buildinfo
 01ea0099f45c38461815b0d17c48c31c24efb5cd7519dc1258914dffce40e3dc 79407880 coq_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
 7e0fb1aa35e5c8cff84da4489811ebf6d66ceaa9200b6bff5a088cf4c6ddc4ac 18480220 coqide_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
 af2a964b1acf7d7c61bcfb72828e8fe04410a3179e66996c92aae295cd48a41d 43182640 libcoq-ocaml-dev_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
 eea33c07451455c9b99df078bc7aeceb4e3e31c01644863ee7e239c28dd41c1b 22417660 libcoq-ocaml_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
Files:
 c3d1ba62a51bc742f12c40aae385c865 21633208 math optional coq-theories_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
 d3e4e53e022351c2e9a43d866d7b1960 19372 math optional coq_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.buildinfo
 67261feb88960876c6c72a081b0b1b34 79407880 math optional coq_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
 a35d44277f9b18ac36ae2468d1ff38e7 18480220 math optional coqide_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
 5ff06aedd1c4e6e43e3259185ebb3399 43182640 ocaml optional libcoq-ocaml-dev_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb
 026106b76b17737914a6e4fe5121ea3e 22417660 ocaml optional libcoq-ocaml_8.master~git~202112091934+22871-0~daily363-10313ffaf7~ubuntu21.04.1_amd64.deb