• coq-quickchick_2.0.3-3_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Aug 4 08:40:02 2024
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Sun, 04 Aug 2024 08:10:37 +0200
    Source: coq-quickchick
    Architecture: source
    Version: 2.0.3-3
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org>
    Changes:
    coq-quickchick (2.0.3-3) unstable; urgency=medium
    .
    * Team upload
    * Do not hardcode /usr/lib/ocaml
    Checksums-Sha1:
    26e2849bbd6e2fdbf12909f9652d7c52082342f9 2049 coq-quickchick_2.0.3-3.dsc
    5b0c52bd306c011724d81b980c6708566e185af4 2856 coq-quickchick_2.0.3-3.debian.tar.xz
    Checksums-Sha256:
    7b84f627f8cb4871197ba9ed5e7965a34e12d991a19139b2b16808002ce7998f 2049 coq-quickchick_2.0.3-3.dsc
    e9cf23a61453be6ef27752eb87bd9117dae98d8d0672bd1351aaaf424da290cb 2856 coq-quickchick_2.0.3-3.debian.tar.xz
    Files:
    f1b9d9cc754e0cd340fe6e0e2e357fef 2049 ocaml optional coq-quickchick_2.0.3-3.dsc
    30cc6a528870c49b3bd6fecc1f15b178 2856 ocaml optional coq-quickchick_2.0.3-3.debian.tar.xz

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

    iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavHAQSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB2ugH/RhBMbuXHdZHJxcLDmK6zchNNEG9X57g OgoNOr0xDPR4AClKyAx556G5JiL+jU67zK9o78EGOXwqpTC+iHdEGuCGb+vTdSTE VVsYtkCpXmm2YSPfYx+iv0CZUszFAk8lKSWnePjelOz+NnLHz9AdNUAHlGmDVkQQ wlgEO3RXXY5VUsy4Ve1E61F30NwHbwC4vVCLvVIc4DJBdodd0w+LHlXFjW4LWfAD kLU5CVSAoXhHgatH/xdm0X0CGqgtT/hd7bOsmR836QFai6YkD1+yKes/MpOj2/Ue 2dyIpXkLmGb2nBFB915JEbb6Zdl5fmFcULfck1CxG+rWRe6i/Az8ArA=
    =4lYV
    -----END PGP SIGNATURE-----


    --==============v97104864093797448=Content-Type: application/pgp-signature

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8g8QAKCRCb9qggYcy5 Ifv1AP9oj/BhsQisfQVz8vGOuchYtwzOjwrRcd5xkANBlcRhUgEAvMXp+7Esajow zdKPdHJu/cjaVAkXG6k051tV50YUcAU=W2WO
    -----END PGP SIGNATURE-----

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