add GAP.Packages.versioninfo()
#960
Job | Run time |
---|---|
45s | |
1m 17s | |
1m 25s | |
1m 40s | |
2m 3s | |
7m 10s |
GAP.Packages.versioninfo()
#960
Job | Run time |
---|---|
45s | |
1m 17s | |
1m 25s | |
1m 40s | |
2m 3s | |
7m 10s |