• ocaml-dscheck_0.5.0-1_amd64.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Fri Oct 25 20:10:02 2024
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Sat, 12 Oct 2024 10:41:12 +0100
    Source: ocaml-dscheck
    Binary: libdscheck-ocaml-dev libdscheck-ocaml-dev-dbgsym
    Architecture: source amd64
    Version: 0.5.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Kyle Robbertze <paddatrapper@debian.org>
    Description:
    libdscheck-ocaml-dev - model checker for testing concurrent programs
    Changes:
    ocaml-dscheck (0.5.0-1) unstable; urgency=medium
    .
    * Initial release.
    Checksums-Sha1:
    397de771aa2b129cc29cf5b2bcbfe7dc41e9779b 2160 ocaml-dscheck_0.5.0-1.dsc
    ebf816c4b2442dd25b67b8409ff70934dda5ffdd 26986 ocaml-dscheck_0.5.0.orig.tar.gz
    857d2345b2a285dbde2f055fec5502b3f0eae9ac 2760 ocaml-dscheck_0.5.0-1.debian.tar.xz
    918f93df4a7e6d26dc1e15dad57e2577be30fead 11908 libdscheck-ocaml-dev-dbgsym_0.5.0-1_amd64.deb
    630ecb1f98bd35d6dd0c543ee605688f6b514e5e 300252 libdscheck-ocaml-dev_0.5.0-1_amd64.deb
    7ea45ce8a66603e8b0b9db2a783f97633a362015 6832 ocaml-dscheck_0.5.0-1_amd64.buildinfo
    Checksums-Sha256:
    a8db1ccb13e024865e9fdc29a2cbf3612e7924f5951e4e21e93dfa6e90efcd1f 2160 ocaml-dscheck_0.5.0-1.dsc
    101157a11d19d26890f818ec25e8394d87fd68cc5dc955f13c33aeffe22b8b93 26986 ocaml-dscheck_0.5.0.orig.tar.gz
    e7129ed2cdde4ee2c6fbb30754fb827d7e77af092439803329068f35f921cf24 2760 ocaml-dscheck_0.5.0-1.debian.tar.xz
    8d866dfea1d0d5b16cf735ec2915f944aedd8617acc1caaf32d9d44ec69079ac 11908 libdscheck-ocaml-dev-dbgsym_0.5.0-1_amd64.deb
    d6e6008b99ae25f31735fe7262a032d0d17fd7605be28fc3d3ab169424a7f8c1 300252 libdscheck-ocaml-dev_0.5.0-1_amd64.deb
    991b93441c6c8d7e2d1a65dc544df9d077a4e06abd418ca002b4cb58558d08e1 6832 ocaml-dscheck_0.5.0-1_amd64.buildinfo
    Files:
    86cc864d36dc09077c5f44fec6c299ee 2160 ocaml optional ocaml-dscheck_0.5.0-1.dsc
    b61577b797d7178d0b12e5a556007bee 26986 ocaml optional ocaml-dscheck_0.5.0.orig.tar.gz
    c659823bfd9f5c1f015f00a1a7664d02 2760 ocaml optional ocaml-dscheck_0.5.0-1.debian.tar.xz
    5277dd819317c69fdfd452c76d47cfa2 11908 debug optional libdscheck-ocaml-dev-dbgsym_0.5.0-1_amd64.deb
    ec6893261d35e7209c32e31bdbdc0aaa 300252 ocaml optional libdscheck-ocaml-dev_0.5.0-1_amd64.deb
    060689ab310ac866212febd1e0aef8d5 6832 ocaml optional ocaml-dscheck_0.5.0-1_amd64.buildinfo

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

    iQIzBAEBCgAdFiEElqWPGCu4+bgcXyczhU8Hvggt8U8FAmcLueoACgkQhU8Hvggt 8U9vQw//c2HUuvWmlau4LxIB0PieBXJaZg6z6KRfgfkzPYpXA/SRUj7Jk2CYIVYL DZHLvyEr96/Px4JQQxNGTrBTdlYZD8Ex+BbfusdpIJ/eDn9UDKfeOdp1N8xQx17k L/N2ExX+hVjjSGnlZjhJGaphiD7X2bChlSx6OzkrT/SbLloxUwoirZQINxQ5aKbV i7KQwzl4WNhzhSp+tG5o8tZATZsMAxyFw4ptV/sY0Fj07fhZXCKm6FLaH7IL8wTk 9hN51RtwAb1g+ssthFNWrhtBRJg7BU3wIBYRcKzwcR8DWfM88viDgalv/3jcjV1g P0g3nbEhoz6TkOFaiFzAiYRq8Q9MaYePq+tObns2oHAzFwPxuiyYRUXVEpqIiZGV k/4GiuUsZJ+/5uZgZE88N/6X5KYVWdVvphoJfdvyh6GrOVJM1grHffowMrsoDxrw ThHeHOZBlww3q9BQkv71vPP31iGXPBMO2baIBPig7dDdHG1+e/18hxmZDqxTppah pQt50Lxm9zvCDFPxSLFu03bEuHIeO7txaerDSn1oXac7yeGFvOmR3nH4bcd44YhP lZSjEBXfvpHqXpp097PLd+iVSaOkAdmn//ylUtzxZ6Wwk87RzmMwpdDRvdhUtO7v cHVeyDDC4mn62XGnUxqUovG3Ak9YJWtCfQ3a36h2IDaYvNUtDXE=
    =7xER
    -----END PGP SIGNATURE-----


    --=============="95909722815961018=Content-Type: application/pgp-signature

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZxvcqwAKCRCb9qggYcy5 IW1vAP4sA+VeqiWLrlpRMNYOFq6PNVKF+KkhMgCgtY5b5xlk4AD+M3tkj+Ej6kuo VY98v/ivgKgdZbqtdk1yh78/I7n5IA4=FKZy
    -----END PGP SIGNATURE-----

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