Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--==============�89640001579056165=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZiu/wgAKCRCb9qggYcy5 IbgrAP0RU8FUF0Ssff2WGtEfXwEM3N60GfNQQ0Xx9Q4wYpEK0QEA86sD2OytymN1 QIxSfcBBTmO8AGd8b2V/Kft1t5DNXQs=i1Is
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)