-----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-----
