-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: coq
Version: 8.0pl1-3
Binary: coq7-libs, coq, coq-libs, coqide
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: any
Standards-Version: 3.6.1
Build-Depends: debhelper (>= 4.0.0), dpatch, ocaml-nox-3.08, ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0)
Uploaders: Ralf Treinen <treinen@debian.org>, Sven Luther <luther@debian.org>, Jerome Marant <jerome@debian.org>, Remi Vanicat <vanicat@debian.org>, Stefano Zacchiroli <zack@debian.org>, Samuel Mimram <samuel.mimram@ens-lyon.org>
Files: 
 95237e64081d7306fdea49e1988bde12 2272613 coq_8.0pl1.orig.tar.gz
 6f28053b3ab89f8c916fdd361bdbbb86 11306 coq_8.0pl1-3.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)

iD8DBQFBLibY2WTeT3CRQaQRAtnQAJ415Flv5/G9+D9y+lxJ8QQpWEtSjwCfVyrf
uaL0CqvSGi1CDdPwm+n95p4=
=XUqN
-----END PGP SIGNATURE-----