Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--==============�19764435357074876=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi0UrgAKCRCb9qggYcy5 ITE8AQDf8P6JRpL/OKK7tZ+QE0Ez7q+xMbF8H5dsrfjjKOKgSgD9H+BFBSMbIj1w yLE4cKJED6SyPqkPZyLiIdIPo56pEg8=r6T0
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)