Marco TĂșlio Gontijo e Silva writes:
> I've made a new version of haskell-haskeline[0].
libghc6-haskeline-dev is also provided by ghc6 6.10.3-2... is this new
haskell-haskeline package intended only for people still running 6.8 or
6.10.1?
--
To UNSUBSCRIBE, email to debian-haskell-requ...@list
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hi,
On 19 Jun 2009, at 17:06, Joachim Breitner wrote:
...
Is there any reason why this is not shipped in the agda library by
upstream, just as agda-mode is? If it should be be built by default,
it
could be achieved by a cabal flag.
[sorry if y