Resolve https://github.com/gap-system/gap/issues/5761 - Githubissues

homalg-project / CddInterface

Gap Interface to Cdd

https://homalg-project.github.io/CddInterface

Other

1 stars 5 forks source link

Resolve https://github.com/gap-system/gap/issues/5761 #43

Closed reiniscirpons closed 2 months ago

reiniscirpons commented 2 months ago

This PR resolves https://github.com/gap-system/gap/issues/5761 and bumps the used GAP version.