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: amd64 all
Version: 8.4pl3dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
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: 
 dcf01347206dc37926bddc2a396d22ec37c5fc66 7412334 coq_8.4pl3dfsg-1_amd64.deb
 9836deb40bb6d70b2ce35df09d5340fd030dd4e2 1374814 coqide_8.4pl3dfsg-1_amd64.deb
 6385330a7cb452bc2ff9dfae505eb95dcc4af752 58910278 coq-theories_8.4pl3dfsg-1_all.deb
 5875bed01017f84c8fd30e71b93a064627b9ef9e 2603256 libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
 daac2c99a7a233bc1603cbfd81509ffa068ee6c9 6424216 libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb
Checksums-Sha256: 
 012f751c1dfc2784231c16e63d8290e964318cabdd6e1859a57a143be2e6e4f8 7412334 coq_8.4pl3dfsg-1_amd64.deb
 0e4879a6fdf1cb51f6cbb056d1019e95f39fa49d3d312d492bcd55bd3dc5ad24 1374814 coqide_8.4pl3dfsg-1_amd64.deb
 56b3ac2940895f9be6d3229f2fb84084d48ccc62943104841e05167ab53005ad 58910278 coq-theories_8.4pl3dfsg-1_all.deb
 fa5b4694d74a98e28be99468a134cf23295494dbab4119698bf003445dc28869 2603256 libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
 fbe564427d539a2b695ac3a3700dbf2c53e307202a65e06d7a7df1511711ad3f 6424216 libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb
Files: 
 964296e0f47cc7a323a2cabaa504f8c8 7412334 math optional coq_8.4pl3dfsg-1_amd64.deb
 061ca8a5f3760f8b3ca201c0ee4abdb3 1374814 math optional coqide_8.4pl3dfsg-1_amd64.deb
 8bf6b0582897c7f3096184f41fb51293 58910278 math optional coq-theories_8.4pl3dfsg-1_all.deb
 0c5066c0bfd77a8edd4616329c1e9567 2603256 ocaml optional libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
 2272ae3d8501df332a2016b30011f5c5 6424216 ocaml optional libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb