Ubuntu

“agda-bin” 2.3.0.1-1 source package in The Precise Pangolin

Publishing history

2.3.0.1-1
PUBLISHED: Precise pocket Release in component universe and section haskell
  • Published on 2012-03-18
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Iain Lane

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

No changes file available.