Accepted petsc 3.13.4+dfsg1-1 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 09 Aug 2020 13:24:43 +0800
Source: petsc
Architecture: source
Version: 3.13.4+dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Drew Parsons <dparsons@debian.org>
Changes:
 petsc (3.13.4+dfsg1-1) unstable; urgency=medium
 .
   * New upstream release.
   * fix path for PETSC64_DIR_REAL in libpetsc64-real3.13-dev.prerm
   * remove errant lintian overrides
Checksums-Sha1:
 b66df0bde8aa9d343ad6431f212eac2fb46ce9bc 4113 petsc_3.13.4+dfsg1-1.dsc
 efd151585bca0c344eaae7e690ec3341019bc458 17100460 petsc_3.13.4+dfsg1.orig.tar.xz
 2061dd6b7f68a03e25a6b0213be502124e798788 46632 petsc_3.13.4+dfsg1-1.debian.tar.xz
Checksums-Sha256:
 9f8a66467808ce0718b7c7753b4af3a6f525add2cb166e14e18c0d88ffb12688 4113 petsc_3.13.4+dfsg1-1.dsc
 58a5991ccae5e1052757ecc1429b09e3b62f3212ec30c135db138884b7d6b973 17100460 petsc_3.13.4+dfsg1.orig.tar.xz
 3029af2a3d9303ca769b8e58c0838c0117900d90ec0ba16fe8a7a3996f260141 46632 petsc_3.13.4+dfsg1-1.debian.tar.xz
Files:
 c70b64ec38c56f23ce81f1f7b1659c6c 4113 devel optional petsc_3.13.4+dfsg1-1.dsc
 0ebdf8021f3c07615b559b96daf0b3b6 17100460 devel optional petsc_3.13.4+dfsg1.orig.tar.xz
 5ef3615186eea56e5d2dadef426fda2e 46632 devel optional petsc_3.13.4+dfsg1-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEI8mpPlhYGekSbQo2Vz7x5L1aAfoFAl8vpfAACgkQVz7x5L1a
Afr3zQ/9Gf4d7PvOfojGcqTCPU4pEGTat+0tmouKJpoMHyTLZYZQdADBqMkprh6u
CbUt72uKYpIuif6VMINQU81NXaIRpIjwFHH97JtkKcq1jeXCCoi85caoixCM9i9q
lO9VcAx/4V6YQaZ37VM6m2IlJdnwF/5dDj55tpUxedUiD0WbKtNqKivKYfJq4kvy
ij1UwXi3h3oICJtAp20ZOmQqbsUjT+H/D8xmccl1euEicZAGnTENTaiKQPMV6v6b
47U19VAihm8IWd5Jsamc4j71FbJZ28HuNldSEr0u2rx+K/47PFBqH/RpuQjZVuHp
fGdVnzMAoXVkK8iiVC8thjB3YjUXBYHQQK79RgyAgqWcsUuFz1C1xRI1sSlmltYc
mqKa6OSMbQ4YZa7YEI4VGuyb96FFTKPuRWTI5NxLVgg14/HSmAhKVe1vpuFdSq6N
VbxNRn3cu6numl/nuIvOn6mXOvTt18GznTWBItUt62Bqfhwb9zah5lvCx2ZkCeFk
D2WLSBPPZjKJWO2zGHBbOsDGMYSpi8kh50ZdYlXwKm18dyrVK+3RJimC+yd70mS3
2blgh0bZuqQPGXonIO2vKeyOcVC01aQe6/aynR+KawTm3sxjDV/JotMAA38/y5Yj
reO/iOlANg+kBzZyFsT4CUTHZZS8+mL1JeB1sxyhn/FKiewoxEA=
=gc2M
-----END PGP SIGNATURE-----