Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Sat, 08 Jun 2024 10:13:48 +0200
Source: coq-interval
Architecture: source
Version: 4.11.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-interval (4.11.0-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.7.0.
Checksums-Sha1:
b3fcc9d3d2df32f8e8e6aaa88e922d81b6b4ab98 2194 coq-interval_4.11.0-1.dsc
e366ac6fffa1a4f3bd943a0e4a639877c9fe1096 301998 coq-interval_4.11.0.orig.tar.bz2
e8efee99824eedd49f5027b9b55ddf2c06f6d5d7 9236 coq-interval_4.11.0-1.debian.tar.xz
1377dbdccba56716ac09d27d742196286cd6b801 8533 coq-interval_4.11.0-1_source.buildinfo
Checksums-Sha256:
abda578daac4efd7f5f661060d4cf29da539b165850e8ae26ff96c8ab6c4dcbe 2194 coq-interval_4.11.0-1.dsc
40a6522ecde1976280167ebd5013f9526386ccf114b3ab6baadc65abe6f3f663 301998 coq-interval_4.11.0.orig.tar.bz2
cb4d547f5dfc589540b5598f1db19835aa427fef98651f70192601210a11169d 9236 coq-interval_4.11.0-1.debian.tar.xz
df7b6fba1079ba5751975aeefd95e972b833ba9fc0d75b35e67d8fc61a79c3a2 8533 coq-interval_4.11.0-1_source.buildinfo
Files:
d75b33b9a56ec11bc746c2d4ccb821eb 2194 ocaml optional coq-interval_4.11.0-1.dsc
e4a529b5883ce16c9fa2a240ba81dbae 301998 ocaml optional coq-interval_4.11.0.orig.tar.bz2
a00cffa6f856b575d143ed7c0490e4cf 9236 ocaml optional coq-interval_4.11.0-1.debian.tar.xz
ac5021a8728c60e7ddddf723f83e2f3b 8533 ocaml optional coq-interval_4.11.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZkExcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVReiAP/3X5JrI+4owxvowS/tWwQaTNmGSHC3xR 5Hqkpc0OoQVI5ziSzMYxcjP9XIwZ+W9y7oBjgduOE7YV8hLY8/mxzyzq3iYKRS6v eCkoA2amqsSyDJpDq4/gbg6kkITTdVr22bmYTuf5Otb0aAmWKdcv/GVOePndfnFz mEdHY4FraEmJd8UPg4Bc+H2nx7WycHLv+NwHB8oedsSsG5VzSe+2XK1m89MvoOQ2 sVwgr6/ROnM6B+5tWFvSxuYGo47EqaYRcfq9h3Q0NlNxw5E8Wg6jtfGj3K8iIcDd 2cuo5Yu6wBy/gBpHIjrHit4BXCco1IUBbLWu1S2qIc6YfIX0mTghoZIGrU/QV3nQ WtDc6vKMFrdB9zriL9K8TPHyYIBWQYBH/pWfwH26J1z3cB+jmuu2Fhp1aLCT0h+f OJlGHrTcWhcaQxM64HIZc6JVN45NVavF2INwm7VWNI/0LJO3+yR1Z1F0nz7OqHXy NISM1tl4nRiAGbHmxWLSMIcAO23b9BWUfz4tIkNrg6dWxxho9ge3cmSq9U3o+bfw V8D8uFuS09Qisg5KOn6rJs+csD/3FM/f7Ok4vuVB5QOa7Ncc4PKMm9P/lr6fbRV5 mev7acDliE/m7xQGtp6CK7QTpITLoMR/gT+ZgX6fecsgirYKXzgjlabO8pDXn7ko
rTiBEUoKAtZN
=Q1Al
-----END PGP SIGNATURE-----


--==============62785732294053993=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZmQYJwAKCRCb9qggYcy5 IT68AP4pD7jjAiCrzPySdrdiNQKkRr1cM1CiToYnCvqgVXpR+AD+LU2UHGgvn7P1 Wxsi/mRIT6akbjEpWBoHe7+UKm1kGwo=uXJO
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)