Hi, Am Mittwoch, den 30.10.2013, 17:47 +0100 schrieb Nils Anders Danielsson: > Agda 2.3.2.2 has now been released. Important changes since 2.3.2.1: > > * 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. http://hdiff.luite.com/cgit/Agda/diff/?id=2.3.2.2&id2=2.3.2.1 Intentional or accident? Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part