Accepted paramcoq 1.1.3-5 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted paramcoq 1.1.3-5 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 03 Jun 2022 15:00:08 +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=PCv7bMAUT5ebY6Mep/A+WfAMRC6lxjTUZFQM0P+hh9s=; b=sexFpkzcmNFHD3oymN5/z7l0h4 hzmNJLshL+i1ShLGHlTa4XhGflHu/Wgh8ZPfqJjK5lrwPU2iC3sULG2pKaw73BbiwJzDcL15WO5Qx r0LS0YL/aN9YZyDe7LgHxJjO2F2SppcbBFB9zK8aLnELl+847+sKhkuJNPFLqM9XqrhB/a9aV+xQv cnHXXaP1FppZD6CP2JMloLRNCMHQSSjcVBc2jDwKjM/D+QLlPJB2Uruw3XIj5gCCqbiH7213Rsfks OmPqah92OPf2lBOI78fSv4QSphxe2XRDR3sEg37+gl+z6PmKQ6uwf6YQ4e42R2HE+zZI9IbMa2vsd SAkNjs/Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nx8mW-000IIH-Vk@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 03 Jun 2022 08:49:02 +0200
Source: paramcoq
Binary: libcoq-paramcoq libcoq-paramcoq-ocaml libcoq-paramcoq-ocaml-dbgsym libcoq-paramcoq-ocaml-dev
Architecture: source amd64
Version: 1.1.3-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-paramcoq - Coq plugin to generate parametricity statements
libcoq-paramcoq-ocaml - Coq plugin to generate parametricity statements (runtime)
libcoq-paramcoq-ocaml-dev - Coq plugin to generate parametricity statements (devel)
Changes:
paramcoq (1.1.3-5) unstable; urgency=medium
.
* Break the package in several binary packages so
the future dh_coq can work its magic.
Checksums-Sha1:
39618b036c0572a9904839971be43d2538a59c3e 2159 paramcoq_1.1.3-5.dsc
b3130daa2f29923bd7f8747ae10c744028db2acf 2868 paramcoq_1.1.3-5.debian.tar.xz
9cc5cf6a7e59cac4c37b3ea14ca2c74081567cac 12088 libcoq-paramcoq-ocaml-dbgsym_1.1.3-5_amd64.deb
c7fb620cb008777fda78eaee94888c00d77d84b6 23912 libcoq-paramcoq-ocaml-dev_1.1.3-5_amd64.deb
9422fa50df483f72590517cbf79d19172dd8d960 97656 libcoq-paramcoq-ocaml_1.1.3-5_amd64.deb
4033c29acff7317e60e022ef552fb0bc933e4970 3404 libcoq-paramcoq_1.1.3-5_amd64.deb
ebd37c8e5cc46d700dd53546296352c8cc91ed75 7953 paramcoq_1.1.3-5_amd64.buildinfo
Checksums-Sha256:
250a32c7d4f0f9ac236fb11bd264e79297bea11259265949e57f2e087190af18 2159 paramcoq_1.1.3-5.dsc
4045252325d67138ca318c978b64bb8331fc7dfff760d5b168cf6d260713b9a6 2868 paramcoq_1.1.3-5.debian.tar.xz
f59ab07d8a87d00497b8dd2844ac149187c208516b4350f9695cfc49f0825a1c 12088 libcoq-paramcoq-ocaml-dbgsym_1.1.3-5_amd64.deb
147e4af47eaf5caab3c38e5589b824eec39302ccfc954f82c05a95d94d23f92a 23912 libcoq-paramcoq-ocaml-dev_1.1.3-5_amd64.deb
4e50cdfd29f0810e63a843044594026db6da5e781f61aac809c2110632bb53de 97656 libcoq-paramcoq-ocaml_1.1.3-5_amd64.deb
9168da96f940a169d05d992720400ccaf1e685b28974fcf2dbc84f39304cb70f 3404 libcoq-paramcoq_1.1.3-5_amd64.deb
86241f4b30e3c14e72a43971d7f8fca77c9cdd30fc691b2e3b15c37031db00ec 7953 paramcoq_1.1.3-5_amd64.buildinfo
Files:
794e0441b95dec80cb36ef202efddeba 2159 ocaml optional paramcoq_1.1.3-5.dsc
695a0e83b88935d2a9377c7d906eff83 2868 ocaml optional paramcoq_1.1.3-5.debian.tar.xz
73418c07744499725095ad9632d05072 12088 debug optional libcoq-paramcoq-ocaml-dbgsym_1.1.3-5_amd64.deb
144e18030e2cfdc827b35a88620faf5e 23912 ocaml optional libcoq-paramcoq-ocaml-dev_1.1.3-5_amd64.deb
d36ef030327652b2457f0ce70541ec4c 97656 ocaml optional libcoq-paramcoq-ocaml_1.1.3-5_amd64.deb
b541a4d29c129d2b18e1bd60b0bf8251 3404 ocaml optional libcoq-paramcoq_1.1.3-5_amd64.deb
e5197b527b1f231b38a3aa5a34316c99 7953 ocaml optional paramcoq_1.1.3-5_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKZtOQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDBIP/A4BqiujhWouix4EAS+mdGg8s6ny/Udk
F8s5xO6jn4d2ICMrAX2/ycBbGBSgDVHUSPVz7jD8xtoM0oyI52OvFx9QmTSWHsoy
aWBjS4ZY3PRrPX+BmZmTQtwtbsyj/cDQxOo6bl7Tw1fSFsxFIObBBQTQiEEN/mRn
NIQYZ0xS7ZJbiJvKTIw9kS8CilDlyFXpQ5vI7K/lGzGW7eIgLEwWFzSdcW1u3FLW
QfJHp7y/cT7btyhPnCGazg9aVOeMT7NBCSr8e2W3EeInOi6scvcneo3G2bf3iziK
Z6i0smgzJkWF/8FCnOXEGZatwCeltn+cOaqs51gqZlgSMA2juT9K6KZxGbm/cxxs
40w2Fif+erVylOICrbNpTa3/7yKU+hyzFEcxRIt5W2aGD760OO18cEZLWLbrLuEf
24uw/avR5NfuKDBKQuceHyPfAfF6cTemJb69lt7J7IYx2nOXIn5VWXcTz6Sc1uPZ
3sg+FQ9rKNu0/z4+xBVeicbA4MZxQwkUL+tDdLilcW2csCW5+vWO4gyfgHY6mikb
DZkUekG74mHICreO0fUXpw13JrnLA3Etpv+coge3IB+Dq/sERQFP1D11wkwiV/Pa
vRyrt2+0qCs+Qp52+V7V8xHz5we/PqQrGVRtmkYqWCM7viCJB7yJGxKZf1TMP/M2
yXcTwdLuW9Le
=6eyu
-----END PGP SIGNATURE-----