Accepted deal.ii 9.5.1-3 (source) into unstable

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

Format: 1.8
Date: Sat, 25 May 2024 09:56:38 +0200
Source: deal.ii
Architecture: source
Version: 9.5.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Tobias Frost <tobi@debian.org>
Closes: 1071471
Changes:
 deal.ii (9.5.1-3) unstable; urgency=medium
 .
   * Team upload.
   * Fix FTBFS with opencascade 7.8 (Closes: #1071471),
     and ensure by versioned B-D that this version is used.
Checksums-Sha1:
 711dbc5b42103115e6276fddff14e9a9000eee9d 2782 deal.ii_9.5.1-3.dsc
 76e461181cb1cee8477873813e5a3a7aa6f30d50 12000 deal.ii_9.5.1-3.debian.tar.xz
 408c8309d44064bd3e9c32daf900b5e58c919257 24812 deal.ii_9.5.1-3_amd64.buildinfo
Checksums-Sha256:
 6632b652d825e5ce01690d80b560bbe9619a32de0d5947edf5dba40625959725 2782 deal.ii_9.5.1-3.dsc
 0a232866fa9cf6108632cf5b8b9da5c08ee6aef655a1c88cc95657fa6a60e581 12000 deal.ii_9.5.1-3.debian.tar.xz
 068642f6511b9fc5159061962cbfd91620095b79456ecc50d5e34ccfda727fb3 24812 deal.ii_9.5.1-3_amd64.buildinfo
Files:
 da1936d33871d46dd880cbd7d495ee9f 2782 libs optional deal.ii_9.5.1-3.dsc
 806cf08bc9b28f2953e74868b6fc513c 12000 libs optional deal.ii_9.5.1-3.debian.tar.xz
 8d62a1fdf9b2848696edd49df1e36769 24812 libs optional deal.ii_9.5.1-3_amd64.buildinfo

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

iQIzBAEBCAAdFiEE/d0M/zhkJ3YwohhskWT6HRe9XTYFAmZRncsACgkQkWT6HRe9
XTa0fw/+OXSq82aG82Iq4DDxw2F0UUz6QsHUv05cgM48z+u6leqiJj3eZlfGYMvZ
Umh4DT2LqfnO5UIYD14XlFfRF6AY6n6xjc1+1f+8GsH0TdVil/niNK0lzUpIP7Dd
rttJ5dAAmCqMT7ml3PgXSdt+CS0iU8SYVHv+u+D52dqJthQy/O+jgg7bVgeWEdGa
06nSvd0AkMntzlXQfqSLoXSge67sK/g0sPTQbGgQH+juUa1iAJanCyP+dOvn79Rj
F5ZIZRIvEoMqqAI+eW0kcSyFWKDrNIlw+o8wdAArVf+9zQtuoWtwKY2p4O4ZaGgs
Vw5Gr7Edz6VOYl/8LeK2Pyct9GDisQLa+k7HCDv9yc1KgNkbQYeXHCi1YwkAQhx7
1iw7+X5dZEcAzFImW2N3GH3FUj3obYhLxQzkYxSD5S8otnonGxY8hPtMm82XJAqs
HHBW0M3P0/8d79y1WQ9Qpmrrg/+zhfQJ5vo0OJTjbFGCeRr89n+bn7ss4ORRVNtB
6H3xv/ePbHssv24xEmyymJUO+2nWwxACFA5ddQOc27I9OYEdgHBIq4Dcw2B/rERk
hdxEVr6NaUf444xp7CbTxMbQXqEUU1kvYJONw7E7wHdq+tjqZW4FR3H7USLCB103
u1G2zk6PozmnOGRovulfEUCZX2livbqPTEuOFWk38816eN1a1R4=
=DkKK
-----END PGP SIGNATURE-----