Accepted coq-libhyps 2.0.8-3 (source) into unstable

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

Format: 1.8
Date: Fri, 26 Apr 2024 15:41:03 +0200
Source: coq-libhyps
Architecture: source
Version: 2.0.8-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-libhyps (2.0.8-3) unstable; urgency=medium
 .
   * Fix target distribution.
Checksums-Sha1:
 9ff8fbbc1ca7456dd8ffddbe76c28e4aeb38edc5 2072 coq-libhyps_2.0.8-3.dsc
 5b115d90b63370e0cf601f6f694b441e8107b31d 2144 coq-libhyps_2.0.8-3.debian.tar.xz
 71e5cfbbbedd94bc12af7c9268e2fe60efd44d3e 8126 coq-libhyps_2.0.8-3_source.buildinfo
Checksums-Sha256:
 056f88662e5c61e55bd06c9bb5be88d94f37c19aa946fcaecb72760ed6a33dd5 2072 coq-libhyps_2.0.8-3.dsc
 3a1183746213c4d2c84abed076b8df8843cdad011f98a30c821cf656f85a8ff1 2144 coq-libhyps_2.0.8-3.debian.tar.xz
 9a5e3520f738c9df84ee7c01a0ec59a25686c7e194886db612ba2f187d2f018a 8126 coq-libhyps_2.0.8-3_source.buildinfo
Files:
 fed8b9fe525db1ba50265f47435236b7 2072 ocaml optional coq-libhyps_2.0.8-3.dsc
 afc2104f705b690c65dac2a339730e8a 2144 ocaml optional coq-libhyps_2.0.8-3.debian.tar.xz
 337afa9dd74abb94631e58a57482426e 8126 ocaml optional coq-libhyps_2.0.8-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrry4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR38wP/jrI0F4F1dHYTdYt4Oy7it59CtRi+bGb
aDvh9IF8xwaaRHszVttXaHkdTkJby0T+2/3J3NE2cS4CbCKozHO/D3b28EYYmt6+
VB8AjsDw17Eczwqx1QpW8CcSJX1XBGkdKeZwTrF4dBeXVmNB94smQi0uXT93VC5R
Rd+EivjmEmXGbHXlrqRikgyMy4BieBbYPC+gir7YKwDKyO7lO3PrPPZZO16weuQM
aSgC9PzBd5KVNO3pSt7Cow/dR5l/KqPzv461pw9HyxQBSma2SH5oHpgISmWhu7P3
HOWEtw0LaEJK9VrP9RFFt8CDggdmNqEW7ENatX4aMcMSJBB9IbFLjBo8ABm7dkEv
z0CySjTy8/WCFDCE0u60HHfPyhFffJ5vN8Pj7rZI5ggdia0MuTou13QKIw5O265A
jHycfeY7gs22SJ65jufwNzNAXfBwSXn1tBixQ5EQPckChrtTLaIr0qTECYP0zJTw
MSgKFMug3TVa06d+z2aHIxvkzLeUo7IaQ+6hOQG3Pns6xEW4/l9Wsv3qowvzDHDZ
Gw1X0eE2UySpUQ5HFKxoZHDRLrgpVgdFThGeLkPgmOVZxVR9zQbvsqhmC2o8qTpl
yw395jGHjUN5Txunexi4MJW0zrhOZNQYbw291lUtecykitaPbokPmc7z8+T6xr7t
iSN5UTSdRogi
=787F
-----END PGP SIGNATURE-----