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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.0.0-5
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/algebra-tactics
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-mathcomp-algebra, libcoq-mathcomp-ssreflect, libcoq-mathcomp-zify
Package-List:
 libcoq-mathcomp-algebra-tactics deb ocaml optional arch=any
Checksums-Sha1:
 aa1c3cfce1fef380c1f084d965e9f39e05197579 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 57b091adc144dacee964f8223f3a7044619eb4f2 8536 mathcomp-algebra-tactics_1.0.0-5.debian.tar.xz
Checksums-Sha256:
 fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 569e52147554df7820d8bfe97fa4766e03524879589350a1b4256743d8c2637f 8536 mathcomp-algebra-tactics_1.0.0-5.debian.tar.xz
Files:
 35854a92912c256382b2930619669af8 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 51c94e7ae6a00b36b1f7c40f73e4dfe9 8536 mathcomp-algebra-tactics_1.0.0-5.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKnLD8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGoMP/2wNFNOh+l/9Z5tQXlv7NRjoC8XXkxh4
ztjxFMxT5zHD89+qg0yRYFDcMX5XKorzFfMcIOBwwSuARJZjjGWuH9ox9OGcpVGZ
UyzIYUannOdAgaKxbkgEcNs+kvjEYFbb6wVCrYcxmMxEX8J0lLoKb2cxfXRLsknw
ZamsKfq8M6Bov+Uce/MheB6UnkN4jNjRFHSPiaTJXRiFi7ZuU6lXlEx8SsvC8lq8
RwG5iRmscYiCJfSKAdYi4Jd9GfgvrOT54nNvq764GMTTNG8zCzeSprCXkAPW5GC+
/9Pv7I/nY7Pdt0Q6KESAySt0pMxETkStJ7VXUQQTaQQimp9RC73z0+cBulDloyUY
+gLIhPt33Vh01sRIh5VgiRngy/ZfwsYYuPq2MEFhIB9PK9THOSXbE8qa0AXGBKgu
8I9l0DA/uEXYwX4mrVMuKMRzi05fO4/I0Fr/Myhhn8tEs4UAQB1Wm8+HPf4q0jUl
H+iC1VAGl5LfSCrQmdmEUHEcg0PKxnuv/HBm4wLiUzVOcjYxHcRcY05ik6dH7TkH
MX1TWdZFAbi77L39QZD4HShSNGJQ6cV63rVgt/tOfSzeDfFhGZhauTogOu+V6Br/
OozX/cUtn3+dcrMTVw9liuyYPy1GevS90Zn+8F/f5xNBNOvDEY0BRyRc7Vui2aFC
9MDHCDJzwQ4i
=rg8G
-----END PGP SIGNATURE-----