[Agda] ANNOUNCE: Agda

Joachim Breitner nomeata at debian.org
Fri Nov 1 18:33:02 CET 2013


Am Mittwoch, den 30.10.2013, 17:47 +0100 schrieb Nils Anders Danielsson:
> Agda has now been released. Important changes since
> * Fixed a bug that sometimes made it tricky to use the Emacs mode on
>    Windows [issue 757].
> * Made Agda build with newer versions of some libraries.

there are lots of changes in the package, including benchmark logs that
look like data that are not meant to be released.

Intentional or accident?


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/20131101/ed70528e/attachment.bin

More information about the Agda mailing list