Accepted coq-interval 4.11.4-3 (source) into unstable
Debian FTP Masters <[email protected]>
| Newsgroups | gmane.linux.debian.devel.changes.unstable |
|---|---|
| Message-ID | <[email protected]> |
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 12 Aug 2026 14:54:52 +0200 Source: coq-interval Architecture: source Version: 4.11.4-3 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Changes: coq-interval (4.11.4-3) unstable; urgency=medium . * Fix mc2.6.0.patch header. Checksums-Sha1: 77a6e9c8de7caba593d96a6fdd868677aeade9d6 2213 coq-interval_4.11.4-3.dsc 8bf2b4b79c93006fea48563bd2483be932cceb26 346599 coq-interval_4.11.4.orig.tar.gz 2fcb9266a706e09ccd4cfc22ea78544d11cd3c99 10388 coq-interval_4.11.4-3.debian.tar.xz b789d9693fabd979a1a475476805a2548ef92933 7613 coq-interval_4.11.4-3_amd64.buildinfo Checksums-Sha256: 3894f9f2807ac077ebdd26ed026b1d67928069bb233566f93c98174041f306b6 2213 coq-interval_4.11.4-3.dsc f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599 coq-interval_4.11.4.orig.tar.gz 6749a2ab3433fff4b9fc4b8a099d0822fb4336e048a7e185289a62f061d042f1 10388 coq-interval_4.11.4-3.debian.tar.xz c56154f93f8ca42a6b20707ed3315b6307cf415fecd9244304ed28780e9cac96 7613 coq-interval_4.11.4-3_amd64.buildinfo Files: 2123059a79c47f3f710d2472dc543e8b 2213 ocaml optional coq-interval_4.11.4-3.dsc 62fb47fa58c6ce854ea3bf9534a9b648 346599 ocaml optional coq-interval_4.11.4.orig.tar.gz 5353e919ff2b8b2676e9fe444e01c9da 10388 ocaml optional coq-interval_4.11.4-3.debian.tar.xz 7938991eb54f32d03b9fcbcfa1ba1eb1 7613 ocaml optional coq-interval_4.11.4-3_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8bmIZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURJnD/9DTSPvMd3ESLWT/0uWIIBf JbDXeGPkRgbMRP4AjUeGEKASDsVosb3f4lr31HAtS418ccQs7u7w+sf0at9I9IyU N7K90JbIzsST35aYFpxigK66u8tshVhIFUd4RnaxZIdLyNj61M92XREyXfuv5yTi 8zl/4bKXyzl3w+GCuL5t7+ra1DTzpwos1ajfZppHvCFbhGNgqGPmAEsUz779gN9s taxtTbIvHvI34lTAxfNIw1htgXUz6c4oGKAVy83jnZHwaD+f7k9tpyTENYFpqbqX pnDNEYDmdjby1p8R+paT2RuC00Yx27KKa9xxIijjsfXHgvHY4c1R6rZJzJn5YRMs wvLBnlfYHo+iROzpY9y7BqSM1yMEkxPuwkWqcg3Tf6ENXkjdwflqFua6u8DPQxim KhF+nniaQs9bkkgs7l9SEy2/UZZGsdTYUwwX1MBq2jCBPmzyIiMugkK6bAIM8zhy JS2o0lTXR5KB75pwuYsNQIXoK+OWOKy9I11HYOV13apMECrfq5YmDqTw22EsiBt0 CUX3r8tdu6wFGDeYw2FCjpM1OgvZfMo1w80pVI6KOI1SZQBt7lh5YTvGKnqrzjp6 V46Amw+Vfy4Q4ZLTU8ZtgbDRbhNf/pl05YtcVfWhk05iSwwfOQAEnN4tiL87wLqS TkA9GvLB+JXaUdf8Lgc9pQ== =lLSQ -----END PGP SIGNATURE-----
signature.asc
(application/pgp-signature, 228 B)
-----BEGIN PGP SIGNATURE----- iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCanxyugAKCRCb9qggYcy5 IbGkAP982aKVwSTVFMrSvMKDZ0sIAy96Hsgu+UsjnqYafOIx1gEA9N0vXNmPKkMP nBvQuA9rCwBHS1iZ86O5SdN7MWqk6AI= =eIGL -----END PGP SIGNATURE-----