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 debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org