-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coccinelle
Binary: coccinelle, coccinelle-doc
Architecture: any all
Version: 1.0.4.deb-3build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Євгеній Мещеряков <eugen@debian.org>
Homepage: http://coccinelle.lip6.fr
Standards-Version: 3.9.6
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coccinelle.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coccinelle.git
Build-Depends: debhelper (>= 8.9.7~), dh-ocaml (>= 1.0.3~), ocaml-nox (>= 3.11.1-3~), libpycaml-ocaml-dev (>= 0.82-13~), python (>= 2.6.6-3~), menhir (>= 20090204.dfsg), libmenhir-ocaml-dev (>= 20090204.dfsg), ocaml-findlib, ocaml-best-compilers, libpcre-ocaml-dev, pkg-config (>= 0.9.0), texlive-fonts-extra, texlive-fonts-recommended, texlive-latex-base, texlive-latex-extra, texlive-latex-recommended, libparmap-ocaml-dev (>= 1.0~rc4-5~), camlp4, dh-python, hevea, latexmk
Package-List:
 coccinelle deb devel optional arch=any
 coccinelle-doc deb doc optional arch=all
Checksums-Sha1:
 a536a4f86dbd888b894805074b98e0df8c533fc7 1701238 coccinelle_1.0.4.deb.orig.tar.gz
 0f876e73af97a281043a65ab55ee76f2f116b7a3 9944 coccinelle_1.0.4.deb-3build3.debian.tar.xz
Checksums-Sha256:
 223830070ee00fc809c754ebf2e81337b44fc9ee314a31a9192ed9c4355bd5ae 1701238 coccinelle_1.0.4.deb.orig.tar.gz
 6137aaa1117bb509c29b8992acc34b77179445baab6cc1faf43e26db347cd15d 9944 coccinelle_1.0.4.deb-3build3.debian.tar.xz
Files:
 cba58cefc85c378535af3bd4fec6aa95 1701238 coccinelle_1.0.4.deb.orig.tar.gz
 016328d088fc62ea8765ba70a14f2f9e 9944 coccinelle_1.0.4.deb-3build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZa3kuAAoJEMrC2LnNLKX57FkH/2eEUKv6xshXgqdVPXKe8K4q
xclW7Tqh5Zvyvy/Hyj2+nIKL/dAxCpr6Tqlj1s5i9EMAMcX2MlA2q9ioN4gIa9IT
xbJhGTyLtf30FZ3QPRsCv5LZaIi8MA5dcYRy97zq4aczl4PSrA13AYZTw6H4yf1E
megYUF463RkaV21eIyhcEsHvyu4p60l98UPJp/KD1kUJLWsYBkIIj3isMW/JMWnX
z+jqtscLYpFgOYFXeJfHlxeEr77nsqbSB9rhlipAJlld0q7/ygZpXdfai+N8VbSX
6X1D4YZ0BJGWnxsSiI91pvYfwI/A5isrytExhvoTbgScmp+Qwjz8nFudoa3CuTk=
=DerX
-----END PGP SIGNATURE-----