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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.17-1
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.2
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-core-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:
 866300a5b556efc97c2b5a2331395c2d429cb143 996033 coqprime_8.17.orig.tar.gz
 5547408697babf0dbf5db9c175f5726cfe285c26 3144 coqprime_8.17-1.debian.tar.xz
Checksums-Sha256:
 db177343c22aa6d5c14a583a0caf2944abb0b48cebd8ce91fc47ca1b33e32f04 996033 coqprime_8.17.orig.tar.gz
 ec12116daf3b6307c38917da805f4a6be7bd7426631a46c7c8dad198c2cbd35e 3144 coqprime_8.17-1.debian.tar.xz
Files:
 fb518991998e75ec8ace8f7e899e2ab0 996033 coqprime_8.17.orig.tar.gz
 b1bb3209801f708bcb8f5868ece0ef8e 3144 coqprime_8.17-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+fISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRdPMQAI6umSpq1lV/w25/PHd/38wfo0RPENlc
544SRTYgpcuOCoHjSA7xDgzRN8tx4Z42SPJw+4Rma1KdPeYuTzIVb/DryMmF0QFE
vaV0t7/7NxBLb0IFHqlnpbgR0xpFShqQufBEMv2TtuCicul/Ch4XsCBl64Fc6VK4
ihAebLEGKJZ28pmWyxSPKmE3S6mNR9UN1ijVWxr526x3tquV5QDnWB29HkO9mY1y
AXUrwbvTgUU4SnABq0hxeTInf0ycQ8DTmnZhSnLzOSWWX6+a5lh7T5DbtbuF3n0K
ZigTf0gobxgsbmxnNbm5XfzSaFNvXuVuVYgI59vFOQwEbkz3YAkNccaLy6mECxEQ
fW/n0GEGFQU/qVMccgIDI+Fm4T3ZO5xnhjm2k2XDyIm30fhQuClcc7wcnBOIzGgi
4Th6uoaCfgzZg0avi+E73kitq69Q2rEqIDo0JnlFJ4ZbVTjdRn0b/Ar1moxHQ/N2
3Ha/PFZEqFbFtEL4KEunMJcjFyrQ1ISSpQELbJmZj/p+lGLTYNT23dR03R5hwAXD
VrmjENSKCgBWJKY9+oN+di0ouhfbD0nYKvL/PT7Olt8DQ5pm5lsA12NA7bVDEwff
TdBv7uFgD5UMgSnXT8uL5rD6WqqOCe22hXOmcTi63uVMhlCaVEsehWGm7uvfpP0h
nA2nFGlxWp7h
=S/HA
-----END PGP SIGNATURE-----