• coq-corn_8.19.0+ds1-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat May 11 18:10:01 2024
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Sat, 11 May 2024 17:45:21 +0200
    Source: coq-corn
    Architecture: source
    Version: 8.19.0+ds1-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
    Closes: 1070787
    Changes:
    coq-corn (8.19.0+ds1-1) unstable; urgency=medium
    .
    * Use coq-corn's upstream sources instead of coq-math-classes'
    (Closes: #1070787).
    * Make d/watch mangle +ds* prefixes.
    Checksums-Sha1:
    add397903762b28475ab7fff9254d575ebe9e830 2120 coq-corn_8.19.0+ds1-1.dsc
    372a19facf0f02611f0f553764ed124c3e811ab3 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
    b4cb1b926d658ca1c10b5877ab5693e465166b66 4240 coq-corn_8.19.0+ds1-1.debian.tar.xz
    e053d960ea09ad160083896692d698fe0af4f0fa 8136 coq-corn_8.19.0+ds1-1_source.buildinfo
    Checksums-Sha256:
    ded901d24bf0354a7a6cc9a853c7a11b6fedec61be0f9324fb02846a831ea2f5 2120 coq-corn_8.19.0+ds1-1.dsc
    93278dd07b52966741beee3e7a98d8b8ef808bf619e6427f93f66b5bd59f0cac 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
    fa09743467cc02e7887880ea801a075afb425f025368bb33e5f0445d0c7d35f4 4240 coq-corn_8.19.0+ds1-1.debian.tar.xz
    c4eab40b3d23a9a757e033505c3d4c5e33724fef260f78a35a4ab08f03d6e516 8136 coq-corn_8.19.0+ds1-1_source.buildinfo
    Files:
    644f656598aef573038d4741a6213734 2120 ocaml optional coq-corn_8.19.0+ds1-1.dsc
    1d4581910322a18aa965740c300ac1cd 1321010 ocaml optional coq-corn_8.19.0+ds1.orig.tar.gz
    eb6e093eda37440cfb10ee39063d5c5a 4240 ocaml optional coq-corn_8.19.0+ds1-1.debian.tar.xz
    86dde79499e35a7d1ed34496e8787181 8136 ocaml optional coq-corn_8.19.0+ds1-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmY/kroSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR3+YQAIpSk4YHoj0Dx22dacqhTTWhKnHXdcbh mR1VJAI85q8jLRToBmlj85h5ypw/3yKU+IqMyImhImaC3SMnUZwO7Q4Wmhd44Xmh +gcjGMFkvpQc53e7F9q+oSV4bWNUNI/pvV6eo7WZOzkoSi9JnLUZQD2GkyiWOSlP ILTCKJCUs4FXkZuU0WNALqufS8MvJn5+gsx72/7RnuCkxmrIGlkI3j2OYlalyjDu hRQL8BHZSL4pc4s8ByAA8+drTc04c6AXCWiHx6/fcAgmlA65sJNLoY6W5TcS9gan 3OgVXGfdnyvdoFM+P027ZewjWXtFEIl+qQODcKsnuBif/CrK6wCeUjTV3vBTCWUM yHF2m5I0nso+6uq36L3Mb0je1QqJRF3/Hc08d9D5JVDRkz46H3YEkbchKpkkuZ/w fVxYSe1/tI2Owo25T5grUrmcU7+hg9UKdjBKpF+ErwkDF2esSPoUGLt48Sr7qikS csZpYNnfxdoooC8t5mM7N0VxUmIY0TzlgUTjLHdCRwIJbh0yuMoQkq+to9mD7CQ1 U2WgUyWyhgV9GbwJMQU02DdVRpFjir8vGoORLUv/VdgJElZZU2Qly0BLbmxQR1Vg gGrTHzpph5ml62iMaWNSTT5vVykHmeecfeORJqnQdmgRtBrAaanXgU6TuWhy1WpR
    uaFIpiVtEoon
    =6xCp
    -----END PGP SIGNATURE-----


    --==============�67860536843944603=Content-Type: application/pgp-signature

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZj+XFwAKCRCb9qggYcy5 IXGaAPwPfHzz/ri67++kOISl06Zaib0NwENtKLtAzAeRO640mwD/ZApGE2HbAm4R d+cmDtLJtwhRnbK/bACXZOHA1r3Ymwg=4yKa
    -----END PGP SIGNATURE-----

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