Publishing details

Changelog

agda-bin (2.3.0.1-1) unstable; urgency=low


  * New upstream release 

 -- Joachim Breitner <email address hidden>  Mon, 12 Mar 2012 14:31:48 +0100

Available diffs

Builds

Package files