I sent an email yesterday to the Debian dev. about 5.12. He emailed back today and told me he has uploaded it. So absolutely we will see 5.12 in Gutsy. :)
Best, Yigal On Fri, 2007-05-04 at 17:37 +0000, fettouhi wrote: > 5.12 has just been released of maxima. Will we see an update of maxima > for gutsy then when it comes out in 6 months? > > Regards > > André > -- Why not use 5.11 https://bugs.launchpad.net/bugs/92715 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
