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

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

Format: 1.8
Date: Fri, 26 Apr 2024 16:02:24 +0200
Source: coq-extructures
Architecture: source
Version: 0.4.0-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.4.0-3) unstable; urgency=medium
 .
   * Fix target distribution.
Checksums-Sha1:
 efdd167cf7182866089868020bf02e368b39ef1b 2166 coq-extructures_0.4.0-3.dsc
 52ccf7b4511fc76b4bef50d7bce6c18768602bb4 2272 coq-extructures_0.4.0-3.debian.tar.xz
 ad178b8a82426204fdc8a2ab08061f6406a07781 8766 coq-extructures_0.4.0-3_source.buildinfo
Checksums-Sha256:
 3225931576abf16713801ae1a8142ab27869d07d2a5f072bffa2e45cc5c9b510 2166 coq-extructures_0.4.0-3.dsc
 9f5d1da32b130e789e3a82184d67fb6b8b19824eae2d39f65fcac69eaf401428 2272 coq-extructures_0.4.0-3.debian.tar.xz
 9a470ac5d7688b999a748f4ba59401381d314b4b1fd6bda0df2c24fd4daf363e 8766 coq-extructures_0.4.0-3_source.buildinfo
Files:
 30896e4fe5bf7db53c4b4cd299d09737 2166 ocaml optional coq-extructures_0.4.0-3.dsc
 323e91e10e3ae3ba761b8b2b833b020a 2272 ocaml optional coq-extructures_0.4.0-3.debian.tar.xz
 4cad2108d943d756e61dfc24355be496 8766 ocaml optional coq-extructures_0.4.0-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrtCASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRWygP/2ipNx922N4fQm5VWbH6m5i8ilBwCr/L
igYDEBlnwURkzoeWRCZTwtnuT80IHNi0H5ELgViqTRDHZ1yJ2ANp1rHrx3LC/Yq3
DqZgojOIQH6jlaSw93qs7cZz/Q5pQTygC3EoFr6gG/IDcD7hnqmHSXTvQnDlKqGk
J26neIoeBmst9goKbwUIgFK4MHM2uPiIAkLi9JV/hKlUoTwlM2DhWuMphXemwqUn
EoGJ2R7sw9kV8nr8UAbwqE3PX3OM9EJH/1ujkXAHJatvVcevqq7JJUasccoJS2P9
kmNYyViCvp1dUSeBRxwQ2VCWISOh1x2+7izkuT7qZoyj8XMC3tsrwDK+gK1252dU
B9NtJvIftb/lXZYxYC5h8kFi3wzBS9Il9IhmwekYCBzHEyxhtH9+izwBn5FNq5eU
FrW6R90UTzPuc0KO7G5ttkVmaqEwJDBpSsJrKtrnT2FX7ewPkAyeB2xPhb2rIdqW
auE1UIpBOKRS4jRc/hvEgRFUcJaf8yCIgCrH7tA6OR1HVrFfPaRybfgLcHf/wmYy
3UAsyxacd9UcFqNBtMLDuvDfK97HMcYJYnjiHnzU1fvNBB8og8C4Dm+gk0fu4bVp
ljp4dFl3Og8a2Cw0XwzOamnJRC+in3qpDSYEWmR1pIRNtMrRSp+cpK0wVVQA7UwO
7iEUsc4FnLFY
=3RfQ
-----END PGP SIGNATURE-----