Ubuntu

agda-stdlib binary package in Ubuntu Maverick i386

  1. Maverick (10.10)
  2. i386
  3. agda-stdlib

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2013-03-05 01:38:15 UTC Obsolete Ubuntu Maverick i386 release universe libs Extra 0.3-3fakesync
  • Removed from disk .
  • Removal requested .
  • Published
  2010-05-26 06:06:53 UTC Superseded Ubuntu Maverick i386 release universe libs Extra 0.3-1ubuntu2
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of agda-stdlib 0.3-3fakesync in ubuntu maverick RELEASE
  • Published
  • Copied from ubuntu lucid-release i386 in Primary Archive for Ubuntu