Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 04 Aug 2024 08:40:45 +0200
Source: coq-interval
Architecture: source
Version: 4.11.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
Changes:
coq-interval (4.11.0-2) unstable; urgency=medium
.
[ Stéphane Glondu ]
* Team upload
* Do not hardcode /usr/lib/ocaml
.
[ Julien Puydt ]
* Fix d/watch
Checksums-Sha1:
160339ff88dd098f88ceecb6c43e88f6abf718e5 1967 coq-interval_4.11.0-2.dsc
ca49cd6d3c861f08807567a654daf61a6eb23a28 9344 coq-interval_4.11.0-2.debian.tar.xz
Checksums-Sha256:
902dcd692829fd0c95745dcd450eeb96bda29260f5e84a1f031d4c23e6371a56 1967 coq-interval_4.11.0-2.dsc
f4d1362043c156037ef2fe2beec499e0fd44f16fd63429643bf3492e68d4f66a 9344 coq-interval_4.11.0-2.debian.tar.xz
Files:
8306abf9849f1505afe6b81890c0b073 1967 ocaml optional coq-interval_4.11.0-2.dsc
65794b8c22ad676f57c01bc2f83b17f9 9344 ocaml optional coq-interval_4.11.0-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavIy0SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBraoH/0Woe7/2w7a/d1kEzFClwd4a+kLSq5NJ 27U710Oq6bcD0HMOXpRsHZeumj4m6+ZAzm7WQrh+TUB0DxYe7+8KdKmtTmk4ka1C 5g6JvqmDDbNR/JuePn5TuUeMb3TNaLGXgx2a0JLT+xwseO/Q2k3WU90mDh5t0v7y zCbjzGpziC1hWsXyxgdibplfgtx2LqSt4O2ElhQx6OJuDblRZu3AXqtHFCewZon0 vstdzPeqNurVtn/rwnZHNSOXQqZCfOcxBbHEaj6rtDpWYKx6rfUVXG0wUEuEkbKG ClkMj31kWd4RzFPQsH6BQBx90gNE/j4iyuvxjDpY2Xuf2oMwo5akwKA=
=Dhgt
-----END PGP SIGNATURE-----
--==============F10881330023512088=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8n+wAKCRCb9qggYcy5 IT+oAQCtJNUuiA+KhBaz5jCXoINxHyk4K4dtMWifWQstSjECxwD/cYC41MVnekhz d6fYMsSwZZu22NVpPaOjstGalv2zOQc=v7AS
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)