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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libaac-tactics-ocaml, libaac-tactics-ocaml-dev, libcoq-aac-tactics
Architecture: any
Version: 8.15.1-6
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/aac-tactics
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/aac-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/aac-tactics.git
Build-Depends: coq (>= 8.15.0), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-nox
Package-List:
 libaac-tactics-ocaml deb ocaml optional arch=any
 libaac-tactics-ocaml-dev deb ocaml optional arch=any
 libcoq-aac-tactics deb math optional arch=any
Checksums-Sha1:
 9f8ffb6e72f80d9fd67431091f69e7ee35b1b19d 68294 aac-tactics_8.15.1.orig.tar.gz
 840f05a400ad0704be925778731502d30c3a304d 3824 aac-tactics_8.15.1-6.debian.tar.xz
Checksums-Sha256:
 6072291617423404da8941e0f885dd985ccc8900b085ad71c46cad18f84653c1 68294 aac-tactics_8.15.1.orig.tar.gz
 194b11c8286a84cd31631862850129de9e339051505485a8bee9a8e184cda323 3824 aac-tactics_8.15.1-6.debian.tar.xz
Files:
 fea60f95f08be7275914943979c67914 68294 aac-tactics_8.15.1.orig.tar.gz
 c3d0b79404ceb8f93c8a8e28c2613b5c 3824 aac-tactics_8.15.1-6.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKk/JoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRHrgP/2tA6ZxrDU20+2Ux8+ZSktNoy5OxjyyC
LM/wi4CqcP/VuwcG1qf2LBlnopmtXycomSlxnYhhl42MrjG6VuL5thOdjDchJ1NC
FGiIj6MDpgbnhY1LXOG2hHw4L3iWsP9CiGXxc4UHumprj4PWW4uQtZn7d0gyM664
JPimwsVnGnTzec14/tdEQkLSPikzwAHYJX5kwBNpgJw6hFjNKS4+Omopwhk7Kkxa
CE4CNyBKJtjNYNtM3ExJVelJPuFV2Wp6R9NQp43p7BUpeOQM8biyA62Fv9s65AeG
Pm766+VxMi+F/8K97g0LRgiauNrSwhHDuoKyWXfRlmihx2j29gamIdp+npOJLPFf
aRBEYbScHZssEVNSYhZJ0pPQ2Gt4xbDoCstRkN2ZDpZd3KBdjsCfdq3QPBrPPAgR
vtsqN4LSr+cxLfoTIZ4J2Pc8MpTWcHp+Z240uxg6xb/mtH70B64sRUc5+1Z0WVPW
nm02ocKqz365/07sRLMVF2h2VBYr+NgigNxZa896lYt7jdnOjPKEa6sVyd83atAS
NMQ3xPrV45vvZlZgltDfZUdxKrIQ4AB14RMPNh6RW4R8ddyEnBanwUva9/MacHr0
HWiu8no30BdPp1TUByqV8RuigOwfQ4fWeJEEUElGD38orAAI6WPhBP2CDz1zvYAy
Rco0Pg2cVrVz
=xElW
-----END PGP SIGNATURE-----