Ubuntu
agda-bin package

Publishing history of agda-bin 2.3.0.1-1 source package in Ubuntu

  1. 2.3.0.1-1
  2. Publishing history
1 → 3 of 3 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  Deleted Raring release universe haskell 2.3.0.1-1
  • Removal requested .
  • Deleted by Colin Watson

    obsolete source package (superseded by agda source)

  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2015-04-24 11:19:49 UTC Obsolete Quantal release universe haskell 2.3.0.1-1
  • Removal requested .
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2012-03-18 21:33:42 UTC Published Precise release universe haskell 2.3.0.1-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux by Iain Lane
1 → 3 of 3 results First • Previous • Next • Last

«back