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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.3-1build4
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
 f5ff3c89925211b0b4595526aa3edb68d3e782e9 9092 mathcomp-algebra-tactics_1.2.3-1build4.debian.tar.xz
Checksums-Sha256:
 a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 8bcebcab296f9406f807f65f8f07e16207131ce6e72cf2a62108eed8d34349cc 9092 mathcomp-algebra-tactics_1.2.3-1build4.debian.tar.xz
Files:
 c6c37f70626cb344b6f5954203ac6cb5 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 c3b566beaa1064d248e2593b495de2be 9092 mathcomp-algebra-tactics_1.2.3-1build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYJwc4aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0Wpw/+J2MG9HWK+eYPL3Xe1aa0
VM13q4H+aSPtSPHkuqnQ3fxf1FRH8oqK53/WzUKqC68THgqH3rHDfSCc4CC1ukDM
wta5Oc7UZAXbMlA1j8wzRhqzvb4HV6f9azB0stIn/lktrK/be4NJMyB4JYy3hp0s
gEhlpOfIz7mtcnsjgFwjMJBjxjeLWY+gwraRKqEkzmh70o4oqLqbP8A6xKxscTP7
6JPAhbwjZsn0OIv8WU51a6DI8NwITqF4vaGa6HoWbRGLGasd11LT8JItY0FSZ6+S
rj2Kxh75pgMHakXDRU/r0e/T0v/lH3+Uxq5X6etdWfxYociaVxxX/i6lOQmSyD9K
KNafvufyyQyDrBOFXNgFdxNQCF1kzoM/CItY1lzFanjp9DgoADLTH7RgqPRfGimm
75gwlDooAN1aLzdf1+Kmpq/rS9JeVvdoIDyB3Tb4apyX7QFftgPDBCa7Jm4kU5b0
9S5VN0qzcj38OmTm5eggkriQpsbnylzKJr2GZnfmGOqwAJqOUmLPbHM6LOujHHEP
gEjDc3AWQrhHpcBAlbz5o8dbhq1vMfnhB7SSSfUZHdoCcIcTzWxBWOqRHjXhaj4F
HIAMZ9j3XHv2MDpJxAYYl7T1F1sA7onFLx/XZ3ivJTQqYQtRy1dYjO8KPWQkSnzS
tFsRnFfLf1ugYPlf3fyaTP8=
=Sbj9
-----END PGP SIGNATURE-----