-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 14 Jun 2023 15:45:47 +0200 Source: coq-quickchick Architecture: source Version: 2.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-quickchick (2.0-1) unstable; urgency=medium . * New upstream release. * Add lintian overrides for false positives. Checksums-Sha1: 309f8917731ca480707385d9431c379153bd5870 2247 coq-quickchick_2.0-1.dsc 685dcb58004c6a9c2b5975ebf4c9abf049b00e1b 409785 coq-quickchick_2.0.orig.tar.gz 3a7889a938c059ace5f3a3d038b129b72e6114b8 2848 coq-quickchick_2.0-1.debian.tar.xz e9a6a914dc1af09c9f97989092d87275b0403e83 7717 coq-quickchick_2.0-1_source.buildinfo Checksums-Sha256: b71bdae09dea892c228fb9ca3a16a3dc2fcaf58e540b086fbba1c1c56601136c 2247 coq-quickchick_2.0-1.dsc 59406ffb8c437284d50dbd470cfa57ed8bd19fc65c647703e9a59620026d567b 409785 coq-quickchick_2.0.orig.tar.gz 9093cbd62e931f2da362e2be86ba6094200525c5ac6fd9e2734a47fdc11d8a58 2848 coq-quickchick_2.0-1.debian.tar.xz 6db1ba98db25c631d9ef4723253519207c2366d537d9f2b01ed059d67343f427 7717 coq-quickchick_2.0-1_source.buildinfo Files: 5a63a013682a1871efc312ab967052d2 2247 ocaml optional coq-quickchick_2.0-1.dsc 005934b91b7f2861c8c1c69a516f06e2 409785 ocaml optional coq-quickchick_2.0.orig.tar.gz cafe45cec12565536abb9c1eeb05669c 2848 ocaml optional coq-quickchick_2.0-1.debian.tar.xz 8944a6578aaabb11c5d49c8ab21dc521 7717 ocaml optional coq-quickchick_2.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxJISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRbWYP/iEfsD7p3S3gX4SuYilvBOPeAx/l1tKt Kfg+XwEP7Lu1uxeltoPZwSz9QW8GogEmyMFNjBAHPIfmpMiJMb+q94Zb0nixq9Vm 1WuJDCvcpZruUCp+2/j4x7liiiNfv7Rzkpv2iSEhpGxU4mSdDa7A7SVxkw8XJr5T nnm2+UQsrJUrcTkUFS93gtO8F/7WJqp8GqfICdEorzXw5OMPJ0SRbaeHn4mMvq7V zvhyoLfdjVw6143k6zxL/9T3eQCbp0QKhlHMD5lipfWaFO67CPdov0JaPiqrdR8O uwkVyNizxk85OouJIlq9uALdGr1AWdoNSPFHFuxs+dJxCZ7g9/GHk9wPJ71tKF4A VvlKB1qthzmiiw6ehYg8qTB4rmBhuyoQgqWa1pD6nFEREirwc36ltuM886eQuwB2 2ZMYTE8/3DaK7+o8RwtVlDP6bXQ385KFGvxjX+amj5cNlZawf1UcOx8WjVBsl2eS kGMJ5o4KPnfAm4UaYmg7PcKznm9RQUnT/R2LzhE+fgTWhM2lt+viJZEH3cW0ECde YAXvmWQP9qCsO9p4bqJ8mh4hD9ebukcI0wwOugtRrUKpyjmdNAPv/LrxZlJk+aKm w+Qw3U3vEhr7V5d9Db2VRUv0r8LxsHAiq8SbWrk0vA4O/gkfaL9Zt1s+Zig6gT8t ZujIz8EG3wb8 =fBF6 -----END PGP SIGNATURE-----
