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

Format: 3.0 (quilt)
Source: advi
Binary: advi, advi-examples
Architecture: any all
Version: 2.0.0-5build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Homepage: http://advi.inria.fr/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/advi
Vcs-Git: https://salsa.debian.org/ocaml-team/advi.git
Build-Depends: debhelper-compat (= 13), dh-ocaml (>= 2), ocaml, ocaml-dune, libgraphics-ocaml-dev, libcamlimages-ocaml-dev (>= 1:5.0.3), tex-common, latexmk, texlive-binaries, texlive-latex-base, texlive-extra-utils, texlive-pstricks, texlive-latex-recommended, texlive-latex-extra, texlive-lang-french, texlive-pictures, hevea, x11proto-core-dev, libx11-dev, libxinerama-dev, zlib1g-dev
Package-List:
 advi deb tex optional arch=any
 advi-examples deb tex optional arch=all
Checksums-Sha1:
 5e7696860c90d90efb42c22378d8a17d29ce9c0d 8642993 advi_2.0.0.orig.tar.gz
 3932dd8d21b4242ad84319005aa52077a24d43f5 22436 advi_2.0.0-5build1.debian.tar.xz
Checksums-Sha256:
 7340d01e5bdd7a42725c2c66478f94b7f9e3b680b39aa5fa84d6b336ff0fa414 8642993 advi_2.0.0.orig.tar.gz
 278f62c79e8f96c3ecfc22850af3abe82f157d92d6c04d36dae94cef1d5886de 22436 advi_2.0.0-5build1.debian.tar.xz
Files:
 f0b657b612ea65d375295779ab6fe31a 8642993 advi_2.0.0.orig.tar.gz
 d71f4657d6d4393e1f7899e28516238f 22436 advi_2.0.0-5build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpMKI0ACgkQ808JdE6f
XdlX5BAAki9LiZuRo6rQMhsaiaCp17ctohW0Wl0yo4TxyO14bCbVZooV3lrGz4eS
qWL6QIx8alKtN+plT2SvpYWfNL7ByjRZAOKmyi9RBOvkcGhrNkGDdKnqPCOn5Klv
aaEcOwVAfEofTIXzeNspcYH0Pb/+ncancYuz0ptzAo7oLEyu4iF5XY4RDxi+i8rs
BcUNwPxfGeMlW5Hu1G9tclDHTOmN59TJ4cvvWSMMyKswdFSBygQbXNT/FfeoeGul
NeVIA5vxZQkTfWR/qGZ/diu0J/JJBEtVTdUWBkLchsJc2xG23k26RLq0XEP+qAYq
8ZWkRho5yJiOaesq3GmLkvT4AReytx/8VHXLLdHIKCyvzzKc6gCMQetJWwcZ5U+P
VCWf3Fl0g+6dTeq//i9I420NUUjF+x5PU1JTXbt1E9/1BE465TO5o9+m9ctlX7uH
k47rLuyHgRTr7eHvx+wWQ3CzSUNzCQwKcDLV4HmMClyQQATIvNrxcW5ZAlueYOZY
A01ljo8XkxPcToCI/L6FlMKIP4XRZQ1Zyexzzb9Hjs4W9RhRW5Nxx7dPhlZwuTAc
cw0Oto9XvafwyA1/lNIkWa2SfbKeXF/0PX1zXNRpDJoC8bxo2Mc/bdBFcQ3mivw3
7O0QqkV5tqAZDkUUIDMkMpoQmnZeR56sWEyvqWpxwalcNWhKzbY=
=dDja
-----END PGP SIGNATURE-----
