-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.3-3build2
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
 8f3c086466f5737dc623f9eea9257e4519d2e9da 8992 mathcomp-algebra-tactics_1.2.3-3build2.debian.tar.xz
Checksums-Sha256:
 a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 2bc1e7cd2231e7511420b1f99a3521d57d6da9a3b0c643363fa8efe37302e4ae 8992 mathcomp-algebra-tactics_1.2.3-3build2.debian.tar.xz
Files:
 c6c37f70626cb344b6f5954203ac6cb5 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 06c1513d560775ef123d314f2181b06c 8992 mathcomp-algebra-tactics_1.2.3-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMeMcACgkQ808JdE6f
XdlVow//QH1TYE65DYriW5s4JZ26YZIQogOq+XremysSgoDh1NSSO2IeEdd0vG/T
elqLFdY03574eToI8zbMJYJrtB1OokVtJ5Oqxd1YjtFVsLZinXSn63Gz1WN4VKfv
fmQMeQFOgEopjvzrgtVwgNvW1xqh3AxFXz+eFxgdcBRVtC2u0Aj+fn71WEzSMBEJ
luAtS3N24WGviF88/aUKWroSMeczqIPvfK2g3Axe25Z+CrwyD+CyjU4+O/xNkQ0u
p0rl5QM/m87jllXIPo4ht4qpDwu91JssHBqLSJIg5trCurc648B6e3mjrWeqXA6k
k0NcXaSOd+SkeDJ6S44aJUyy6NwlITDUBfIsNVEk3vhaiSmxLoud9tBIHfKRe3N6
ZoVxE+CfjFF71mZsKHT9uUJ7InA/hAph1ggM+Ce/9TNqsq5xcJKNsNM3jzl/J45G
UUnqZXmvALYCrKSJOO31K4NYCNquX6r/QfPFuN1hsPXOkoL+7Nisn+0Kpu5yKou/
7LU9TJJCKOkZdshXKyXxJrlpE75+FHC0bwsvizdfNnzDfD7sKCsC21Ys2gZ982tr
UaI0ArghjzDLDKfidPXOJL8X30D51/XyYEtU27cAXlHuWYu/alL8dvw+Qa38f+Dp
0rEp98arSjwGl0jk+rEx4SwNJFsJ1EtIbtaj6GbsAyzgz2+Wut4=
=5dui
-----END PGP SIGNATURE-----