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 [email protected] | ICQ# 74513189 | GPG-Keyid: 4743206C JID: [email protected] | http://people.debian.org/~nomeata
signature.asc
Description: This is a digitally signed message part
