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
Package: agda-stdlib
Version: 0.6-2
Severity: grave
Justification: renders package unusable
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.
-- System Information:
2 matches
Mail list logo
