-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coccinelle
Binary: coccinelle, coccinelle-doc
Architecture: any all
Version: 1.1.1.deb-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Emmanuel Arias <eamanu@yaerobi.com>, Ralf Treinen <treinen@debian.org>
Homepage: http://coccinelle.lip6.fr
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coccinelle
Vcs-Git: https://salsa.debian.org/ocaml-team/coccinelle.git
Testsuite: autopkgtest
Testsuite-Triggers: patch
Build-Depends: debhelper-compat (= 13), dh-ocaml (>= 1.0.3~), dh-python, libmenhir-ocaml-dev (>= 20090204.dfsg), libparmap-ocaml-dev (>= 1.0~rc4-5~), libpcre-ocaml-dev, libstdcompat-ocaml-dev, libpyml-ocaml-dev, menhir (>= 20090204.dfsg), ocaml-findlib, ocaml-nox (>= 3.11.1-3~), pkg-config (>= 0.9.0), python3
Build-Depends-Indep: texlive-fonts-extra, texlive-fonts-recommended, texlive-latex-base, texlive-latex-extra, texlive-latex-recommended
Package-List:
 coccinelle deb devel optional arch=any
 coccinelle-doc deb doc optional arch=all
Checksums-Sha1:
 987ec7cc36f02f50489c4f4db28f35b579709aa2 1799837 coccinelle_1.1.1.deb.orig.tar.gz
 6b4477c91825469669edf8f7db659973434aca1c 12112 coccinelle_1.1.1.deb-1.debian.tar.xz
Checksums-Sha256:
 ffc44e6801045957f4fdfc9db46e7433dbc6a01d51b25ca5349b6ea0f58a0559 1799837 coccinelle_1.1.1.deb.orig.tar.gz
 e023cd3670e647782b0f99f15e23131c10135487231d62fc702b9f6d22d37e66 12112 coccinelle_1.1.1.deb-1.debian.tar.xz
Files:
 0617f5d9d0013fc60ac2bccb655d7070 1799837 coccinelle_1.1.1.deb.orig.tar.gz
 bc1780d70273af71e7d9c26642b69bc8 12112 coccinelle_1.1.1.deb-1.debian.tar.xz
Dgit: 1e86809ee4d25e08728a88e29289202497082b9e debian archive/debian/1.1.1.deb-1 https://git.dgit.debian.org/coccinelle

-----BEGIN PGP SIGNATURE-----

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmGrk0oSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBe7sH/133zlJp5AWp2sxbjUX5+jSnL0xR9KKW
QZMH09asIs7qMICE6bGvWEJ8tgpycNOpvxf1CFXBkA0gjFDPi6BUD1EX81AhY0s/
2PJ52DFX/xnhN3CyGjxr8cztC1DWJrWB7lqJZ5yohgmGIjNbRjDnjxAp1y0EKcNr
h3AHkrfMPDkiPMc5lUDUPjCjnV8uNUNr9wvo/esJJlN2w+0NxrEqVi5D2XCBYTXr
EevdMUGM6ZUuOZzL3miMolxwQhcRJlFfTpbXQuLSfxnGZCGj2Vv2eL+6zTGA35S9
Bcpy/JwoioCQkCyrIdGQVJvjuO8rKe6VMya4Lbs1NO1Ei5/HZPKsdik=
=OHHy
-----END PGP SIGNATURE-----