[Agda] ANNOUNCE: Agda 18.104.22.168
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 22.214.171.124 has now been released. Important changes since 126.96.36.199:
> * 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
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
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