[Pkg-haskell-maintainers] Bug#644591: breaks agda-stdlib too

Helmut Grohne helmut at subdivi.de
Tue Oct 18 09:23:23 UTC 2011


affects 644591 + agda-stdlib
thanks

$ ghci -package Agda 
GHCi, version 7.0.4: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package extensible-exceptions-0.1.1.2 ... linking ... done.
Loading package old-locale-1.0.0.2 ... linking ... done.
Loading package time-1.2.0.3 ... linking ... done.
Loading package random-1.0.0.3 ... linking ... done.
Loading package array-0.3.0.2 ... linking ... done.
Loading package containers-0.4.0.0 ... linking ... done.
Loading package pretty-1.0.1.2 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package QuickCheck-2.4.1.1 ... linking ... done.
Loading package bytestring-0.9.1.10 ... linking ... done.
Loading package binary-0.5.0.2 ... linking ... done.
Loading package filepath-1.2.0.0 ... linking ... done.
Loading package old-time-1.0.0.6 ... linking ... done.
Loading package unix-2.4.2.0 ... linking ... done.
Loading package directory-1.1.0.0 ... linking ... done.
Loading package transformers-0.2.2.0 ... linking ... done.
Loading package mtl-2.0.1.0 ... linking ... done.
Loading package terminfo-0.3.1.3 ... <command line>: can't load .so/.DLL for: ncurses (/usr/lib/x86_64-linux-gnu/libncurses.so: file too short)
$

Helmut





More information about the Pkg-haskell-maintainers mailing list