-----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-8
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
Testsuite: autopkgtest
Testsuite-Triggers: coq
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
 05c8d6e93b9d417f69211e380187a16d8a3251a8 8704 mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz
Checksums-Sha256:
 fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 8bbf9a9d85b0bb47b7c438776dd9fb3bbb9ddbfd272b133f57470e6ab933115f 8704 mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz
Files:
 35854a92912c256382b2930619669af8 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 8c77b59dcfa67e1c1e184c9dffea19bb 8704 mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNtF6ESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRr8oP/jVeM9+rUVVoG92XcgaKxvhqyWxAFoiO
B1a3Yfm0LyTIZztNL28WsR0sBnuYA44YCtIM5K0wnh2ak00IUS/92LN9254lyCBE
GfBZhnimGGLKWSiC7HaqJzF2mSkJ2z4aKtA6pQsXfUOVqJTC4Z4jpJ80n0aaIvc0
qqdmVhAKzgPraTrrdkLSS+Moeyyg/H7CZ/xc0YfAnPK1QmO9LZ60WbTrIWA37We2
4gQkwIpO25d4R6sX5nzmEsjzhjvaoLn6vk7KpU4YoUb9Lb6jqZuWaWeAfNWgwwxf
XgfUEQyAxsGjQ+v7IIET3ZaO5xF4GSuvHMEY4niWOmUcvTaL0W+bY5x16djI704A
CLMRagoFMbCFpGx/bjnIawp/sEPZIkQeQ7+4cZoB5r+H43Ac7GTlhffj6mPljRGt
XHH/+h9VsJesaG761S0pkaEtcormS7CLu4S6OfEQMWbrUk5eq6vX2xotxFfoTqxJ
5pz501jDnjR0x4mfD+o8ldXuNCHxlD5hD+H5IznwP+UrE+HjnarEM2MWvQ6bwKZf
brCMN1SsdLMQPulupkA9Vd437fRUGnaQPCCFONfYbn9vipaaETUF8IE5kXYG9296
EYWGaBB4Z3MbGllkPKa0ERlanNHbsLkjOtxzYbCQIpmivd6goKnno4q1lkdO0xKu
LRm2DYiz4i3g
=Eo4Z
-----END PGP SIGNATURE-----