Closed knxm closed 11 years ago
libcgal-dev ghc
libcgal-dev is already installed, but ghc is too huge for live system.
libcgal-dev ghc