This spkg is mentioned in #14467 and was apparently "huge" (and hence optional). But it is no longer listed under build/pkgs nor does it appear to be available on the download mirrors.

Here is a branch to convert it to a new style experimental (but, maybe optional?) package.

the tarball is the old *.spkg file, but as it's a tar file, it works

tarball url (see in checksum.ini), but it's the same as one gets
via ./sage -p polytopes_db_4d (which still works with old style pkfs)

A few options:

1. If someone has a copy of this package we can convert it to a new-style SPKG (we will probably need to upload the tarball somewhere with enough space to host it).

Done.

CC: @mkoeppe @vbraun

Component: packages: huge

Author: Dima Pasechnik

Branch/Commit: b49f89a

Reviewer: Travis Scrimshaw

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