Accepted coq-elpi 1.13.0-7 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.13.0-7 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 17 Apr 2022 12:03:50 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=T2Qdu2zHLS84knzMUle4h/eUmXQzCovYHLDO/bdnO8Q=; b=gzmH9rv3c7N00p0xOsk1uNEGeX RdjUtnqrYVKFNQsPi9l/nhlOaDY6JcqTi3LZZ9T1nCVfqfmyB6SlhAk0L1+zbCWceG+MBFlxmh7Cp R4s6g+0ch+jnHhwjebTwYvE+udkfRJ0beU5u8IkAd7KaZAO4VG5tNCotPso65FmDO/i11XKCj1Ulu LM98PqihIKYqHDAhbT54dongglV5Yvkyi1hXj3cy/j3BAFau/9IWRMpByfYmxhC/XVdaHG1Pb2KEY jnZpG0rGLXHvN/DyGkKFrT5A0EeZHNvdviNw9nRgAUcwcL+tFQbyj07VzBSfuXpTXfy8Bx/zixW4S LJ+rfMnA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1ng3d8-000Dcd-Pd@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 17 Apr 2022 13:48:42 +0200
Source: coq-elpi
Architecture: source
Version: 1.13.0-7
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-7) unstable; urgency=medium
.
* Made libcoq-elpi Architecture: all.
Checksums-Sha1:
68358d7129c22074ae5d68bd3c7a597050b27860 2142 coq-elpi_1.13.0-7.dsc
2fce95f62f2d24af0370d5db0805df45c2b76a7c 3052 coq-elpi_1.13.0-7.debian.tar.xz
fbbaa7da40a7b98588f86ddd27b87975f983cc36 7157 coq-elpi_1.13.0-7_source.buildinfo
Checksums-Sha256:
96d7bc65887795df53ca61c6efd13abd71df43ccff57e5a5c948fcba9c60defd 2142 coq-elpi_1.13.0-7.dsc
96c1d9dff7c6797e9d386e3ecb0065d8848160c51ed48207942329804f76b0d3 3052 coq-elpi_1.13.0-7.debian.tar.xz
f93b3d27f69a69649d6dee4f43fb3800b8573504aca46fd122d23f5d232b3aa6 7157 coq-elpi_1.13.0-7_source.buildinfo
Files:
a500b6d7a0356df9a75512591ce65ffc 2142 ocaml optional coq-elpi_1.13.0-7.dsc
9ce1c0e51aefbb2b6678ec744417f4cf 3052 ocaml optional coq-elpi_1.13.0-7.debian.tar.xz
70d291c9e1b44e3b81cb4e1a84890f8b 7157 ocaml optional coq-elpi_1.13.0-7_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJb/q8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRhl4QAIoEh0ik419MYcwQHPsVLY7TGWe9N99G
UqiRDggr0Qdf3bGQXPFt6X4T3SU9EtKseJiIFuHnOENF6wx5P65n2WRipwvtysoQ
ESiMj8kGAZ3AQM8b7A8s6vFkvzWk/4Z5aUOASVH4vtBd45MNjYvGpLpKE2llKmpV
RZ0fVpJFRYFb0YsY8ThqPKbUHDorz53dt1VzK6D8PWNEQ1w8ZVZ99gdqvHLSGMSW
m9fE2iVb/uhtHfTQ5zq4qMCNEkVAvaTciElOi6/OSzY8VUtCWayJ8B/XxQMWvf0L
LSHuFJKKWwgZiMq2pjRxnE6PYP6/1wgwJ/hMHyzw7l/gl1V+hijz+QMfcq86fXC1
fnFoX7mriqAfUHJWbfpkHPP3W9WMJdm98ovhhYUJ3WWKW2/U1HhGnP0d8g6BOoVv
4hZJL6/ORiRnV/TmdHLIozwvFcUn8Rla73zjZHNe9rXCUB+tCejMauQvgq2obtee
jgy3cJUfRC5W0E3KczunEO/wMPKKjVMbRtz4hIhCRtseMsavVkH03PAilCg2dbX6
HBg+jXLqdg1dxJ2lJC45AVFZj9VeOmsS98ZNufMT3lfQZvSoEU9Rn0qgCWYyNjFV
Kucy8F9GxC6AqAne6KUSxRwa9fyrG450KWrrTOToEMvi97K2iwDltjBWLxCzwNNZ
Fr09ZVMcfcPC
=MpOz
-----END PGP SIGNATURE-----