agda-mode binary package in Ubuntu Bionic i386
agda-mode has been ELPAfied. See the elpa-agda2-mode package. This
transitional package is safe to remove.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2017-11-27 03:03:13 UTC | Published | Ubuntu Bionic i386 | release | universe | misc | Optional | 2.5.3-3build1 | ||
|
|||||||||
Deleted | Ubuntu Bionic i386 | proposed | universe | misc | Optional | 2.5.3-3build1 | |||
|
|||||||||
2017-11-27 03:03:47 UTC | Superseded | Ubuntu Bionic i386 | release | universe | misc | Optional | 2.5.3-3 | ||
|
|||||||||
2017-11-28 06:10:09 UTC | Deleted | Ubuntu Bionic i386 | proposed | universe | misc | Optional | 2.5.3-3 | ||
|
|||||||||
2017-11-22 03:48:34 UTC | Superseded | Ubuntu Bionic i386 | release | universe | misc | Optional | 2.5.2-2build1 | ||
|