Format: 1.8
Date: Thu, 23 Jun 2022 23:26:23 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu14.04.1
Distribution: trusty
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
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~202206232326+20980-0~daily334-bebc99540f~ubuntu14.04.1) trusty; urgency=low
 .
   * Auto build.
Checksums-Sha1: 
 dd5d7557e9814bb60a1a8705f7210b15ee93d88f 1396 coq_8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu14.04.1.dsc
 e6715201e67d87bbfafaebb5a92443544c7260ea 6752239 coq_8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu14.04.1.tar.gz
Checksums-Sha256: 
 489cbfba2d93966bba6ac9912c8739d25b1a7be85b30b02f4d34474a066298d9 1396 coq_8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu14.04.1.dsc
 b964332c6ebbcf69ce8d7af7d54ad242d777347b1e32c8cc3b037aedfc2e2f1e 6752239 coq_8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu14.04.1.tar.gz
Files: 
 20cb3c4d919081353639067c02f304a1 1396 math optional coq_8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu14.04.1.dsc
 2c1d8af362fef7e77c65d97b9d465118 6752239 math optional coq_8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu14.04.1.tar.gz