Closed denizzzka closed 7 months ago
project_* stuff removed
sources install trick removed
build fixed
Assumes that https://github.com/s-ludwig/taggedalgebraic/pull/73 is merged
project_* stuff removed
sources install trick removed
build fixed
Assumes that https://github.com/s-ludwig/taggedalgebraic/pull/73 is merged