Ubuntu
agda package

Publishing history of agda 2.5.3-3build1 source package in Ubuntu

  1. 2.5.3-3build1
  2. Publishing history
1 → 3 of 3 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2018-06-27 20:15:44 UTC Superseded Cosmic release universe haskell 2.5.3-3build1
  • Removal requested .
  • Superseded by agda - 2.5.3-5
  • Published
  • Copied from ubuntu bionic in Primary Archive for Ubuntu
  2017-11-27 03:03:13 UTC Published Bionic release universe haskell 2.5.3-3build1
  Deleted Bionic proposed universe haskell 2.5.3-3build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
1 → 3 of 3 results First • Previous • Next • Last

«back