Accepted coq-reduction-effects 0.1.3-2 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-reduction-effects 0.1.3-2 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 20 Jul 2022 18:00:10 +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=hGAKpb3QUojAwTqUfMdeYOy2u7tTKY2rlkdXc55FG5s=; b=Lx7QCy2askjXe7TbJzWlOHPwB9 6azMKMeVMM7ezh7FbeMzD2L3UsW8h0BYVdgusa3oDVKZjdGUS40yzvHLI1xiO5+kBmx2ayxAjU51S c4JmwijaHxHTrCqGf8TeEH2jMF4gnKI36cDILxGA9yx/Og9kRxxeEcO66E7flDONnAmGrO0T54PYN XagLYsh+wZpRl/jgFvnmnZR0Hq8G73t2MqWk//1h/EmZw6xNRvsouMpgrPRpymQQXF1rXOtL71HVP vR2s79+d1q5Ec4puUiij09iVAaVACQKvmd4mUMNs6RjyjnoNY1vuKRGCVekgGzPPu2U9q+EA4asQg uL0vTDFA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oEDzW-0009up-II@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 19 Jul 2022 08:55:53 +0200
Source: coq-reduction-effects
Binary: libcoq-reduction-effects libcoq-reduction-effects-dbgsym
Architecture: source amd64
Version: 0.1.3-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-reduction-effects - reduction effects for Coq
Changes:
coq-reduction-effects (0.1.3-2) unstable; urgency=medium
.
* Complete d/copyright.
Checksums-Sha1:
8a24725624246e9bb6b1fe8cb5b947966aace73b 2199 coq-reduction-effects_0.1.3-2.dsc
0b3b5a4f8186e5827b161d05d79c632f5505d0c9 10085 coq-reduction-effects_0.1.3.orig.tar.gz
553f0a1da1b88d17c69db770515197a9c3635875 1444 coq-reduction-effects_0.1.3-2.debian.tar.xz
43733dadbb5b133b4ffb7a7727e843f36c22fbb5 7540 coq-reduction-effects_0.1.3-2_amd64.buildinfo
06386587b9f7a1dccecdad5b0b8ede699f4ecd8f 2828 libcoq-reduction-effects-dbgsym_0.1.3-2_amd64.deb
d1bc2c703ce193744821c563df28ce95f1348544 13784 libcoq-reduction-effects_0.1.3-2_amd64.deb
Checksums-Sha256:
b574236b425f1913b0d22dc1a30009255f914f2acb60e444037da48d8a06a12b 2199 coq-reduction-effects_0.1.3-2.dsc
6eb953addeb5b70d608b62f1bb8e9b20ac67352cbf5a347fa8493b04070ffebe 10085 coq-reduction-effects_0.1.3.orig.tar.gz
30df938c53d2d1de50ae893ac016a790c610717e4962378990828b50249931e0 1444 coq-reduction-effects_0.1.3-2.debian.tar.xz
9ae4bb43302b533eee069a29d9720fda25e76fad8d13ee2d5fc6b0693cee1a67 7540 coq-reduction-effects_0.1.3-2_amd64.buildinfo
8b7637bc334e28410cc099594b3b63c6848eb9ee2f8d397ba088e9aec7ae92d5 2828 libcoq-reduction-effects-dbgsym_0.1.3-2_amd64.deb
bdaf55e48eda1394896de4f54b99da3518bad1cde0faa965b10c113acc76c825 13784 libcoq-reduction-effects_0.1.3-2_amd64.deb
Files:
fd7ffbd51e912c6909aab8cbc35089db 2199 ocaml optional coq-reduction-effects_0.1.3-2.dsc
d35d53ce952676472249feba84ac5c53 10085 ocaml optional coq-reduction-effects_0.1.3.orig.tar.gz
268eb8cbb39894e4a87a0576673024c6 1444 ocaml optional coq-reduction-effects_0.1.3-2.debian.tar.xz
9210ac0ce73095ad02efb760a4e26ca1 7540 ocaml optional coq-reduction-effects_0.1.3-2_amd64.buildinfo
6c85d32883d1bce2e6c08c6931dca630 2828 debug optional libcoq-reduction-effects-dbgsym_0.1.3-2_amd64.deb
328bf3cb518f89b056fbf4db4bf8f1cc 13784 ocaml optional libcoq-reduction-effects_0.1.3-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWVckSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR31gQAJMrBE0hXbY30Yu7SVG3KzHe6TshdVM4
V0NfoaoeN7v9V/bVVi/LEttpCL8tzoObFkJFAfT8+fqTCrUsaGUWPQdFELBLSxF9
c20mZ+34tEn/A3vN6NmFfzpINePmNLxpWgBGTNqbmWVUYY1aKOMvwC17XjASMXd8
GmqZy7grHsrKOgUaWFLLDKnOjSfnXSKWQBoDWbKHjcvYa/Bj3HOfDyxIOMdTyx8P
w8oQJRu51STg2uLqwO2R9l3Y/MqI7LI7t3gJS6dY3jsPMhxABwCu/K752xsZhc4S
w0PDd2OVRtRBbnon3QbD9ZVEDE5rEQBIn8VvHLTZlLm07RN2B0pvPJ7dnYutj75o
xb263lbgLTG7mFYMUMYX7gfQaH1+/Z/oiScpMh63ITqqSIKeHy2QCYJh+EODK2Ph
/XGLSprFr9R6+TjLPFbOIdae/uLZRrfpeRtJI027QfhRAFAcG8tcggQPgimFKgy6
O4BDIXSMmJ8HNQYTIs6U6qP0yrD0DtUoQGBOf1yIr2u50XDwTlHNJIWyr2qqSZDe
39kopiWIyJvR3U3jlZ2FfCtVtgcuzlnWvyMiPAayIozfGJrsuvnsseFjKOerJFam
PiDom9b5HPxZ0seEMjkunYtU1SoHp3BXgtVj3v+UE4vPzyToWNA12Zr1tRKW2pdX
pYOosCK3/kyP
=PI4z
-----END PGP SIGNATURE-----