-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 12 Jul 2023 10:55:33 +0200 Source: coq-quickchick Architecture: source Version: 2.0-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Closes: 1040814 Changes: coq-quickchick (2.0-2) unstable; urgency=medium . * Team upload * Build-depend on ocaml-dune (Closes: #1040814) * Fix Vcs-* Checksums-Sha1: e236e3a8b77eb9f8c9e56a12b1289c4c5ea6a87e 2033 coq-quickchick_2.0-2.dsc 45af7a19db27ae4def3876960864445205cd6480 2900 coq-quickchick_2.0-2.debian.tar.xz Checksums-Sha256: aa8fe8292b449b4edf7242153a7f522326e42932668fdfc046bdaaaa9466cb82 2033 coq-quickchick_2.0-2.dsc 6d2532b7b97a09404f642605ee7e1bb56adfc1ec69f8232136a61ff248845ca6 2900 coq-quickchick_2.0-2.debian.tar.xz Files: a3a08ffef47d3a1bbfa546fb542ea7a1 2033 ocaml optional coq-quickchick_2.0-2.dsc f0f9fcaec933c416f4df664968e2db51 2900 ocaml optional coq-quickchick_2.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmSua2ESHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBH2MIAJnPGpGZEs51Q0Qs+0IVeb4y+vl2xmuK XTSvnitEX2u7dTCOKnXTaxl6p2OE+kRk3KlIE9LmWson2H7gI4jlX1oXZtTk2X4w Y/8ZUJ5lufIYVQ0ZTVCoruYW67XLKdtUm/Ovl2v2Tq1XVyDYve8vgsHCYLo/6Igz dkPq/DjwQbH73gdL85OAMbnUZTmas9aIEYJytN7Lw6kojiz7Zfulvc/Gu55bjpb5 OiYM6LRyvGiuvwLysQuDZY2VL4IlWFLp+GSSOWWVLQdwYDet/wK7hL+teAWZwfVy bbPxm0qlG875eu21+w9/2gFdaWLcxWQdvaFnBLth7yFSlhp2m3X3oUk= =zxwY -----END PGP SIGNATURE-----
