genodelabs/genode — Issue #22: libgmp and libmpfr for ARM and x86_64
Author: nfeske
Created: 2011-12-20 09:10:42+00:00
State: open
Labels: feature

Currently, only x86_32 is supported.