Format: 1.8
Date: Sun, 19 Jan 2014 16:16:36 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: arm64
Version: 8.4pl3dfsg-1
Distribution: trusty-proposed
Urgency: medium
Maintainer: Ubuntu Build Daemon <buildd@magic.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
Closes: 680248
Changes: 
 coq (8.4pl3dfsg-1) unstable; urgency=medium
 .
   * New upstream release
   * Update README.Debian (Closes: #680248)
Checksums-Sha1: 
 fe4ea92463c918da4522163a5c0bcb13a387dca3 1108992 coq_8.4pl3dfsg-1_arm64.deb
 ccfc6fd791b5edfcd1fe29f513859a132dcc03ad 203096 coqide_8.4pl3dfsg-1_arm64.deb
 2cf20e1cd340c90ec1d99465b2e1453ee2e93d3e 330196 libcoq-ocaml_8.4pl3dfsg-1_arm64.deb
 cb5bba722eb96f3ba4a6739f84f38cd476f01fa0 1246944 libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb
Checksums-Sha256: 
 1cd4e1d30b9281723e37af835f61771363b3dd29fa3ba67018a154925daa78bd 1108992 coq_8.4pl3dfsg-1_arm64.deb
 ca29d8388deb82a7f5ebdb6f76cdba45bdb7bb6f3bd02c1282c37413a3afba2c 203096 coqide_8.4pl3dfsg-1_arm64.deb
 1d84e6e42e9ffe1739281d2d00f0bfed356436730cf9e147a41db91df9056470 330196 libcoq-ocaml_8.4pl3dfsg-1_arm64.deb
 62bc3443df7aa289c8e2084caa48ae62b9a70e228ce42dfc8a60ee78aa11e3bc 1246944 libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb
Files: 
 ff2cb3756b3ef84730d8dda3e6a5afdc 1108992 math optional coq_8.4pl3dfsg-1_arm64.deb
 7029a5cabb49de1e65657bab6b308572 203096 math optional coqide_8.4pl3dfsg-1_arm64.deb
 56958c2d78de07fbb3bce9a7b43db469 330196 ocaml optional libcoq-ocaml_8.4pl3dfsg-1_arm64.deb
 21f58336546694a0b41b5e2be8e4e0ab 1246944 ocaml optional libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb