Format: 1.8
Date: Wed, 08 May 2013 18:10:14 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: powerpc
Version: 8.4pl2dfsg-1
Distribution: saucy-proposed
Urgency: low
Maintainer: Ubuntu/powerpc Build Daemon <buildd@sagari.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-1) unstable; urgency=low
 .
   * New upstream release
   * Upload to unstable
Checksums-Sha1: 
 50287645e02c22a7c39a449e03f653ab97252fe3 5809358 coq_8.4pl2dfsg-1_powerpc.deb
 80ed2e6d0aeb310e96ee43daaf21e5e6a8cd4080 894830 coqide_8.4pl2dfsg-1_powerpc.deb
 cc5650d16144cc8452b3016ad8b2d4185e27afde 2215604 libcoq-ocaml_8.4pl2dfsg-1_powerpc.deb
 0c34e6c37f2bd6ae1ee5aa6302f94e1bf4d09cbb 6236660 libcoq-ocaml-dev_8.4pl2dfsg-1_powerpc.deb
Checksums-Sha256: 
 df0439720c347413a0f4d2706d42110908581fbe53b5db066718d533910c249d 5809358 coq_8.4pl2dfsg-1_powerpc.deb
 61112c0127056537ec14c6b396e6895390818764440bf3bc21a276b83932b27a 894830 coqide_8.4pl2dfsg-1_powerpc.deb
 daa555aa8ddee1f8c7764e7e2711c51a776d862214ccdb6e1d7c0e2a4c742316 2215604 libcoq-ocaml_8.4pl2dfsg-1_powerpc.deb
 b0e1d0c50491f97a9e6cad55d03b26347b371fe967d892dc8faad2e752ff4cd0 6236660 libcoq-ocaml-dev_8.4pl2dfsg-1_powerpc.deb
Files: 
 c7e69552e0139e0c1e83421388ced377 5809358 math optional coq_8.4pl2dfsg-1_powerpc.deb
 8a81f32dde32cfbeaac092e51fbcd6cf 894830 math optional coqide_8.4pl2dfsg-1_powerpc.deb
 1d7d49e04193e171c75444d0eb594dea 2215604 ocaml optional libcoq-ocaml_8.4pl2dfsg-1_powerpc.deb
 35ef465f7197827e44a100e3b1156ef3 6236660 ocaml optional libcoq-ocaml-dev_8.4pl2dfsg-1_powerpc.deb