-----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-1build4
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
 3be9c7007c10eeb09cbe5108a266547e5fb8de7f 9152 mathcomp-algebra-tactics_1.2.4-1build4.debian.tar.xz
Checksums-Sha256:
 a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 b26e421f254174972df2ef92927f785d14247f41f6198fb3c6162138e59e2e59 9152 mathcomp-algebra-tactics_1.2.4-1build4.debian.tar.xz
Files:
 c40b76dcd1d06f593612d4b395eb4add 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 cc9a8ff3f888a604b49e6a082dbba4c5 9152 mathcomp-algebra-tactics_1.2.4-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUPHcACgkQ808JdE6f
XdnoehAAiJuh5GBQkbn9ZCXpEBmE12Wdag2b8VxiWoYDVe4K4PiGGLS2JpbV8Bid
sL1TBhK4Q6pVWVoSKvWipLkCt6jiXSM/JXjV5fu6fIqbPuk+qZA45WNO+7fSM5kZ
8YlbVBRTzuDQ5eeQxKQwZ5d4fHNjdfsQxbZc49v0cuIXWtpWb+PFaYWHohtfixXA
GMZoJKWJqQ2puQvRM5R8PAw/c+SDJTmP7ZdhvgDeCZzBu9lsXc5lWGPqO8jSjoKa
5wEMN9aXmQq3zd1SD3TfxIpKJDr+O7MnNieQWw+vgal8Wo7/nvKsqUIN5hDikhMQ
W4bnyYSu/QtSaUsMnX7TDKPVNmPHAbKXcPebeaYhZHdsSqMWtBRtbzCmicUPGVVX
DhK4+Wa6EV6Iwa8ck/q87h4BkOM4SV3NsnwQhlywC+C/n7tQk8HT3JOFUqJJc5hW
xuuV/yjjIYR0tORmiThPu7XdHjNKsOlw3VQq1nFwQZi15FwZBShTrtKN2vwCd46S
yASkBw+yTrq0gQXjD10KKbE5ia+Hvrl2W8odcbVocy17EyVh7IWEqaF9IdsGbJwT
oPDcjNsq84/yAsTX6n6jMDrkiZ5VmFuYZPeCwa0zkdvi0VfcTs9eTnMrJnzvo+hf
byBEBn5pnXfIGM3qT1tkchqXEHr1G49IpD+051LqzLRmZ0przuw=
=xXrK
-----END PGP SIGNATURE-----