Fix type annotation for gap_exec2 - Githubissues

gap-system / PackageDistro

The GAP package distribution is managed via this repository

https://gap-system.github.io/PackageDistro/

GNU General Public License v2.0

4 stars 8 forks source link

Fix type annotation for gap_exec2 #1000

Closed fingolfin closed 1 month ago