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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.15-1build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/thery/coqprime
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coqprime
Vcs-Git: https://salsa.debian.org/ocaml-team/coqprime.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-ocaml-dev, libcoq-stdlib, libecm1-dev, libnum-ocaml-dev
Package-List:
 coqprime-tools deb ocaml optional arch=any
 libcoq-coqprime deb ocaml optional arch=any
Checksums-Sha1:
 54268a36f46073d12733b9ac834b02e529b219c6 987167 coqprime_8.15.orig.tar.gz
 aa2a89b64038072a76a4d5f1a355a0744f92e256 3616 coqprime_8.15-1build2.debian.tar.xz
Checksums-Sha256:
 36dfc96d42794d44e46aa8e66a58f614823eee2fce1e044e162f2848f1895ba1 987167 coqprime_8.15.orig.tar.gz
 49f0572f6a703c9a6bcb06e75b6c180cf8b51edb367c29b82c493b155460d75c 3616 coqprime_8.15-1build2.debian.tar.xz
Files:
 0dc627139bc3e53bf5ebfc0a0803e216 987167 coqprime_8.15.orig.tar.gz
 40310158cc6c6b5f8a937581156ff8d6 3616 coqprime_8.15-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLOZUACgkQ808JdE6f
Xdm4vxAAwbHwYHcPNA6L2m0CYylLxRTlTQG3eVfx8ZPIJHGKUt9WsRlht24HDrif
L7evDR4RUIkYnCb1CVPXfDWupy2K2Vi1roAuiAO7n2zgLqEEzaWgaIE5f0att2rE
wPLBO3n9USCIpTOPxIikYSILyuNkQMhO9IgYyL4NcVRzAg+Y+apWfs3nunGAcMCP
yIgvutHbVrSlMBMVO/CLsq6gTNts4ebHAOHQGLn1ZMS+0qjRl0oDac/YeB/q3w8U
J14YHwfiqVSoLeIeRdtwnIESCKKSo32nVPOTDlBDxEtBG9nCfcJW12MFdIljDW/F
53MKPSNufc+ANM16o+moxzUuHfA3tu33F6TjK6HsblM5QRNRTt0HKpytJ/gyv+ag
K/rWz8HqdkPjf9TIDzkterbVsOElIbRUHDuCFD8ZimmC/sq8B5+Iko/BJyoAPHfp
dW/+7FRRIQVc/H7oyP8oyOFOM0fbJKmr1+9yfTcTLZi2PAf3V7UxMBWCH9pYARBV
MLI1wqzofEJj36fy1Qf0HmKmMJ2lebh5WpZoLDY0xWcUVOa7CspXi/vEjGIVViRS
t4qTYgTtgaDUZtkv8zqQ+OoHlvAM2nn0w0IxotC5O9Mv4J3dFhCIVhkdEx9u+9RB
19JkzKfqwmR2NoiODmfGCiU9Nni0RT0OCTWfCc0+HNwT6t8x0QE=
=wjEP
-----END PGP SIGNATURE-----