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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libaac-tactics-ocaml, libaac-tactics-ocaml-dev, libaac-tactics-coq
Architecture: any all
Version: 8.8.0+1.gbp069dc3b-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>
Homepage: https://github.com/coq-contribs/aac-tactics
Standards-Version: 4.3.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/aac-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/aac-tactics.git
Build-Depends: debhelper (>= 10), dh-ocaml (>= 0.9~), ocaml-nox (>= 4.02.3), coq (>= 8.9.0), 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:
 6a348aec1983313a9341b874a960a168758731ed 65943 aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz
 4bae44570f4413f9d4e19430222f2dc967e40dae 3524 aac-tactics_8.8.0+1.gbp069dc3b-1.debian.tar.xz
Checksums-Sha256:
 2a4273bfcd7be376077c8160f949272e0028b66d69bfaddce66129b47267a95f 65943 aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz
 33856dd20250e48b1386e46f3e7247862e347adb611c1e15e86a1e2a8d981ff0 3524 aac-tactics_8.8.0+1.gbp069dc3b-1.debian.tar.xz
Files:
 622e53bb329b77950b4083d5bb76fb0a 65943 aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz
 6351d8cdbb1c09c4616e6f7d71ba614c 3524 aac-tactics_8.8.0+1.gbp069dc3b-1.debian.tar.xz

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

iQIzBAEBCgAdFiEEQbf+q7LkywHKVTMA5ZUVm53A7cMFAlxqDNgACgkQ5ZUVm53A
7cNlYA/9GWPwVeQbTJQI4YpqbIg6toIT1SjC+rE7Q9+ctxNRHKi6kpVc1rjm4Djg
cfy5Fy1fS7vYnhCXKiF57SsGYJspw9/ZovnQN/J7y7Ethao2Si0hD1ChDnof0wJW
dF74Iu5/zq5QSr1MvedT1P0cZ5W39j9vrCBoqIrGXI9gMtX9eMd11Y+FtnKUMO/6
DMv8Pxj1RfjPQb/oEBV1Bx3RloH+qj5AxX6w8Fw7mj/l34kir7BGnZvsy7NoK/pS
T+Nv4MwpZEpmCmaaCDQLkcs4YcV5hrd/QhrMRdLC58Akq+r+0fH1cHcIyL6JUX3R
eUXYFoRr1N+cOBC4CFB5uyrDropeQTwHYdWH1JT3vw2iqRxgyuGv5hDdUEDb+0LC
ZydIF+z7Z5opiE6LsIgNYIhX1c+fQCY/xCYdORdjKhN92WDe50KpVf7S4N80I11/
388M7ojapcPS3fL6U/EUnZHnKCwtjIURpfl77yEwKhL+HTLDtSVuhZmLSgdjw+s0
B2rAR+1QLiP6wzYd51JQ0aRWFlTNY1HcwjoAWIZ6Lx7euJZVEI/yYE7uK9J+xo+f
0k3OnJKPUFoZMD/M74E7xRCWFuI2cH/OuJ0MfUvz4foghSg5i8yP3OHqPYZNW6dW
Sxh5jmTZfj/GxEiAAvph0Oy39vZ20M/K+XDI56KUkXfZgYISYm0=
=tBht
-----END PGP SIGNATURE-----