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
