Activity log for bug #1886847
| Date | Who | What changed | Old value | New value | Message |
|---|---|---|---|---|---|
| 2020-07-08 16:18:19 | Dimitri John Ledkov | bug | added bug | ||
| 2020-07-08 16:18:29 | Dimitri John Ledkov | bug task added | agda-stdlib (Ubuntu) | ||
| 2020-07-08 16:18:48 | Dimitri John Ledkov | description | RM agda agda-stdlib because haskell-edison-core got removed haskell-edison-core got removed because "FTBFS with current ghc, scheduled for removal in Debian; Debian bug #962958" | RM agda agda-stdlib because haskell-edison-core got removed Please remove agda agda-stdlib, from groovy-release & groovy-proposed haskell-edison-core got removed because "FTBFS with current ghc, scheduled for removal in Debian; Debian bug #962958" | |
| 2020-07-08 16:18:54 | Dimitri John Ledkov | tags | update-excuse | ||
| 2020-07-08 16:18:57 | Dimitri John Ledkov | agda (Ubuntu): status | New | Triaged | |
| 2020-07-08 16:19:00 | Dimitri John Ledkov | agda-stdlib (Ubuntu): status | New | Triaged | |
| 2020-07-08 16:19:06 | Dimitri John Ledkov | bug | added subscriber Ubuntu Package Archive Administrators | ||
| 2020-07-09 16:37:54 | Steve Langasek | agda (Ubuntu): status | Triaged | Fix Released | |
| 2020-07-09 16:41:18 | Steve Langasek | agda-stdlib (Ubuntu): status | Triaged | Fix Released |
