Accepted why3 1.3.1-3 (source) into unstable

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

Format: 1.8
Date: Sun, 16 Aug 2020 01:08:26 +0200
Source: why3
Architecture: source
Version: 1.3.1-3
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.3.1-3) unstable; urgency=medium
 .
   * Team upload
   * Include ocamlvars.mk to prevent FTBFS in dh_dwz
   * Bump debhelper compat level to 13
   * Add Rules-Requires-Root: no
Checksums-Sha1:
 642e27f9ecfdec16f2976c98f6f0c436b052e053 2595 why3_1.3.1-3.dsc
 f6747b1c4166bfcc2d69936d210f9eac17d9c3fe 18128 why3_1.3.1-3.debian.tar.xz
Checksums-Sha256:
 bf5def9f7b66dc03d789244f75383ba9172d9972270a0531c5d60fc81baff3e7 2595 why3_1.3.1-3.dsc
 fc2ca5446fe3c48761862215aa4cdded22310418cbb79443ca0729fc13f26b14 18128 why3_1.3.1-3.debian.tar.xz
Files:
 ff426788334a6bfde69eff20ed96f0ee 2595 math optional why3_1.3.1-3.dsc
 25b8abddeb9ac0d75bf65d3a332c483d 18128 math optional why3_1.3.1-3.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl84a80SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB9MwIAIWpvG9sV1rYsZClGOE8Q0ElryHaVzx/
whkmFTwBgv0YPNutN2JJe17NGRI4etTTY6UCK7p/nnifYZDcALSSSn+7lOPxW6z4
5kuMCUeFNsOOKraDabQOB68WLrgRZzMrIwYPv1rzB6VjCIANGafnZLNuWRqqbvNw
OgyUKG1fb2DKt2T4GA28IUdUTBlhbieVWJkuxo2tikTEC7UccYBczJeJ8+du14Co
1u51ed0iBi0I0xFPcra2wqJ+BWEeGKfxfV40J8Dn4NCQY37E+8aMkroWR5NNQgiD
u5rVuAy7qXgWqDCqzcbNvom9DG67JuZskZpaf1lOursMP4hBJ5ZvIqY=
=dbZh
-----END PGP SIGNATURE-----