On 05.12.2012 16:20, SanskritFritz wrote: > The ode-dp package [1] is obsolete since extra/ode is compiled with > double-precision. It is orphaned for this reason. > > [1] https://aur.archlinux.org/packages/ode-dp/ Deleted.