“agda-bin” source package in The Precise Pangolin

Publishing history
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


agda-bin ( unstable; urgency=low

  * New upstream release 

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

No changes file available.