First time here? Check out the FAQ!
answered 2012-05-12 18:04:52 +0100
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.