Accepted coqprime 8.17-1 (source) into unstable

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

Format: 1.8
Date: Tue, 13 Jun 2023 07:08:59 +0200
Source: coqprime
Architecture: source
Version: 8.17-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coqprime (8.17-1) unstable; urgency=medium
 .
   * New upstream release.
   * Drop patches (all upstreamed).
   * Bump standards-version to 4.6.2.
Checksums-Sha1:
 3d0450acbf59c5375a28aae7ab1142a5e52860c9 2149 coqprime_8.17-1.dsc
 866300a5b556efc97c2b5a2331395c2d429cb143 996033 coqprime_8.17.orig.tar.gz
 5547408697babf0dbf5db9c175f5726cfe285c26 3144 coqprime_8.17-1.debian.tar.xz
 7b7b302d22533eae3e272051021db64cac26bd0f 7497 coqprime_8.17-1_source.buildinfo
Checksums-Sha256:
 e20f18c90c77f77a05663a5e856baa71b6d001140dca56891b7eb873227c2dcb 2149 coqprime_8.17-1.dsc
 db177343c22aa6d5c14a583a0caf2944abb0b48cebd8ce91fc47ca1b33e32f04 996033 coqprime_8.17.orig.tar.gz
 ec12116daf3b6307c38917da805f4a6be7bd7426631a46c7c8dad198c2cbd35e 3144 coqprime_8.17-1.debian.tar.xz
 748f282563bfd3d717d4ba4cbdb8c6e9226e006409c6513cda967d5b54a22cc0 7497 coqprime_8.17-1_source.buildinfo
Files:
 579fb876102aec363b3325ef6176c63a 2149 ocaml optional coqprime_8.17-1.dsc
 fb518991998e75ec8ace8f7e899e2ab0 996033 ocaml optional coqprime_8.17.orig.tar.gz
 b1bb3209801f708bcb8f5868ece0ef8e 3144 ocaml optional coqprime_8.17-1.debian.tar.xz
 5275a6122a2387ea875bfa381a44e322 7497 ocaml optional coqprime_8.17-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+fISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRieAP/3bYdORs75LUbGvhWYOSa2ziTKXQILQJ
lMp9muiOtmKseJAeNKgurQ3FzOjDbZfRDLtm1/Kh/jLeRb8q9l1M9yj6Fh8SLXWx
5/9zcvDXGuc2rI+dteIdy+d55bbNwmSluaOtB6NA64muIkzv4tkHp0b5kCIRDY5E
eQXsbkTBu6cJPewEljLPUYQ/OROTtE87KxRjO8D6uJl8TDjNwT34nLysQNGOinvy
4UmP2aBJMLarhpBvplXTJ6BYfwTDI3qNHoELpg/AJ8gNr2QB7UdOnpk+Fz0dv1vo
OW0rMCyyijTteFRc818SbooH6UyDOgQAbaD6Hgv+aGe/rqEqts31wiyVJ/PVsR54
nHaqye92043JyL1bzJhexIriYPpAaQ4ycEdFNP7VPTJDbJltIgirERf3Ap6lIfHz
zcMBa9rI3gaD0LYZ75/WnaDhMp0qqYD38ii+eBA7qwtuz0Vz730aRNYlDSWXuE2L
b3CValEc+PgfI5cGapAIMzb8BtR+7GnwAE2EPkccvxSnAllGm1XQnAAmFcKdLQiv
XeTCPxdOatB56hIcvBNqnmS1tiaLxUDs8FWpC2KpVvgac4XR0JZHOjTa6ErOCooM
Vu4TIb8Nzg1qvcSFCqtxRPttlVtfnGHKj4sCiggSnNZNWq541Y6KotxLNb9tFOdG
oK7/MGHaHmvz
=smC8
-----END PGP SIGNATURE-----