Accepted dune-typetree 2.7.1~20200605-1 (source) into experimental

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

Format: 1.8
Date: Wed, 10 Jun 2020 14:28:09 +0200
Source: dune-typetree
Architecture: source
Version: 2.7.1~20200605-1
Distribution: experimental
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Ansgar <ansgar@debian.org>
Changes:
 dune-typetree (2.7.1~20200605-1) experimental; urgency=medium
 .
   * New upstream snapshot.
Checksums-Sha1:
 8d6f1508ab282609527560a3fb44530ca1ab9225 2362 dune-typetree_2.7.1~20200605-1.dsc
 f1cf24baedb4025a661bc2674d0373ecb27d4fe4 51732 dune-typetree_2.7.1~20200605.orig.tar.xz
 29b26d4509682157d70f30812183754acc335a3b 3436 dune-typetree_2.7.1~20200605-1.debian.tar.xz
Checksums-Sha256:
 c528b7a7cd2004e1ef082f48147a6df5be68937b6b76e1396dbe7ac9180dc203 2362 dune-typetree_2.7.1~20200605-1.dsc
 cf1b5f2dd171bddeff09c6cdf6c62afbde2f04098da8b50d60def672c9375fdd 51732 dune-typetree_2.7.1~20200605.orig.tar.xz
 deb169b551654114a9c1fba023b74e74634820969d95c1157094922c08a954b9 3436 dune-typetree_2.7.1~20200605-1.debian.tar.xz
Files:
 3b6c8015cdedb504a5382328d91351f4 2362 libs optional dune-typetree_2.7.1~20200605-1.dsc
 1c4b8dce0fe3d6290172dc2db7f0446e 51732 libs optional dune-typetree_2.7.1~20200605.orig.tar.xz
 7b1123fe6f7b554bda56314351ee3885 3436 libs optional dune-typetree_2.7.1~20200605-1.debian.tar.xz

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

iQJGBAEBCgAwFiEE6XYjQ9o8g2p4zSVKamMCj1p06JMFAl7g2IYSHGFuc2dhckBk
ZWJpYW4ub3JnAAoJEGpjAo9adOiT/h0P+gMAc1iFOdwJJr7XMrG/uBKbC/2vjaWJ
oIL9ks0sfMqq1cHNxh7p3yCbn1yxtqXIHrY+tivacrD3mtW7LHPgUPySonDTKmwE
lu82RlHUC1OYngACYMQYECLR/QwiLm4tZ3mctxAXVRVwQob9/diT5fnLGgVu8yod
rSDmUrPMCoItpH5iJkqMj2o5ET7zr3PNisZhg52gZWmeRdWXqOe32lLrF2D6bLz9
ixmJnNCshv+KLP7a4WQlt/ShA9FaINeUdiJzy3+wES8Btik9TkWLN3yjlXonnfsH
kU6eG6nlx5fkrqH+B9k7UrP1w+WedDETXuwSKBe1WlybYywYmtBH7rv8kCozg55V
mLGJM0IT+YanCSzZbg1pQ2hwHmp+I3rLajo09cIvWNgAdmxFHBwj2Zqpyw2/RQ6K
O4LKS8sD3h8pdxEz5+dJhD8l47LsIvzU/+BQvJFXDXPqqa3O1uMB+2mcUgl7kEk2
OsfgIAuQmb7DpHRzhnnjCfP8awSIkefATQi7a8C7mQasbvS1TGshkV5wy+2hJpHq
LfhDpaKam81P/R/gxOy18PQ8ZJ3feaTuvqwgj/onPeHejA5OROVksOuc5Xo6JMAd
/oWPB2EBWJPyZZ5FUPSoM9rQv9L9l0H6BpmLUZUMLetZoG+svOhYmfMJTYTH7uvQ
hpAQKohhdjuV
=wN0c
-----END PGP SIGNATURE-----