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: i386 all
Version: 8.4pl2dfsg-4
Distribution: trusty-proposed
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@allspice.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: 
 a7709749f9b284153fa4d539e07ffbc677e7d6e9 3777738 coq_8.4pl2dfsg-4_i386.deb
 43a6f75b0c6e3fc87052818e810e207ee3373941 676820 coqide_8.4pl2dfsg-4_i386.deb
 f3b1b8647a5e6c5416da557fa761570b5acf03b7 32156780 coq-theories_8.4pl2dfsg-4_all.deb
 e463a308c6b31065d194826e4343b2cf1c5bd956 1435726 libcoq-ocaml_8.4pl2dfsg-4_i386.deb
 6a19f3de2f59de3b9ded8a8a56f016ef97b0bac9 3707978 libcoq-ocaml-dev_8.4pl2dfsg-4_i386.deb
Checksums-Sha256: 
 d974454e852b8c265aba028b0b62a6f92d7583f99519261e331eb4d90f90918b 3777738 coq_8.4pl2dfsg-4_i386.deb
 c6110070ab206f5c37c43fd9f27cabfa551501fd98cad3e5d34dd8a269d9b3c9 676820 coqide_8.4pl2dfsg-4_i386.deb
 d094813613ccf48a32ffe2f9817595c0630845d707f28be1a7bac24d73f67a30 32156780 coq-theories_8.4pl2dfsg-4_all.deb
 36fa24467e1547d65d4c7af55d06f490ccebc5b1b958030d860fa4905fc1295c 1435726 libcoq-ocaml_8.4pl2dfsg-4_i386.deb
 9958187edf3454e40c12a0ff8cd4bfd2e8743e962691eeb4402d5dbc96f40427 3707978 libcoq-ocaml-dev_8.4pl2dfsg-4_i386.deb
Files: 
 dc8f97d88d277c0b73df27b6d868d283 3777738 math optional coq_8.4pl2dfsg-4_i386.deb
 dfef9dd0a8bb6e967768d71783dcaae4 676820 math optional coqide_8.4pl2dfsg-4_i386.deb
 ba1f65b7c6a9731c48b14ae5f302b21f 32156780 math optional coq-theories_8.4pl2dfsg-4_all.deb
 89bd46a6fcc956770f076ed1a8299711 1435726 ocaml optional libcoq-ocaml_8.4pl2dfsg-4_i386.deb
 b1e99b1bd7f980e3d459b007fbb614bc 3707978 ocaml optional libcoq-ocaml-dev_8.4pl2dfsg-4_i386.deb