Tarballs: see checksums.ini

These new releases include dynamic bitset classes that allow dynamic h-representation computations.

We also install nauty header and library in order that Normaliz compile with nauty support (for computing automorphism group).

Depends on #30262

Upstream: Fixed upstream, but not in a stable release.

CC: @mkoeppe @jplab @isuruf @w-bruns @tscrim @kliem @LaisRast @slel

Component: packages: standard

Keywords: package upgrade days101

Author: Vincent Delecroix, Jonathan Kliem, Matthias Koeppe

Branch: c55a701

Reviewer: Jonathan Kliem, Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/27952