gap-system / bob

BOB - an automatic installation/compilation tool for GAP and its packages

http://gap-system.github.io/bob/

Geek Repo

Github PK Tool