search

sireum / archived-v2-amandroid

34 stars 16 forks source link

could not download #25

Closed magicislab closed 9 years ago

magicislab commented 9 years ago

HI, when i try to install amandroid in the terminal , i follow the instrcutions and type "sireum install amandroid" it always occurs below scenarios : screenshot from 2015-03-29 14 26 54

fgwei commented 9 years ago

I am sorry for the inconvenience. This problem caused by the university's network has some pro lem. We are trying to fix it.

magicislab commented 9 years ago

thanks a lot! I tried to download Amandroid many thimes but the network always seemed to have some problem. Hope it could fix it soon.

fgwei commented 9 years ago

You can Try this: http://amandroid.sireum.org/docs/tutorial.html#troubleshooting number 3