add GAP.Packages.versioninfo()
#958
Job | Run time |
---|---|
47s | |
1m 18s | |
1m 23s | |
1m 38s | |
1m 45s | |
6m 51s |
GAP.Packages.versioninfo()
#958
Job | Run time |
---|---|
47s | |
1m 18s | |
1m 23s | |
1m 38s | |
1m 45s | |
6m 51s |