Ubuntu

agda-mode binary package in Ubuntu Focal amd64

  1. Focal (20.04)
  2. amd64
  3. agda-mode

 agda-mode has been ELPAfied. See the elpa-agda2-mode package. This
 transitional package is safe to remove.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-02-08 16:53:22 UTC Published Ubuntu Focal amd64 release universe misc Optional 2.6.0.1-1build4
  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Focal amd64 proposed universe misc Optional 2.6.0.1-1build4
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-02-08 16:54:45 UTC Superseded Ubuntu Focal amd64 release universe misc Optional 2.6.0.1-1build3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of agda 2.6.0.1-1build4 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  2020-02-09 18:10:10 UTC Deleted Ubuntu Focal amd64 proposed universe misc Optional 2.6.0.1-1build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-01-31 09:06:06 UTC Superseded Ubuntu Focal amd64 release universe misc Optional 2.6.0.1-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of agda 2.6.0.1-1build3 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu eoan-proposed amd64 in Primary Archive for Ubuntu

Source package