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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.3-3
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.2
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:
 0549a0a8cefb064df69ec32f6f8cd784005d49e9 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 8fc7cdd70cf51aae6d423305bd3a44d231424d17 8920 mathcomp-algebra-tactics_1.2.3-3.debian.tar.xz
Checksums-Sha256:
 a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 890856b3ee1bb61a2638689d383fab539b0bd729d665d9b78625dc85cace5e4c 8920 mathcomp-algebra-tactics_1.2.3-3.debian.tar.xz
Files:
 c6c37f70626cb344b6f5954203ac6cb5 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 4032d8184c34530a268c75b309e0b891 8920 mathcomp-algebra-tactics_1.2.3-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrtGUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqSYQAJsJMRaYMwsnsYpnKqHTvd6Hkr3g55xO
6lmj0R6nzUL4fADMQycVli1q6ebO4TMCSYN4bjY5kOaNKE3FU9LjvuSuf4tUsTTL
sg/KZ1dC0lEw64kxmqpfkvU/mZiJJRU3ETRilvb1C12fZxfgFO9/KuHny8S0b3qS
kePgalpgfOxeWIOJwhsa5QkFu6nm3L7wPIEkSQrblG7GV9/gLwVHOXSHnv3pNrgl
U3CYOJXcdIgF+m/wnxB4NF3buoE3r78VP4VGErd2APoLh6Y5TfzK1/QtwHK5YAj+
YxxTqv9srJ2riiSXJNziNlphn/UWMaZxbzxQyWiZCyU3bjQF/jFtHgrwA5xKahc/
zMPArMH6qKJU9o8MD8W0EbOC3rayvPZVi4WmOxm96NnqRLK+JxpFsjuISDYXWAyL
eURuYJQ7PZajpikhdDu9VXSaUSPuNT4fxh3GrfqZMNJEbevglygEu3/X3Lk8Jcmy
Fvf/6uAEBfvfCBr9WTSI5iVAHcTj65Rsl91S2GjaW2TI5wz/gcGRX4zfwCkazf5x
27pEaaq6bncegWZX3VrS6Prhx6RylJcy+zGWoyRakFljj7pUxn4rzyfSaoyglZqu
tVqvhIGfvSTvoj+Leg3rr2YtIydZvLbpallN9bp+yeOQi81dAMZvWFxh9ElmTl9J
I9ELPyInSnb9
=gfAW
-----END PGP SIGNATURE-----