-
-
Notifications
You must be signed in to change notification settings - Fork 673
Closed
Milestone
Description
Currently, database_symbolic_data does not work with the new git workflow.
New tarball (repacked old spkg):
Component: packages: optional
Author: Martin Albrecht,Volker Braun
Branch/Commit: u/vbraun/database_symbolic_data @ 5b3df35
Reviewer: Volker Braun, Martin Albrecht
Issue created by migration from https://trac.sagemath.org/ticket/15263