Accepted dune-functions 2.7.1-1 (source) into experimental

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

Format: 1.8
Date: Thu, 07 Jan 2021 10:49:29 +0100
Source: dune-functions
Architecture: source
Version: 2.7.1-1
Distribution: experimental
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Lisa Julia Nebel <lisa_julia.nebel@tu-dresden.de>
Changes:
 dune-functions (2.7.1-1) experimental; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 bbd068b91c852e40badf3ce573cad7bf8f1ba2e1 2423 dune-functions_2.7.1-1.dsc
 7f73cb8b6d26ca8d7fedaf5195b529faa53355ff 87424 dune-functions_2.7.1.orig.tar.xz
 99cc3cd5ba0683de56bc4b62d4285fcc3afccc6d 3188 dune-functions_2.7.1-1.debian.tar.xz
Checksums-Sha256:
 f3bbf51c1cfbb1abe35f4b6db58d5cb085acfd156bcd198b7144cd5f078b6d01 2423 dune-functions_2.7.1-1.dsc
 eb48b9f2d31aaec764859097b1f767b6c57ad178c9492dc9206f5f5e2e0976af 87424 dune-functions_2.7.1.orig.tar.xz
 f319307fa45615b7847f62f87a1980c3128b942839e4e15ebbd96aca9af4c65c 3188 dune-functions_2.7.1-1.debian.tar.xz
Files:
 893ee833bec85e655cddcf4aa1b52e0f 2423 libs optional dune-functions_2.7.1-1.dsc
 999235b1c5840a98f53f4403f0dfa253 87424 libs optional dune-functions_2.7.1.orig.tar.xz
 a4edf9c3e6614c76740549c482c587a7 3188 libs optional dune-functions_2.7.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEE6XYjQ9o8g2p4zSVKamMCj1p06JMFAl/3FLQSHGFuc2dhckBk
ZWJpYW4ub3JnAAoJEGpjAo9adOiT66MQALPoRMfF0TXoxbknbjVjv4KYFBdepPuK
X7GE0DDOzxjZ45bf9bTP/d6w+1Mcy/GCOL6A4tzuCiwVpaBX7LLYhOo6YoHAMXwV
IFllTCq+sKhfyLDCSttQsteQAltEk61TglEvm5ve6ZdvWjhiRLyO5MqyUEQ8rQ+J
FckBxMZmdPE+0Jkr2NzVU9xJSupS5s5+mupv6CMzZ2s1giCrmaTJDSzdswte6+/G
69+XWh1KRagr84+91RfecL36VX3FwcUHKhA4mw9J0eSEDJ9MMPQ9uAk5UedM/OpO
eyeomVgOnRqxUViDc2+5XGgIbH8YdP14bnGLSX7Mb2T5kEY8Qc991t80Qr8MZwWS
ilQ9885mi3aS0Puvr2UQKMN71Ftp0uO38vDPHs07b1OBcbvuMdfe0IElDxbL35u3
hrfFQoyZfzmPfTiv73JR5rdfkM9i8bMFANUT8NDnJwAhLama8j4NMsUoKSRQ2vcp
8KMBFVnYJhfas4FLULAfW8cHl3cMttd7VEV3p4pjOdyrACIgMdjIxHc3IsWi/dN8
FIDc9K+o6ehtcVzY+Nk+0t5jM/+DemPY4dp4oQPsjZdspBXaUyFOXaww3XnENsG3
40fjeahMoXCZGKgTTA+ZMFbDOhIE4yJKv9CXkkSnQA87nIM1+X+3Hh6we9DMx93h
Gyy1Q1sgEDjQ
=xgtm
-----END PGP SIGNATURE-----