coq-corn_8.13.0-1_amd64.changes ACCEPTED into unstable, unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: