-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 09 Sep 2022 07:36:42 +0200 Source: coq-elpi Architecture: source Version: 1.15.6-1 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.15.6-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 2810ddd0ccc270ae762b67e9e80d537fa8cf91f8 2025 coq-elpi_1.15.6-1.dsc 6b3879f52a9602baf96d73f85756839faab32f35 404950 coq-elpi_1.15.6.orig.tar.gz 4e94d366aeb6435779dea48ec66f3e3430974890 3232 coq-elpi_1.15.6-1.debian.tar.xz 4363a016dfbb48251498700ca30d011e86bc5ad7 7437 coq-elpi_1.15.6-1_source.buildinfo Checksums-Sha256: cc8b431f442990fa227b8d0771fc0abe481e304e6359e4ec9b2a3297c41be31e 2025 coq-elpi_1.15.6-1.dsc 73539a72340aecc2309f30fc1069cf1ee1619d661847494d95a815ca6e8e578c 404950 coq-elpi_1.15.6.orig.tar.gz 43d9e2aef3bba5df2a66baf0d095f4ef6dfd1d663012707fbea39066294e88a3 3232 coq-elpi_1.15.6-1.debian.tar.xz 6ad61a73b985d03c37117291274ea59b571e4bc4c2f7b3ab1e0f60b9f2a6204b 7437 coq-elpi_1.15.6-1_source.buildinfo Files: 229b0f63a238766fdf15e487104b21a7 2025 ocaml optional coq-elpi_1.15.6-1.dsc a51added770e2b7a11767bf996c78d00 404950 ocaml optional coq-elpi_1.15.6.orig.tar.gz 98af2962e7342787717e6cdd1697d5e2 3232 ocaml optional coq-elpi_1.15.6-1.debian.tar.xz e5dff5ca2b582c529e93cfa0ce7e57a7 7437 ocaml optional coq-elpi_1.15.6-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMa0TkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRW68QAJtpJXSoQ/0x4ovx/mU5gxFJzpMnBzZD THUobHRp8bbexsWA6uampdRkbSombZGOSHGpuWntCnSPhQ+JuWYzBGuLIFYkO3V4 JBS86TibZncB9MoLWSEuAEF1jMM9yRetOU4LEbBBbLVPmQLKT61p9NkzThrD2Uvf deGj3P9p1J0Yj2tc2rj4pwhsKXQOtZDNqB2JO2l3Ib6vS4K1gadCq3xVx5cgD93A ejs18QtKL0m1r8Ig4VMiI2saNnWh6qSdcPbRoR9/1QlAyTJRt3JTO81R8fpjfBhy gr9+4RnjSNBRsSEPv93YynHha/957g7lAfJiRxrmqEucGF65y/UmpucogRlMGdFg 7FNZtPadVUeGeslir2LF0AyrAY/O0Il+bJhatVIttaYc0vgJcgrgcyZ9S32PaO1S AG/SDZb9ywzJByAFfub1bq8IAzRI7g6oF9LWXfKph54623kNFmVHDUNUChzJMKM7 24TimIJAwXUGcMI4dTcBbq1z6aEpNl4+GX2sGQjK2BFbrMeOE9TYVdA2Ftf6V60H ayHVluMLc83XP3V7J4DV1vCTPmydO2bUOuo9yqHXKzdxXkxp/GbwlJXeWtHQUvW9 uENsaUgKXyEucW7jIrPvS7yjOF02pRLnymJFE8l2yJ6/dnerTebbf9aYG2wZ3OYy jLlC+FLkYI9L =oC+0 -----END PGP SIGNATURE-----
