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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libaac-tactics-ocaml, libaac-tactics-ocaml-dev, libaac-tactics-coq
Architecture: any all
Version: 8.6.1-1build4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Stéphane Glondu <glondu@debian.org>
Homepage: https://github.com/coq-contribs/aac-tactics
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/aac-tactics.git
Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git
Build-Depends: debhelper (>= 9), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.6), libcoq-ocaml-dev
Package-List:
 libaac-tactics-coq deb math optional arch=all
 libaac-tactics-ocaml deb ocaml optional arch=any
 libaac-tactics-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 bf4e35a8569a929c75f86f45b9637206f01ac8de 75073 aac-tactics_8.6.1.orig.tar.gz
 2aaf0340f79dc064281261b4fa141efe1eae4e8a 3452 aac-tactics_8.6.1-1build4.debian.tar.xz
Checksums-Sha256:
 bb8ef2de84f57a37a6ba6c2deba87e548f258bbe7caf9126100cc4b95f80db47 75073 aac-tactics_8.6.1.orig.tar.gz
 6f6f5711012e5f99a457f037665ec806e92d4cfd1276d8365d6bb09b4ebbf630 3452 aac-tactics_8.6.1-1build4.debian.tar.xz
Files:
 2d5a77e26ae85f1fb6ab0e5034787d45 75073 aac-tactics_8.6.1.orig.tar.gz
 acd2665a4228fad1a1df3a65a9cd34dd 3452 aac-tactics_8.6.1-1build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQEcBAEBCAAGBQJZp2JTAAoJEMrC2LnNLKX5g/wIAKCQCahWS8teXLZNhQiQoQLj
fzKkpg3d7MPDEsoqUP9pJxMIvRsQL805FWMF/0dZyOMm2mGa6TNf2q240xfjk3ra
nMhByASNnfhW/fzZGjwfd87vmbu2p8Fr/qu8tRBisy+IyrHvjwKFW0zsQFtK6nW5
NpwcFZD5El7Fn39gNjeLLKuoPvvQYwO1qQq06jg2cWEeQRtUWJbi9jQbGkzwtV58
BDa6mHLHOJXuAFg6PsrEUIGie0XVZ77d95K6xe/gTmoyZWwBh884w5ZWcWHj963C
tsdK0s3LySM0zXwZNWWisqs6zkQPMnVJ0l18XW70e4R838uHGfNKDIE+LGx+GDg=
=na0q
-----END PGP SIGNATURE-----