[Agda] ANNOUNCE: Agda

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- && cd Agda- && \
>      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 earlier today
– sorry for that.

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