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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.17-1build1
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
 dff8e87f3a5c6a436b56486e68024ec8fd54b479 3212 coqprime_8.17-1build1.debian.tar.xz
Checksums-Sha256:
 db177343c22aa6d5c14a583a0caf2944abb0b48cebd8ce91fc47ca1b33e32f04 996033 coqprime_8.17.orig.tar.gz
 91f34ea26f05a19b8b778581f559061fccba358835e3b486f91bc57a124f5f2c 3212 coqprime_8.17-1build1.debian.tar.xz
Files:
 fb518991998e75ec8ace8f7e899e2ab0 996033 coqprime_8.17.orig.tar.gz
 edfb6ed3bb16dd5bf92470dca274203e 3212 coqprime_8.17-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAq2cACgkQ808JdE6f
Xdn5nw/+NkilraXx05SkSfKU5vjGdS0TQCZLfUdv9i0rWmTDMUC665HbIEdDya8i
wTVXj+tFiGqgVbD3naxOjyPRASlsOgvOfwVBXzHwy8EAUdMqZ9k34ZqtSOpjeGVt
R80ZFR3LYc3sLfLT0SK5odOEU/8Ktv5RCQiSuL7s42wVVJerYrmuJHrhc5YCZ8jc
tvF0bAob+n6mfwEcfl66bvDP+bTdeYXfujps0hKqCysotPDw3W5PBu40bf7iVkT2
2NFc1u6IorfDpBtZT9Jl1L8U8jYQd54gTcMqjl860ay1Qfcwx6dQFNtiXG4MNFHc
STw6mvkrApb8rYMfx2ryYNzQOTtm2vnMC6rbXoHOb9/I7rGMIzUjbcqfzdmbTuyu
jAqxKeSG5XENLe/9wObe9SUxAXOJSsHR+B27ZZ1Wrhssd62YzgHIVfxxBg9eOD2j
BCC3Jjwq1hTcX9vyflKgCCiPgq+XygQ5cFL9BV6m/YfPCJrp87P82L0blW4NGAED
yd/FIKPaqiHR8HYA0wgEjtrvgSVEI6+Agirwnaa8Dd54BBfjoaiHouvGY26VG48Y
iO6BlIX8kvupuvzepxKoIacB18i8IaOpGnJ+xCde47bsAewsoUTM+u3ZV6GaWQK0
n1JZMDOXg1qiKTKmVxkJqsxU76EEijwze1WUMyMp9HEhwXGrOHM=
=oaYL
-----END PGP SIGNATURE-----