• paramcoq_1.1.3-5_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Fri Jun 3 17:20:02 2022
    Accepted:

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


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)