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 compilati
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:
Deb
2 matches
Mail list logo