[Agda] ANNOUNCE: Agda 2.3.2.2
Joachim Breitner
nomeata at debian.org
Wed Nov 6 16:36:07 CET 2013
Dear Andreas,
Am Mittwoch, den 06.11.2013, 16:33 +0100 schrieb Nils Anders Danielsson:
> 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.)
Debian has a policy to not change upstream tarballs (unless legally
reqiured). But anyways it is too late now; another Debian maintainer,
who wasn’t aware of this discussion, just uploaded 2.3.2.2 earlier today
– sorry for that.
Greetings,
Joachim
--
Joachim "nomeata" Breitner
Debian Developer
nomeata at debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
JID: nomeata at joachim-breitner.de | http://people.debian.org/~nomeata
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
Url : http://lists.chalmers.se/pipermail/agda/attachments/20131106/c771967f/attachment.bin
More information about the Agda
mailing list