Accepted coq-extructures 0.3.1-3 (source) into unstable

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

Format: 1.8
Date: Wed, 25 Jan 2023 13:54:55 +0100
Source: coq-extructures
Architecture: source
Version: 0.3.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-extructures (0.3.1-3) unstable; urgency=medium
 .
   * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
 2121d6306c8bd1e0df20adc99ca03558ce0ca019 2166 coq-extructures_0.3.1-3.dsc
 4c20c691412a8f371b031b056a186b4dd4dd0ef1 2016 coq-extructures_0.3.1-3.debian.tar.xz
 94259713aef3ba86bcadfe86fbd4734f4bc50423 7480 coq-extructures_0.3.1-3_source.buildinfo
Checksums-Sha256:
 731f7c3bc8a3a6523cf006b83f1da2eb8c1e459e7b78a12d7b2d2813c1f18872 2166 coq-extructures_0.3.1-3.dsc
 5123184189321873bae00cbb40b96d2d070a996306aa1f460fb77e789f2c2a0e 2016 coq-extructures_0.3.1-3.debian.tar.xz
 22084d941b98171a828afabeacbfcf00a7766612e8a6acb322beb4516d1cf890 7480 coq-extructures_0.3.1-3_source.buildinfo
Files:
 16f6b523751337d3a6b8237dc8c6d910 2166 ocaml optional coq-extructures_0.3.1-3.dsc
 a7fec3dfe2751d61c7bb5175f8fe71b5 2016 ocaml optional coq-extructures_0.3.1-3.debian.tar.xz
 9025e1955824b54fbec84d14899e766c 7480 ocaml optional coq-extructures_0.3.1-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRJrQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSh4P/0an2N8H8uQY512E72R1RevaYIQUYmPU
JCH8KqkKsrTDmG1tDeWXTLWZpWVia6uO6AX0j5fjnD5Z0KDfUdUecOONgjIssDVz
ZPOEuGG2MgxuaEm55OiEEFjwkr2bxtnAa2tFU75PiHd+DDLdhfGVk0H6cX/maKTf
DGd7qYDYCpTLmdvoZwpcu+1HmnDUCc9uz9ehkfrBBFasNtdS/dA+vzB0wJjVvE5R
eLzmgnZV8YHOGqCt2xmqdl4VsfovT09IBG9758yAOuUzvfXMev7mcg7ppxyGzINg
S52U9QJ5BK1W/oMPdvmD+y5X6CTV/OX4N8oFXckFXUfmPdgzxSdSn00lnO7bZriG
CpV3bSEEEljZDwdskyLPP89H4Zkc+QHBmv/pqdSBiMUuqjW6dpgTMfIaGz/G4ZyO
u+cPfTPh0PTyiVxvZwc+e5lKMxHPlPYX403gBqev7lkhk0TaQ9xVYRhAlTAtiSuF
6anEvd6eyjfi5uIo7itvOjjx8AAsgpn3a0ZWfFG9omsCzmifUVwnO9vTcbdh8AGz
8/GDe62lRsW9eZINswQh328fCIj4zMRs7s6JmHPa+91b38K5iwR30FbTMnEapgRN
V3qyTnMmS1TXeM3zURPiAQ0HlDM+wiznPslKVTwPAlEDbEDbz7Z8MmMg994g2je6
IdDxGlJPks2D
=Mdca
-----END PGP SIGNATURE-----