-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160

Format: 1.0
Source: coq
Version: 8.0pl3-2ubuntu1
Binary: coq7-libs, coq, coq-libs, coqide
Maintainer: Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
Architecture: any
Standards-Version: 3.6.2
Build-Depends: debhelper (>= 4.0.0), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), chrpath
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>, Sven Luther <luther@debian.org>, Remi Vanicat <vanicat@debian.org>, Stefano Zacchiroli <zack@debian.org>, Samuel Mimram <smimram@debian.org>
Files: 
 c98d4cefd119accb1ecdeebb41128822 2309002 coq_8.0pl3.orig.tar.gz
 cb19beeb7228c2d7e7cff18ab63afb97 16498 coq_8.0pl3-2ubuntu1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.3 (GNU/Linux)

iQCVAwUBRgLTUKPP1313boLqAQOidQQAiFINIHRQDw6YIFNDo3vyCH+aAovH97Mf
53EjqJtqKxXZDKEE7Rl+33O8dN+o/Jf0KNNzt5KNCia9LEkM5Q1DDoZkhl8a/873
nxLvvtMlwNPCV5xUE5hMP8kC3YCQEriscCkTgT0WeoFSloQ+M9UloRV8VrEsrVOv
ecj7Uo1LMKQ=
=ZbWs
-----END PGP SIGNATURE-----