-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> 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-----