As discussed in #28711 comment:64:

We split the current p_group_cohomology spkg:

In this ticket, we create the package modular_resolution, depending on meataxe-the-C-library, that installs:

• a standalone C library libmodres.so in $SAGE_LOCAL/lib
• some executables in $SAGE_LOCAL/bin, linked against libmodres
• database of cohomology rings

This also fixes the build problems of p_group_cohomology.

Fixing the doctest failures of p_group_cohomology is outside of the scope of this ticket. That's #34333.

New upstream:

• https://github.com/sagemath/modular_resolution

Depends on #34221
Depends on #34291

Upstream: Fixed upstream, in a later stable release.

CC: @simon-king-jena @dimpase @jhpalmieri @tscrim @kwankyu

Component: packages: optional

Keywords: sd111

Author: Matthias Koeppe, Dima Pasechnik, John Palmieri

Branch/Commit: c7108e9

Reviewer: John Palmieri, Matthias Koeppe, Dima Pasechnik, Travis Scrimshaw

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