Accepted tasmanian 8.1-4 (source) into unstable

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

Format: 1.8
Date: Tue, 25 Feb 2025 12:22:52 +0100
Source: tasmanian
Architecture: source
Version: 8.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Sébastien Villemot <sebastien@debian.org>
Changes:
 tasmanian (8.1-4) unstable; urgency=medium
 .
   * Disable autopkgtests that segfault on riscv64
   * Bump S-V to 4.7.1
Checksums-Sha1:
 41bac5686eca47c0fe7f4b001b1f2556de51b5d4 2566 tasmanian_8.1-4.dsc
 04c52665835a3b47b528fbbd270ebf4ab10179e9 5564 tasmanian_8.1-4.debian.tar.xz
 162b8968e0da7bd8c064094e84749e453da1427a 11648 tasmanian_8.1-4_amd64.buildinfo
Checksums-Sha256:
 0626b1563b4ce4552867020263cc533ff461660a8235df35d53ab2426ac9cf27 2566 tasmanian_8.1-4.dsc
 f6936b15ccf6094185952a836ffa2b1a50fa13c98aa3d962417f827e172a8334 5564 tasmanian_8.1-4.debian.tar.xz
 f599fd75fed60d3a5a9805136847d09349068f38e05c8fffa73ef1b8ecac6fb7 11648 tasmanian_8.1-4_amd64.buildinfo
Files:
 1f22d730cd9222b2700332ec60154145 2566 math optional tasmanian_8.1-4.dsc
 f634ff19b8c9ad1046dbdffb6463941d 5564 math optional tasmanian_8.1-4.debian.tar.xz
 6a32e9cf1c97116aaf55c45b93455c1e 11648 math optional tasmanian_8.1-4_amd64.buildinfo

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

iQIzBAEBCgAdFiEEU5UdlScuDFuCvoxKLOzpNQ7OvkoFAme9qMoACgkQLOzpNQ7O
vko9KQ/8DQMFZ3Zd255B6HO3yQhMrW04R0QXBKb0kA4r9An0Yua38keIrNEc1HBQ
eMHfDTZKbDZxJwtg1ah7rzYShFAA7U8ehlxrhkIdOXpeDudlP3ZirEM+ga4FcHZw
4nvQ0S8bcPbi9VMUInSFD4xznmMP3h3jxgt0sYhqeZ+YNJC4/cM7J/yP8GIq+Cl4
b6RksEXFDNKPsH13XMU5fs+NDEKd5j6OwsubFOOKBBrLkGjb1Qct2iJbK1g8kFyg
Jhd2TQxIZktm0wUMlyt/zsQ02xJSDt2u066kXF0vlm1rzZSWaCZ3XvrHzky7gHYU
gxIw8o5jvNTpio7GjXSF9gc6QyDSGX8HRlW2HtcV25SF75/b9uUnRXygP2R2F5Lk
ziT8Srd++E8EhFjSdqudFr8fjKZ4rYUFQ7aRTgF/bSgV19KvmP2GOUcC4oDxQ2UX
NHk6NsmrYjnnrZC/DLe/ZHadPfDhNDVN/yNS12d8QFVV9gt/OYxzgwZ7jZvJ65gG
Y/rNsFmrZa97OtBC91g3EinOrv0mMDIwB4BVH20xxnX/rAD5yZJFyR8D7LBRBjq9
PN/wfif7SGiHtNBIH0iwH8NzKfz843DDXUo35/rsv2qIks4TS7gNBvfdduuM1wkM
XCH11rJQ+CteNjm/+BACcHgehMTYLtygmNsn6S/m4+s5jx8UDi0=
=uQP0
-----END PGP SIGNATURE-----