-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 15 Jul 2022 12:04:14 +0200 Source: coq-corn Binary: libcoq-corn Architecture: source amd64 Version: 8.13.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-corn - Coq Constructive Repository at Nijmegen Closes: 1014955 Changes: coq-corn (8.13.0-1) unstable; urgency=medium . * Initial release. (Closes: #1014955) Checksums-Sha1: d5bdef4fe69eb357960b2d114b59dc684235f546 2087 coq-corn_8.13.0-1.dsc 5bdf437590ef5e9fb2ffab8ffdf12f0a1bda8ee3 1318281 coq-corn_8.13.0.orig.tar.gz 72d8e51649ef341909b0dc3c6f38ac515fba98f7 3776 coq-corn_8.13.0-1.debian.tar.xz b25f52038d2887d0d91d404c6ddb3af97c65c047 7204 coq-corn_8.13.0-1_amd64.buildinfo 74582322d8d830112341e655e5f8494925e71348 11268868 libcoq-corn_8.13.0-1_amd64.deb Checksums-Sha256: c74fe4d7bb6a36b958d0425df4dc25eaab5adedd759350da15e64459955fa226 2087 coq-corn_8.13.0-1.dsc 9550510d8b105d54c43003f45662c7f24fa02906fa96a2df46a324a9ea5e710a 1318281 coq-corn_8.13.0.orig.tar.gz 41b25c9404c9f90dba75bcbdcbcef2cd6ee4499aa58ea2339c4d3f098aa5f554 3776 coq-corn_8.13.0-1.debian.tar.xz 3bdb365388810ba125bd55148442c8b8795ab375f5b7aed6fe8b341b56faa72a 7204 coq-corn_8.13.0-1_amd64.buildinfo 7b0b7b4b98674d54a85351c87431ca675415d0e366a6e9e8e9d2021ff80876fb 11268868 libcoq-corn_8.13.0-1_amd64.deb Files: 99525520000e4854ae423d778b4f7178 2087 ocaml optional coq-corn_8.13.0-1.dsc f1ccab4e4c264818e5f6b790967e4efc 1318281 ocaml optional coq-corn_8.13.0.orig.tar.gz b6c7dcfd96eaedf07ee7d156ac889937 3776 ocaml optional coq-corn_8.13.0-1.debian.tar.xz 58b762501c87d5735449b6fdcdcf3c5c 7204 ocaml optional coq-corn_8.13.0-1_amd64.buildinfo e45c2659298633befc1c940322cd15d9 11268868 ocaml optional libcoq-corn_8.13.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRQaISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRrRwP/iilHGqyrGx6G+hxC7PonSg7KnKfNAr7 psR4B+SzYE0lplJraJry84crD7vVcZKCNd8xaDMtGoV1IGRgzZtowJB0qRbJOelm t8I/Ni08yKMf/BKCkRLdr0fsITV4SpeXynerDMt4r1zrI1YYuo9nJgb+AgUhNus5 /IbJ9NZiRy8kGS8gHMk0JdUSpGg27MTfha3isHJ7yZqXA+xU35JrJGOE6Xo2QksM GYRfYzztXHFW+r+L+z/6ff32/Mag/wC9/PsuhJZ0UvI4LJ3euc1dusxNV8ioGb38 1EPoq5tYLdD9ofugF3etz/x9tMx+JMxPs3dMqv6CJdCLr2lBRFFvtmB+YEmmLW9d dA0lcsmjAMS+NyKdOvtFbBRUteDGZewXqKiqhavY7BlHGLSzKgtdAmmWIoK3YnUK k9ilzFJlpCkLdg1kXt3TtsUYniHZSqB/f/BF36FpIaDJLkOAayVn35il2jkedrDD BawQN25MUdt7AcEm4TUXUZcvP3ZLIoZKdrHVu30FypvyHU9+G4cByG837z16NDiK dd+bkS3rQmL15cwcwozJQHPogeuSJAQ0RPp4N8KJtQ8qZwUsh5yuxma6bP0oDojr 9WEgiHT7dCaDAvHbVg+CqevAUAlkP3HrKWefAGu7Yu3qNud47JXOGEB88vLtTxvx FqcQQlC4NZXV =94Oa -----END PGP SIGNATURE-----
