add GAP.Packages.versioninfo()
#964
Job | Run time |
---|---|
48s | |
1m 19s | |
1m 22s | |
1m 32s | |
1m 56s | |
6m 57s |
GAP.Packages.versioninfo()
#964
Job | Run time |
---|---|
48s | |
1m 19s | |
1m 22s | |
1m 32s | |
1m 56s | |
6m 57s |