• coq-equations_1.3-8.16-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Sep 6 12:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Mon, 22 Aug 2022 16:38:03 +0200
    Source: coq-equations
    Architecture: source
    Version: 1.3-8.16-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-equations (1.3-8.16-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    df3602a3d0bdced340224ffe8860dc55427fcb28 2161 coq-equations_1.3-8.16-1.dsc
    4788dea86e1645dcf8f3ad4fe44f977a72c479ab 1097638 coq-equations_1.3-8.16.orig.tar.gz
    54f6c096eae2116d67f0608dd3069c4a420dc339 2176 coq-equations_1.3-8.16-1.debian.tar.xz
    a5ae6e4ce69156c1112a986f080993939483f84f 7073 coq-equations_1.3-8.16-1_source.buildinfo
    Checksums-Sha256:
    6ede3c71252a4da19d47c806f378a1f5624c6efeae84c77d749533fc3efd83f2 2161 coq-equations_1.3-8.16-1.dsc
    dc0fdbf15d1a6b5d5f83f65fe55d39bba74d21908f1165df0ff4ea3f766f698e 1097638 coq-equations_1.3-8.16.orig.tar.gz
    6fc66d380e0dadde756f8d81652a98612f7c0d8120a2cc97a3a8aa92615def75 2176 coq-equations_1.3-8.16-1.debian.tar.xz
    bc6e3b9e461bb1f0b21f85d50329e7f4be4f2936714f6636b9cfdae3117b1edb 7073 coq-equations_1.3-8.16-1_source.buildinfo
    Files:
    a6c07731d26525e9885acca4ecb2d8ce 2161 ocaml optional coq-equations_1.3-8.16-1.dsc
    6c5a89dd4eb82608c27dcd53bae7d54a 1097638 ocaml optional coq-equations_1.3-8.16.orig.tar.gz
    884a6f64bb75e4d7e22f3ef0e78b336d 2176 ocaml optional coq-equations_1.3-8.16-1.debian.tar.xz
    f1b6a0f18cf3f4a4abf5816861211ce0 7073 ocaml optional coq-equations_1.3-8.16-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWUtYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRoTYQAJhOKL+lB7+UMWrmRxAZ7anMXiislIHv anzK4dPbveQIp2TpkIahut82z9lziMo0sWK0Od4+klXy5bRlNLKMow57w8opjHH3 EE3lXspbPjb2LJ/J8BMyRtjBMIvPFXRO2+73Uy1HOmFaQwVbnD1+KehHGas5CLQt wLSJFc40dDrPTcJ4B58uUc6oI/DtW9jFOPXublIFbypZEB7P2STBgCB1hKsycC9H dVV5Lja9I8BPEO0n+eBi8QlqkFEf59qBPW9hKjTv3uzDPqaCwkrtRpfYartczH7g 9LDZHdEA0pYkj6w5dSC7mjOllt+dRVeWoKq23ws2+oeHMdkkcgSQvx2Fjyisy80U 7UNdMk9he4i5le6nFvjre+IJCllHoeJbK8JnUIOyLNgyAcgbPDBPD7GQLIy5vf6o a03E81oloK+kA9cZvHT+hWq2cGKY4Gt/QiQkCGArfj5i5Vd6X0PTrFaShthHrHXJ pP3Rp/v22SiyoaPiAwU0WXK4DacjMq2Vre8bqHNQnDKk2gycRdZJOsuFV+3clHuN aieqEARnPN4xwMdKh+rM0tO2mvfyKKWUxTk0gNARSJH0h/vbOhEKGkLyfgGWSyHR 8FmiIvGsLsLkULVq9cCT9agfSxdHAo8yluJUdk9p17NfHn1lqZ32laFWUX6fvG9U
    DUO9/jSo7Fj5
    =xc8S
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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