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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 0.3.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.0
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:
 d5d1d1a9c294947936c1eb46be782a302c7fb9b7 32700 mathcomp-algebra-tactics_0.3.0.orig.tar.gz
 6cf56eae937ac8048eae370c1212a403755c92a7 8440 mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz
Checksums-Sha256:
 5539bedd4ec15bdccfd52412c618d63b7e69447189bf23289f5169d9e23a8dcc 32700 mathcomp-algebra-tactics_0.3.0.orig.tar.gz
 3b1a757b1d71f13edca6563ef6fd8aa2675a427cb37b596d196df60a2c0e64b1 8440 mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz
Files:
 4056c4fa92303092f4f2abf40dd0d039 32700 mathcomp-algebra-tactics_0.3.0.orig.tar.gz
 2e719a5b322066357fbc727a13bd7a50 8440 mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ+RIISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFvIP/0+2JZgvHg4IT7JWvNClpENTuXpc24G9
1vFCdXV3Tq5Djmp59vFje7OEdzdShkT0o5V8Y7zJtBfiGRapdBogj5RB3SNu39DF
PE7HaqERT1Grg3gTgE5JCd74qlw3CjhyeU2w2uMHD262FjMszsh22uzSel8lF8KM
ic0++EfPWvD/3nL7kq1IrshMglhsOmfOQPHHMU8ujB4wY+jF0uNibvXWgWTFjUx0
2WVzDY8IcZWsndHgLS4OxpGzLteBm4faVPbJVPZN5nnQhFC5spGz1ajdiMmQ1VnO
MMMN2qO5HtnqTzxGs823MRO6bhhr3vhQrhHc4ZIrVGQy84OcSXq0Nv6JsOB4+z1q
JO3KZlomkAMtai6Ldih35ZdIJd8fxblVQl5rdaeGO+n/Oa6v/GqopRBMMBOFH3yY
bhd37huzyIL/Gey0F3CUhnUb2Lj9Z5yExhFhI89hbIczz3JYoPpbUjD2I8vfe9V1
vysH+wp6CtFgDH71FRoZTvYIMLXdoFQV1sWtc9D/R412LIpuFj2EFVDl3eZ2fERd
CEz7umsuctEc7r3TJo0NImsUptpeD1d19BAWFzpbqQUvpzVed6i9kwi1N930z1rl
Jb1E71rXaRbdfuGwWiTDs1/Kw8hNbF2qlgjuBqFn8OAf0Uq+Bc3yiC8WP+B01aox
YLhfzqXgdKvW
=hKk6
-----END PGP SIGNATURE-----