Accepted coq-elpi 1.13.0-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 23 Mar 2022 22:15:06 +0100
Source: coq-elpi
Architecture: source
Version: 1.13.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-elpi (1.13.0-2) unstable; urgency=medium
.
* Update dates in d/copyright.
* Add an upstream metadata file.
* Add a lintian override for libcoq-elpi-ocaml-dev.
Checksums-Sha1:
7ead37d0f645a6a7530d155b98e91d7ad17fb247 2088 coq-elpi_1.13.0-2.dsc
8475564bca6ccbcf7b0e4a3b74741fe731e9d8ff 2812 coq-elpi_1.13.0-2.debian.tar.xz
4c4fc75b121a5505d1543bb9bc05568c1044c0f5 7152 coq-elpi_1.13.0-2_source.buildinfo
Checksums-Sha256:
b052112a642f441cf944ceaac8a5ee07703c65b84a99191db192af08c2b22661 2088 coq-elpi_1.13.0-2.dsc
64e2ad30505ca11398ddea278fdd5051164c8a6332d7c5fad79b9eb6cbc910c0 2812 coq-elpi_1.13.0-2.debian.tar.xz
54b767c7fd5e9564091beb082ce9c455c36e072d735b953b0fbe68e12fed473b 7152 coq-elpi_1.13.0-2_source.buildinfo
Files:
5d8b0b5a9b55f948e0a5941c1fd79574 2088 ocaml optional coq-elpi_1.13.0-2.dsc
6b09fcc1a8141e4686c7ca2231d2ed91 2812 ocaml optional coq-elpi_1.13.0-2.debian.tar.xz
156571849288542e0a7f6e6613de90e9 7152 ocaml optional coq-elpi_1.13.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI7kEUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRU34QAJIeC9xGcTEY8LmSLB2/KpL2DfKOwyTz
z6iqKZkL86rl/pX+2qKsTQohQPO2gbOP55kAdf8+ijDZZGn3Hv/P69TNTzS8c6oU
ULN+UCffVUPyEtLlJ0kjLuJ9S3RufIDRy6tlpGOnKaIxt/lDcNgQ2Nm7oF8RMqvE
2y4kvlRU+xfW9OZM1+fj17pGFU8Gjxv19Ln4cOgIhoQG7tOF/3eQvS/g+G2ABIcp
tx2D0vk+5095VqZ+v0U9C6AD2L1fa/rof8vthb2yPPV8/B7gAm1Rh4QDTixThNPR
zZaejQP+uAaOuI3hTOKPg8skOK7wRq6nbr45PF16R18mqtNSTBVkbawRnjv3/INO
khECGkRgTjiIb7ZCZIUI6oVdXtXoiKKkioI/Py87LhrhCK1Wno9g9pFG9cVvKpYm
MxmetNua14Vxuc99+OpzTrtTcXLTcwzmCINUfEs524iUaCdcNVKBNg8iSO6AKUkU
Ialz4RUWS++lgqaDyyqIq5qy97ZO/+kv9Q3oR2e32C69vnAWxHAmVhXgkp9ld7Go
mvhXyttLHjWxypZkbDOdQTg1mHy0Ws9JwLGpzzIplJtCBS8wTz0aby1mYMRIgnP+
jzBUvp9C3v6snQHHaAy+628wqBKYdueZcCuCiJ6AA96M8XD/HYrDU9v1Qdaan12y
mqCKAzfOmjj5
=Hpnk
-----END PGP SIGNATURE-----