summaryrefslogtreecommitdiff
path: root/dev-gap/polymaking/Manifest
Commit message (Expand)AuthorAge
* Fixing manifest once again.Sergio2026-08-15
* Replacing manifestsSergio2026-08-10
* Updating Manifests.Sergio2026-08-09
* dev-gap/polymaking: add 0.8.9, drop 0.8.7Michael Orlitzky2026-05-06
* dev-gap/polymaking: new package, add 0.8.7Michael Orlitzky2024-01-22