Is there a 64 bit .deb of this, or are the source files available somewhere to build one?
Kind Regards, David Van Assche -- edubuntu-users mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/edubuntu-users
