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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.4-1build2
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.7.0
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:
 ee8e62d503ac875f9680d5438470b5edb826d2c9 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 b87075e121aed6b77656fe69f87e9c6ba8b6f3dd 9120 mathcomp-algebra-tactics_1.2.4-1build2.debian.tar.xz
Checksums-Sha256:
 a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 9df49bd42bcc53eeb09dcb2b2fa83e855ac28c15f6cd81909e6c743c75be5d80 9120 mathcomp-algebra-tactics_1.2.4-1build2.debian.tar.xz
Files:
 c40b76dcd1d06f593612d4b395eb4add 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 052bb5c2a6e83ef78ea92edfca6c9e1c 9120 mathcomp-algebra-tactics_1.2.4-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgc6I0ACgkQ5mx3Wuv+
bH3fDQ//UQ7JYfbYWQPll6YO0hSlrBOdbAFxIN6D66vBU6ZcZr48SkQ/LOm80TDh
VzxFdp/ST6hMfCNoh36UWC3pQhnNZjJpz/hN6yoEMvZxlQgqYVZ8jf+X7OconHl/
f3nL1/f/xQBVlht++DGGsB9OfP4hLkQDHefTVp4Y8zOy/AU/RoCh4Rx7bZm/H4q1
TZR8yfwfDOjIv9Ua+sttSrj0aNpPAL9PVmQrevrX2nLg5KzU1Q0xd/vtjimHRgC7
MDCs4zRzkrGuvTppPMqcgpO2G46Kv0rf1ZMKi9pcXHi9hX8RmyXrfRKP61gS21/m
fjaTzo3iajMTWTnbkKR3bNyyWlvyn2dOif7A8jpRxg9mcy0ngTndem9IZneNrIav
VEulE2LoJK20iap8w3172H0pT0csK38MCvTcEQU6K6mLYcbMxpXOePiRwDEdA7v+
ioEzWpTctlJQ4mtYrLNanJ8NkXacOVT+Qw+P3K4/fLPUEwTYdtWyvXQ8PztlIKk8
yZtSP5dWtf0wwyv15F47+LHLb/K5zVNRKTvWxm81BM+aZMw0TdqYOrHb7pNcKh5x
zC/m7nLYIr36cYUJ8DlRzO4zrdP5cL5CS6L+xPL/NLOd6128hjprVdHRSsqVDM/P
eJtpdQouKk9R6oC/QYwezrc0E9AW9a4NShTa4hZkbwDfaa/liyc=
=03mG
-----END PGP SIGNATURE-----