Control: severity -1 important On Wed, Dec 05, 2012 at 07:07:24PM +0400, Vladimir Lysikov wrote: > Severity: grave > Justification: renders package unusable
The package has uses beyond compilation. > Data.FFI module is contained in ffi subdirectory of source tarball. > It is needed for compilation using MAlonzo backend, but isn't provided by > agda-stdlib or any related package. I cannot say anything about MAlonzo compilation, but this clearly does not qualify as grave. The package is usable for type checking as is. Helmut -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
