[Agda] ANNOUNCE: Agda 2.3.2.2

Nils Anders Danielsson nad at cse.gu.se
Wed Nov 6 16:33:30 CET 2013


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


More information about the Agda mailing list