-----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-1
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
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-elpi, 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
 8147c90dd13b38c8843aed34b0dff1eb052bb364 8488 mathcomp-algebra-tactics_1.0.0-1.debian.tar.xz
Checksums-Sha256:
 fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 aaf2dbfee491c3f2d1838764692c093a3552b794bef77bb1f7d58b5dec610fca 8488 mathcomp-algebra-tactics_1.0.0-1.debian.tar.xz
Files:
 35854a92912c256382b2930619669af8 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 4f4bd9a1728e09c0ef838b0c742dcb7b 8488 mathcomp-algebra-tactics_1.0.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKEnfoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRKScP/3PushOFpZoex0JV7feZ5cZ+751cb7/0
lsZoBFw3sDzATYralSwisMxMWJg6hH0kBEX5G2nEzwncCTUiovqpO9X5CQKM1F1q
hnUAqtXRVC8OY0t1E6jjlFvIhLDzF9t4AB1Ygghh9l2o/y6nIsI77Kd6ywheRdrw
Wl5Z4v8yfmwj70sxXON2XIbcRcGCi21z5dU6kn+/fA+C9Ii3LSTFNQ6prfiUEt3s
kpm7zHTZsogsh1CCwFfNzWW32L29xfduFVoR5VRfN4qEHDFxTyf1t9WW3hVNkNjR
qeBV5IGRUsMyn29+W/cFRLqmpqbx3IZKifCqGHtf1w3pDFzFLA1lVPEoLcV6GUqt
jPX9Z0LHzgrbkthl+IYRX5bTnLP//oRL1rCSFnDUZa53GxdQdBLJehNmEFgVnRrB
bp+/Puek7C6BfaGhSrfp+mPvJ5sCBd2FVT/pQMYL9UMIUYkB6zw3JgYbkR8ZPcCV
cb1RWc9GuoLODPe9FveZdvQi8DcNfHVzeBCNei9th0JeCNsiliayiPfE28YRi3+S
ORXhUQeLFzySbYNONHZz0GkDkMWz1EBQDytSputxEEoLrPWXj/a17sstMHb7HCPG
0FP5gYQZiBmAKjXizepjS6h58OU6CgOHr4irwoPFtYuSXKEDx0fB95vVP5oy6Xol
LkaEOpBh4+c2
=XJ4A
-----END PGP SIGNATURE-----