Fix source installation to create dist-info directory for package discovery#7695

Merged

NikolajBjorner merged 6 commits into

copilot/fix-7692

Jun 28, 2025

Commits on Jun 26, 2025

Fix ModuleNotFoundError by removing dynamic version loading from pyproject.toml

Copilot
and
NikolajBjorner
committed

Commits on Jun 27, 2025

Remove hardcoded version from pyproject.toml, use dynamic version from setup.py

Copilot
and
NikolajBjorner
committed