Accepted paramcoq 1.1.3-7 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted paramcoq 1.1.3-7 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 12 Jun 2022 12:04:47 +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=qqZSPulrVaBEZyWePZ/bQiTkb6Mj9jbYYgoicgXLf2I=; b=gZymFhu1bcc75bbgBgQcA8e5Cu OwJjdSSn2l79uZrFE6nGN3auS6Sz9Jfd0kdCudB5wsCF5oPJYlGb0iIN1hoCkGsXSMa+Cauyr36uu sduUOZfobX1+o860Rwo6O5xHRTqKGHtcJVs5WXR4j8RxTkShp93pcr1i8QR0LQgkdD5sJ79cGHWVa 2Zjkl61vUvKjIOCcVYj9+q+eLWgzA0E0MiNkYh23BzDqy6sTYItPf6ezTYGIctMlC7h/liBWnZXHw jCrjs4DTy2WGOaaCv2HflDgJGx36sJApo1ufXi0UJhdvA2BxphFEfR3ebNkfyFMDonnw6cUsgec6H AfCPndeQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o0MKl-000DYM-Rc@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----