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 <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-----
Attachment:
pgpHWO_78YWzr.pgp
Description: PGP signature