Bug#695216: agda-stdlib: Package does not contain Data.FFI haskell module needed for compilation
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
Bug#695216: agda-stdlib: Package does not contain Data.FFI haskell module 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: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 3.6.0-8.dmz.2-liquorix-amd64 (SMP w/4 CPU cores; PREEMPT) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages agda-stdlib depends on: ii libghc-agda-dev 2.3.0.1-2+b1 agda-stdlib recommends no packages. agda-stdlib suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
