Hello, Is there anywhere imaxima debian package available? Or are there any plans to include it into debian sid? regards, Seweryn Kokot