v1.2.5
HomalgProject v1.2.5
Merged pull requests:
- CompatHelper: bump compat for Singular to 0.13, (keep existing compat) (#84) (@github-actions[bot])
- CompatHelper: bump compat for Singular to 0.13, (keep existing compat) (#85) (@mohamed-barakat)
Merged pull requests: