[23:40] <krish> hi, is there no 64 bit edubuntu?