-----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-----