Accepted why3 1.6.0-1 (source) into unstable

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

Format: 1.8
Date: Fri, 08 Sep 2023 07:09:51 +0200
Source: why3
Architecture: source
Version: 1.6.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
 why3 (1.6.0-1) unstable; urgency=medium
 .
   * Team upload
   * New upstream release
   * Depend on ocaml instead of transitional ocaml-nox
   * Bump Standard-Version to 4.6.2
Checksums-Sha1:
 046e82897cf1d4455580a3b8725586e3867c2f9e 2435 why3_1.6.0-1.dsc
 1f8f40b4ede2bb1aff5386cba0c6a0bfc11a4092 6850062 why3_1.6.0.orig.tar.gz
 157b30cfb1ca187474c1e95c60dc30ac803bc261 18360 why3_1.6.0-1.debian.tar.xz
Checksums-Sha256:
 34c860a2e712039c57901068d49eaf42f65594401e2c1af4a5996bfec4507474 2435 why3_1.6.0-1.dsc
 845bccea41d271a0ad70709ce957b397d091ec115b88a3e84c487b923d19271c 6850062 why3_1.6.0.orig.tar.gz
 94d0ee921fdb93d164dcac6da952fcd855f05a1166ca3d7fa4eab8ca80bef0c4 18360 why3_1.6.0-1.debian.tar.xz
Files:
 1be000ae2508999aa93bab35fa338380 2435 math optional why3_1.6.0-1.dsc
 6b449abe1e485d6f3c12f81c59fc186c 6850062 math optional why3_1.6.0.orig.tar.gz
 d42df719d11fbf5db922c63be258f0a3 18360 math optional why3_1.6.0-1.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmT6rP4SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBxI0H/1LJePVUP4r0HuZeX+mpxkYDHMcJGOVy
krqKxgCojvYJuU8hhXmek7zkggFUwh+wGK4XpkxJnFgL1oMgcmET5gu9KqoeX+gC
pogBtS7OoJyesLyvmU4s2FryGmFfNZuuNFJQIhYp0PTyFQZCDjHznozgdaqf9GGM
mCjeqkTBwPknIJY9HN0RKNm9P8Rdr//HSuhwOOEVNMQ6MDxRBWIseHgnLR/vtgS6
9ILseZKlL2PRAdJP+xTkuJjHNaI0XEPCj4P9OYVOmdx3QbzgwwYxVdWEIQZvz3eq
VlDmdIHVe9Y0RYeN7ykurrp/3VPnwYW2Li92CwEIik18LbVOORpROuU=
=i8zG
-----END PGP SIGNATURE-----