Accepted coq-quickchick 2.0-1 (source) into unstable
-----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-----
Reply to: