Accepted paramcoq 1.1.3-5 (source amd64) into unstable, unstable
-----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-----
Reply to: