paramcoq_1.1.3-7_source.changes ACCEPTED into unstable
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 11 Jun 2022 22:47:19 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3-7
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
paramcoq (1.1.3-7) unstable; urgency=medium
.
* Use dh-coq.
Checksums-Sha1:
99bd2db288a61e88958807af1cb4286ccfbf79c6 2182 paramcoq_1.1.3-7.dsc
0be17453a41bc2f9f04dc6762a206ff8c06ea370 2936 paramcoq_1.1.3-7.debian.tar.xz
a3a3694db9a0c16380c1ec6aa9de6a4d2604a1b0 6715 paramcoq_1.1.3-7_source.buildinfo
Checksums-Sha256:
1170beb96ea2caea611c4d489d20dfb66adc7b059fe198a0922e9c1ad54866ea 2182 paramcoq_1.1.3-7.dsc
19c81bf4fba95ec1d05b573afa7870443e4d533c38d6dc065ff2dc5c5830e269 2936 paramcoq_1.1.3-7.debian.tar.xz
bbd82dfe294e0242958998e5e03a6b4432babfb6712d7c80479808e72099ecda 6715 paramcoq_1.1.3-7_source.buildinfo
Files:
b236a97146bc10c273c281b3119b6741 2182 ocaml optional paramcoq_1.1.3-7.dsc
33a14d63b784863702ad3386d9ac8e41 2936 ocaml optional paramcoq_1.1.3-7.debian.tar.xz
90d9ce3a55a7bfb67a58fdc65eff3273 6715 ocaml optional paramcoq_1.1.3-7_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKk/2USHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRRZ8P/3nzmB8p5A7apd7wATawn0AofajvcvjA
XxJz0bQqJ6bcGDzRB00yrJPDwuybqM48OTW6QDDIUsKI9teo2bwmGlHeHlI9BAAY
Hwb6EbOtEQiWtPz7+prE2ExxTGC2kT/209JuUvUtlE3YhusqCaQWz5ynP3Alx0CD
A+uMngkNakZn7QnIYuyvd1PxxBoIWoiT2JUYAADAbH8gSmGtakJn43l6mPP7M9fr
bCDRVaIVI+7H6ozZxsdeQakrY1hE3Fypij2/aMnyOxdEyYdq6XSNr0Qps7bmp75x
xa9VBTuciQs+nDytkUtax+02yWBBbT9aCjsojq8tgiqpRSrIFPu/8q8g6zZXpCEt
PA1b+txdcCNrgY6Eic4UAvVFLy9MLDHZvM/QBWQHBTBx7BMkMSJdCVj5PsIfkYVJ
0d7OH131rNq6iNMGfC6dsUTxU7ufXqYWN92m6uNUgoq7zFhnOzXGeWSqFFsLO+rS
qvQ8oT43a6Aw07wt1DugpkKkQhEkYdU7JYCLupUTIodHdoe9XMIBPHfVmSscxb0Z
dZPjn+5DE4gJMklV89lCeyV4FfoeJmnLDnU6avAgpr+CRN7fimM+tLoDQnCLYfxi
uvaLbUces3yj2GqUC28wvibj8pLbj6M0DI+MW2dzW3fmRsXXIGIujYL075s8E7J6
BPAZCRhWQ9pl
=45M7
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
Reply to: