1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • paramcoq_1.1.3+coq8.16-3_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed Jan 25 10:30:01 2023
    Thank you for your contribution to Debian.



    Accepted:

    -----BEGIN PGP SIGNED MESSAGE-----
    Hash: SHA512

    Format: 1.8
    Date: Wed, 25 Jan 2023 09:50:27 +0100
    Source: paramcoq
    Architecture: source
    Version: 1.1.3+coq8.16-3
    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+coq8.16-3) unstable; urgency=medium
    .
    * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1:
    460a8ff89a8610772d3dccb46a251b97eddf11e2 2111 paramcoq_1.1.3+coq8.16-3.dsc
    fe71e67d0ed9c4c7a84dbeb20378e27c6130407d 2892 paramcoq_1.1.3+coq8.16-3.debian.tar.xz
    dd263d778a48643bd883ecb7a9f2105a3aafcaef 7407 paramcoq_1.1.3+coq8.16-3_source.buildinfo
    Checksums-Sha256:
    b326b9fdec74b3bfca14eafd012fab30e48229b15490ba68fcf78b212ba9ae7a 2111 paramcoq_1.1.3+coq8.16-3.dsc
    9ec04701349949d05dea866e92474a8009554376275e30793b87179a5c5623cc 2892 paramcoq_1.1.3+coq8.16-3.debian.tar.xz
    8c9b174f576387a84a46ed5e2ece92a55b1bec1f415d81d3b889e8185183b48a 7407 paramcoq_1.1.3+coq8.16-3_source.buildinfo
    Files:
    fd7fafbd482dfb93e19d4236a5ebfb48 2111 ocaml optional paramcoq_1.1.3+coq8.16-3.dsc
    5c0089494a4f5210599d50ee8701038d 2892 ocaml optional paramcoq_1.1.3+coq8.16-3.debian.tar.xz
    ebbd9c9ab4e18e12a6757d5928f53f3a 7407 ocaml optional paramcoq_1.1.3+coq8.16-3_source.buildinfo

    -----BEGIN PGP SIGNATURE-----

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ7WoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRqeYP/2hSCE+SPRhLVtiKl7bTUOW9GVBj52BH Y7rYTUfZNptGsRUzlRw2khJPOOzynUxNfDJVKjnHiLDHcSMqZKJyfTIC4hC1Yr8h F0JfMpt+fEmNnlZEAH9rQnhECYK8LyuMELlBtVW7QgexvemC2mOQG8eeIvzTC588 8QqkRMGVBwXONRmDBJsX6FT+5pCxafPf1AptWVZ8MZ829sdFbFFqH2f8tLJ4I6k7 o1xakfXtu3iIaxtkUe2lmo9ATetIenqRNYcG16r+UKBhNGisds0kUgGscu0fIekb hUEm7Fp90eyy0aP+QnTtSHqCEjIpySyKDjyTJpc+5OxTO7H+11ic3M6G0hXaR0pv Ktp0kT5AlVL82HWwO9GYInIIARBNGaQW9hvD60Ow0iLfVpVgmB2GeTSKQGXLS6AX R6JFcp/Rc+eD30zZo3JFuyYyQJxdsjXkGZ9zfng6ei39HQYc4iNBFgy4O2ZxD4pi FtfVVsZIwM5wvw6QrfsWfUOW1EaZmG3WdrxGN5S1VNCfRPkwS1sKI/l2nWv0y898 C8SJRbjsoFEUuAyCpgzyLBgyN/+6EVb8JQcUhG0E3rn8wkJJTUBE9phF0EcMOxHm /FzrDRwm/lcVJf2c5OOxpIHy+uj/C2y5fzrbN/0b8tBp/v770yYrlnY2wGDcWqUm
    TnYJ5kCktSfg
    =HOUo
    -----END PGP SIGNATURE-----

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