Re: Debian library packaging? or, how to get a single deb to work for hugs/ghc/nhc?