Revision history [back]
 | 1 | initial version |  |
I just downloaded and installed database_gap using the command
sage -i database_gap-4.4.12.pl
It is possible that the server was having issues when you tried it. You may want to try it one more time.
