-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 15 Jul 2022 20:58:49 +0200 Source: coq-menhirlib Architecture: source Version: 20220210+ds-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-menhirlib (20220210+ds-2) unstable; urgency=medium . * Re-upload source-only for testing migration. Checksums-Sha1: 2cbdad2e71dedf855d1e95b7d378e08a341b8e53 2125 coq-menhirlib_20220210+ds-2.dsc e845bb6928923d5c50b0ed33e2d0a1ed57f87732 1660 coq-menhirlib_20220210+ds-2.debian.tar.xz 26a179147ea635f35777de19e47e2d0182ef9d47 6852 coq-menhirlib_20220210+ds-2_source.buildinfo Checksums-Sha256: 19c8a9ba7580a5943272a75fc734186844e2ab79157e23d73f75138d7552c4a2 2125 coq-menhirlib_20220210+ds-2.dsc 06bb8d439d7f94e8ab2c88357801792b70cf49cad141cf76af1ad47dd0270f17 1660 coq-menhirlib_20220210+ds-2.debian.tar.xz 1c17189480ed562990b69359d5da072190f4026f01323509a9fb0c3ad4cd3f9f 6852 coq-menhirlib_20220210+ds-2_source.buildinfo Files: 415f17cc4b3a1476ec9a8b32f4756dcc 2125 ocaml optional coq-menhirlib_20220210+ds-2.dsc 7a4ab4cc9b4facfcbc1ef94ba59a2bd2 1660 ocaml optional coq-menhirlib_20220210+ds-2.debian.tar.xz 2d98ca5fa55b4911596a39d5c5fe0544 6852 ocaml optional coq-menhirlib_20220210+ds-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRuRcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRJ2oQAIxwZr0i+0md5dfWlDUFPXArZxK8qaQ+ G2ChXQO1KfdYDRCxLu/pGzePwLACZzwTuOgUyi8nra20ulrBAw6VSk1bmqZE9u9V 5cSt0+buRwW5LpOQFEN4r6UMVqvIj4eMZ6fV1O/5p5RMA3RExZcwagdETHEC4XMM ++DZJ74p8pZXa3QVWYsldVqaDH5D3vYY0+Z47HZSc22GXYAghSVXGnwkK3zm5NFf UagFOJ3MQl23626ahCuoXZAXSLd2faIl5hTP7YjJNPH9zEqmJshkFe644lyNIQ2z GJm+Scg42oGneLw/MZ1vvl0QMWd9GlBVNfLs/ucOJP1Cxb5Eki7SEKfQxJysfyeR 7fAomEIA3IUGgwCbSaGlmoRyE2OxqOMbWP1RtXGZcq3oivdLF8uIn3ktGRT+ejBL fkZdAtjd8gJBTdU8nAPHeXT66tVFbQhqSWAS5ZXGtKxJ76XviRC4hvfTD1jNlCc6 pdzXKzcwEj3OxS/gKEwoX5JMC8ikbqikyYfSTTko5876u+Yf2Oem2Myroajbb9EV FMMovXxHQl9fASjAU085Tnv9BHUxF+O9JqI1VXIDrxGBQT3nAFTsujbfLUrmXSHT RrIHwEjlSPnrpQcXtCckC5GcKjKolmpimGtc2dxaATGPcL1dlGXSks8fbVObkJGj vJz/HXMq+IyI =Rvzb -----END PGP SIGNATURE-----
