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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-coq
Architecture: all
Version: 1.11.0-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: https://math-comp.github.io/math-comp/
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/ssreflect
Vcs-Git: https://salsa.debian.org/ocaml-team/ssreflect.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: debhelper-compat (= 13), coq (>= 8.7), lua5.1
Package-List:
 libssreflect-coq deb math optional arch=all
Checksums-Sha1:
 41645c7695005799ecc684a5ac61f4dce1c7a2ba 1276618 ssreflect_1.11.0.orig.tar.gz
 240293e1176d7f7b534b8f2c3725c7e11297f6f1 12800 ssreflect_1.11.0-1build1.debian.tar.xz
Checksums-Sha256:
 b16108320f77d15dd19ecc5aad90775b576edfa50c971682a1a439f6d364fef6 1276618 ssreflect_1.11.0.orig.tar.gz
 885a3fa2ab2a0d22b070a8c952f778efb34379e1b6e6a0dd1099334142883576 12800 ssreflect_1.11.0-1build1.debian.tar.xz
Files:
 162223122e34e6910af06b6c23eb8c7a 1276618 ssreflect_1.11.0.orig.tar.gz
 f322450201b05bebab45f93e81a0adbe 12800 ssreflect_1.11.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl97E7MACgkQ808JdE6f
XdkGuQ/+KIWGsBofr+c+2cPvTTMk4hFxIA5m/KQ/Es+NHDUcWZyLquNyrgdlXVZR
A3qExrqTHrs+aCgWXCSgq0XdxlyQsUrMHz8r7kvLqLWHZJ9jUpXNKx3kXsp76DMF
E18RE490ZuPNqyYdTu6olcH2TTx92XIM1+sQzhZnXJIBSLSOD2Y8bUJ4QVb3UGE0
/S6xQAlZQXHH2pNoM1XJX9PzMEzCSr7yTpfanoxZ0KnbEb7qVEDiuPh1eDsZ4q5P
BZcxzJrqmomwx/O+QYXza/MQ2t5RBZl8j/SetXj40CpwVCPOSZaesyI0R/D836mJ
dXqpzcLuCo4q/UonLO3jLB3zRj+cbCQ4xe528ZD8vW3+ucUnsopH5ek6hWodDCQU
uHgIk2r6AiyLpaSn/wHvdFk8qP3NDoyS+LglNGS2zhEb/fm+25v/HkGcJV7Tp8hl
nD+5ef5rTOyp3Q/9SUxRknIancI3TvY7A/VBvle8utHgoN/YK9612ri6u0/tdowB
gR6orVACqgLWJQcIZGZtEf6g8TBjDd8lB31aNpKhgustRi1M7pURKnWGnQaHukH7
1iOBRmTE0zQWz2Te4Ial17pFxHhj9PqIfrUKNTMVrhGvR4DhLOCdUqvpWK6Hjvr9
Ew0zyZ6lt4FW7Z5SSfzmRiFI85tpvcgg1bwUneOTpML2TRrNeH8=
=qi5s
-----END PGP SIGNATURE-----