On 2013-11-02 21:19, Andreas Abel wrote:
Eh, seriously, I you plan to ship that garbage with the next Linux distro, I'd say no, that is after all a bit embarrasing...
It is easy to generate the small tar-ball from the big one: cabal unpack Agda-2.3.2.2 && cd Agda-2.3.2.2 && \ cabal configure && cabal sdist (One could skip the "cabal configure" step, which generates the files Lexer.hs and Parser.hs; these files are not included in the big tar-ball.) -- /NAD -- To UNSUBSCRIBE, email to debian-haskell-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/527a614a.10...@cse.gu.se