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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.15-1build3
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
 be090b57fb0194f91824dbd461878bf00d750260 3624 coqprime_8.15-1build3.debian.tar.xz
Checksums-Sha256:
 36dfc96d42794d44e46aa8e66a58f614823eee2fce1e044e162f2848f1895ba1 987167 coqprime_8.15.orig.tar.gz
 11f52f60e0f733794ad3da9bef8304b213522a57a1410827e9332c547dd77f54 3624 coqprime_8.15-1build3.debian.tar.xz
Files:
 0dc627139bc3e53bf5ebfc0a0803e216 987167 coqprime_8.15.orig.tar.gz
 7ae573eef00c05e884627f7d205bb0da 3624 coqprime_8.15-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOwGJAACgkQ808JdE6f
XdmnVhAAkvBEz2bI/URD7pZoqsveWI/sVcK2UccqkL0r8lyjvXWHKjju0tjuVuAB
Mr1P7m1j+OWgtw4wWHOY8DsT8n2ld0ZWtEzoOzdmFScBd30E7IGQjGJVqSt1p/Ex
6LRDGqqRyJjB8KEE9W+zJfmG4p1Tsf4F94waaibCSsSuPLDr8n50QvElDfN3r5Wv
+XR8ATD2OOLTJL4MdEUfnDPpCmLuQQDqa+IAZ9WaOAQXYrIKqZd3gC4MYY+Ijv1F
rsViMmENlelR8c3Uop9OR+VOFat0Sd8aokVLcAPv6x+mqBpsQ0zrgen9MKPT2DYq
MRI5HP3P1s6O56KRIJsWHPUhC7/FfcQAkPjqJapIIF4ghGFPFGdqb+xzPjaoYUvk
OeNbJt0KlAh0fm/dX8NNEjq61dWW5bmfKFXeRbhWedVy+Eyj4TU1HrazG2s437Yt
2LWjM8jFE49D5rXZ3asqOy04Ba3w+voDB154LKxk8OKgwwL2iGvRSe4fCJZcJu6e
7mWsVNBYqkpQuRcxGCwYXx2663koawdxbPoao/hxZ6fUryx0pyEvQCmRlabvNz02
7T0h929hrpusfjDPHMFaenDbD5zeC1dck4zbQIiYFWCfYUx2RIyjsfVHKQZR7rDu
UXd89/QBICTU7cqwMaEOqYskabXYaiXe9j4dF1WvV5zT8P5XDvY=
=c2Hd
-----END PGP SIGNATURE-----