Ubuntu

“agda” 2.3.0-1build2 source package in The Precise Pangolin

Publishing history

2.3.0-1build2
SUPERSEDED: Precise pocket Release in component universe and section haskell
  • Removed from disk on 2012-03-19.
  • Removal requested on 2012-03-19.
  • Superseded on 2012-03-18 by agda - 2.3.0.1-1
  • Published on 2012-01-23

Builds

Changelog

agda (2.3.0-1build2) precise; urgency=low

  * No-changes rebuild against current libghc-agda-dev.
 -- Leo Iannacone <email address hidden>   Mon, 23 Jan 2012 10:50:43 +0100