-----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-1build5
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 4d501a499512875e156c58dace3e1460fdc80e66 9104 mathcomp-algebra-tactics_1.2.3-1build5.debian.tar.xz
Checksums-Sha256:
 a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 fd9952e1b4c180610fee64bd4603ab1e974b2f6e57ca6b2803053c39de28b210 9104 mathcomp-algebra-tactics_1.2.3-1build5.debian.tar.xz
Files:
 c6c37f70626cb344b6f5954203ac6cb5 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 f36d9c778410e280c27c9426b0dce142 9104 mathcomp-algebra-tactics_1.2.3-1build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmlEACgkQ808JdE6f
XdmGeA//d89R4iQC2qmdoDR23MS7i2rZdkLcY7BrVxmWknyRF9vT8ONH7TOCQyho
CBMUWoq2RfiJndRxpvX55taGZYMw+w5JLKKuJ+3TWXjJibUgS4hS3c1SiJIczUf9
//CMqv3cCR6MGLJWkvazvKseB5xJFv8emWARMd6Nc34/rnvT+RAmHWVpJ3b9qrLk
A1Qds6x/5+VI0X4j+/uRU31JTRuhsymgTvcDLswNdvavDfogAHvR52UIq3ha5PR6
braQsDqbdAg8oxyTfldf6J/ndPfVEHtIk5EeH4lrJ08S49uo3dbX7PrT+Ao7ejHa
zlfu5Skp9TydkQZ45Iq/n4SQhyEWvYUu97vLzgTXqKQKmX42uLObNWDPNek30Ok+
EjiH6kZ993Yq99xWvuXnTE+w0t3gkVA0iGhRKmpPMiv7vrwuX9hOVU5h2JGcPUeJ
ymBZvs2eQGEej3FFHjkdixC1OqTtU9pZxt8pspq3df0k9GyCZT0foHfU1a7P9Aau
2yH9ZuqpE2ViCi8sfuiBm9OTgGB7qd9fuHrJMA0O3V/axkIRkhiyFaWWEt4YUkI/
k5JIzlXg/rbkmzl1An24o4L+o4QJDq+HOeuNLkRdTlsb7qChULeRKmMM2EfVaYAe
bxhgEj4tq5cV9XZqTXcrIf5PHvIOUId4BT4yaq4XBsEmVryPtJY=
=dcYZ
-----END PGP SIGNATURE-----