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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-coq
Architecture: all
Version: 1.12.0-1
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.1
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:
 22b4483bc8b36a8226ceb9403263daf983a47795 1318853 ssreflect_1.12.0.orig.tar.gz
 ebabea25aed07d2c1cc1bccac894ae6cc7198e2f 12792 ssreflect_1.12.0-1.debian.tar.xz
Checksums-Sha256:
 a57b79a280e7e8527bf0d8710c1f65cde00032746b52b87be1ab12e6213c9783 1318853 ssreflect_1.12.0.orig.tar.gz
 c8141b3be4f18418b83e4d06e60d2e16982238373afdcea1ff6d1645917def30 12792 ssreflect_1.12.0-1.debian.tar.xz
Files:
 a6afdeff50a50117baf9a35dd5601afe 1318853 ssreflect_1.12.0.orig.tar.gz
 e39a30f7bd2849e299a1c47a0c1517ed 12792 ssreflect_1.12.0-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl/8CR8ACgkQdFxHZtTK
zf9S9xAAsvpjjryqwlD0jY+czloj3z3mUflgmNMgl3LORCjkQsNbdUS1jq5stgGi
f/540hTLWmbny7VPxzabVtxnETNOdIn+GQ0Z9ZsUtT5L2AFvPJfgkeDrdPMJ8mQA
MLYNi7stNACpDHoydfP+sRUL0XOHvveSpaqclPSKiRdxGREKaC536KaChUnRvOFw
a+wIe8q1AL6KirGoMd8tyJr4Vg98QuH0n73SRcHgs3qJQ+CJZns3aMrjTMOY+Bru
nuLoz8P0vPpLV81PzzkzS53WsuZ3myXy6KbmN5MHKy+41D3l1BPCHADLRJoA9YqI
j1RdC5O2VdtEotxUSYJ9MeLuDj1mFePgmEJa92vLmlYVVa2JWoWZc3bnhgmblTB1
YGfq334lO1yBR7ccMxA2pHUPJW8M/nbS7NWDhiH3sT70ZohoiU9VA72LeN5qqxfk
0lLWel50wT1as5qHmTRzEI8+jtyENUnyVx+wiVV0TGjVsQVL5chaNsUTBJMoIVm3
o0VvGbrUMSIbDZ8v3+fbmo07Qx+8SLlRW/rBzw9JDsPxDoMzL8OSa7fwIIZkmHs+
LCPIt9X3S6Iv5FfUC6aDYmTEm4ZPDenEdMVa3HDJiN8W+WNCKbPUHrxh1E+VVQP5
LsX9z9PRbge7PQXkonvai2h1bSmgQ0iXI46X331N0PIXYn+D8PM=
=h0vK
-----END PGP SIGNATURE-----