Format: 1.8
Date: Tue, 03 Dec 2013 19:54:49 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.4pl2dfsg-4
Distribution: trusty-proposed
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@roseapple.buildd>
Changed-By: Stéphane Glondu <glondu@debian.org>
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.4pl2dfsg-4) unstable; urgency=low
 .
   * Upload to unstable
Checksums-Sha1: 
 6e4e5fc547f73802ff3189fa6222a15ebb28b2f2 4109340 coq_8.4pl2dfsg-4_amd64.deb
 82d638be8c7e16376776582e113ade30e9187604 742564 coqide_8.4pl2dfsg-4_amd64.deb
 ed1ac615422d1995f89caa51d242e3384531a31b 1585288 libcoq-ocaml_8.4pl2dfsg-4_amd64.deb
 ab7664e6696a2a8af86794c55937e7ea505ed80b 3668412 libcoq-ocaml-dev_8.4pl2dfsg-4_amd64.deb
Checksums-Sha256: 
 4d85c5caffe1b8130e7f3ceee6b41ff12cf0906b208578b56507f69900059bf6 4109340 coq_8.4pl2dfsg-4_amd64.deb
 ab0bc2d0137eaa96fefae12f6fa5d38b5bc858f22f2fc0b5fe4fcd1282c28146 742564 coqide_8.4pl2dfsg-4_amd64.deb
 b980ceb82fec8de82ac377c50cbdf438133d182b43554161a2ed8e3d833d3a1f 1585288 libcoq-ocaml_8.4pl2dfsg-4_amd64.deb
 9562317f8a79fb306aebe0e2a5c3dba7b15176f516be3edefd79b09e49438edc 3668412 libcoq-ocaml-dev_8.4pl2dfsg-4_amd64.deb
Files: 
 91d63f35990cf009186496986c99a8f6 4109340 math optional coq_8.4pl2dfsg-4_amd64.deb
 1a79c256e5f4a142bd872a07428e8ef1 742564 math optional coqide_8.4pl2dfsg-4_amd64.deb
 0baeb598e5e99be124f982d25d3afd28 1585288 ocaml optional libcoq-ocaml_8.4pl2dfsg-4_amd64.deb
 63b0f2c353d2423b204120543bf310f4 3668412 ocaml optional libcoq-ocaml-dev_8.4pl2dfsg-4_amd64.deb