Re: [aur-general] ode-dp can be deleted

[Sven-Hendrik Haase]

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.