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: powerpc
Version: 8.4pl2dfsg-4
Distribution: trusty-proposed
Urgency: low
Maintainer: Ubuntu/powerpc Build Daemon <buildd@sulfur.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: 
 b6c2aa6ef99a253b4f74dd11015bf6755bcad2f9 3583940 coq_8.4pl2dfsg-4_powerpc.deb
 985b630777660a9c20677f84c393ce9f2daa3d6b 639702 coqide_8.4pl2dfsg-4_powerpc.deb
 f4ebd0ab8f2541bdb8dc0a7878b93a156cc1fd8c 1374504 libcoq-ocaml_8.4pl2dfsg-4_powerpc.deb
 ced33bbb192f483fd31d0d122d6cd10b3e32943d 3570432 libcoq-ocaml-dev_8.4pl2dfsg-4_powerpc.deb
Checksums-Sha256: 
 4b97d731ae47a4593ef44e7402307d3581fc5b0b7fa78af5bd80ba4fb0db715e 3583940 coq_8.4pl2dfsg-4_powerpc.deb
 a298a507201e4ac0c24aea7993f91bb50014c2516ee474179e460da636bd84fb 639702 coqide_8.4pl2dfsg-4_powerpc.deb
 0274f86fd1ce291e93a9018ad387ba038e8a95cfcb2cfcf36963075984c45b93 1374504 libcoq-ocaml_8.4pl2dfsg-4_powerpc.deb
 47a1191b18ab51edd9fc82946d4c903bb760eced27218e79d37cb2adf1268764 3570432 libcoq-ocaml-dev_8.4pl2dfsg-4_powerpc.deb
Files: 
 772b581d1ee1f16f4cd6fea940350061 3583940 math optional coq_8.4pl2dfsg-4_powerpc.deb
 4e8a7acaeabadbd634347b07757186dc 639702 math optional coqide_8.4pl2dfsg-4_powerpc.deb
 5652baf4fe7121c8d1de5c564d3a4bdd 1374504 ocaml optional libcoq-ocaml_8.4pl2dfsg-4_powerpc.deb
 7d9bfd01a0d30a21c742932b98f7d6d8 3570432 ocaml optional libcoq-ocaml-dev_8.4pl2dfsg-4_powerpc.deb