Ubuntu
agda package

Publishing history of agda 2.6.0.1-1build4 source package in Ubuntu

  1. 2.6.0.1-1build4
  2. Publishing history
1 → 3 of 3 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  Deleted Groovy release universe haskell 2.6.0.1-1build4
  • Removal requested .
  • Deleted by Steve Langasek

    build-depends on haskell-edison-core, which is scheduled for removal in Debian; Debian bug #962958, LP: #1886847

  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2020-02-08 16:53:22 UTC Published Focal release universe haskell 2.6.0.1-1build4
  Deleted Focal proposed universe haskell 2.6.0.1-1build4
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

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

«back