-----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-1build5
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
 0885b377847c146262472fefe43b99df346683e3 9172 mathcomp-algebra-tactics_1.2.4-1build5.debian.tar.xz
Checksums-Sha256:
 a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 4c365cda6d286aee5700d0f13e715a9eae49f2d412fa8a3423e2f7a9888e11cf 9172 mathcomp-algebra-tactics_1.2.4-1build5.debian.tar.xz
Files:
 c40b76dcd1d06f593612d4b395eb4add 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 2fadb9e154397529cc715b2760542699 9172 mathcomp-algebra-tactics_1.2.4-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmi0oI8ACgkQ808JdE6f
Xdlh0BAA09ZaPYulHY9M2xr8ygmhdPGAJ+jiXFJWrKSaOyvR8sLc2G+XbMie0oVH
51+JPzNs13uh+KRkyngwrRd3xNfWK32BaTWkUFdzVhLcC0VPicDDboCcTtxwZs1K
WWfGJtaikDTGEd53hAluSSTUW9idcBPcHe/rhG7W7RBOZ0QYcR/mWUwgPcPQcLU9
C6e9QXu1wNwBZPjv5QA4DcgjnBCl9lsZzqtLRlQ4Yu70zzX4SRNjS1UClJHN9ip9
Bxuk31UNk+FEcejHlMsKQh4VZt2Pkfkl/k3JFrDrk6an/qDCtIXnw14RoxWkdEUm
ZFmMAtn8NgJTshh2xOd5lm/pA2L0b1X4P8o0MeBwhprqAEhA9Dww7E45oS/67Rvx
TJ6OxZuYUV35PrE8ktWQZ/muue8z6Ekeferu0sW6ePwaG5Wtn4jSAUxeW1lr0w6Z
3Irx7YqATXL84K6eoP4i5aLceJCk3VYC3yRMKrX1yx/Sd9UZVVzbquX4B6wAMLY4
xKKyS2rOQJL6gtA7pPJRLrZb6vDN78BhXhGQjMkDyU2a+MTl3pIGB1e3kv/IOjt2
QiLJ/K4vhh7+npQHhoKdERLcxHMWPXwOg2nzMmnveLsuPuj3/x70fDizDLB6/XEi
dHG3ViA8t2DGkmfRwTKtmxYZChrgi4OK23cJ/5DB8JGEEp+9QO8=
=JdyO
-----END PGP SIGNATURE-----