| 2011-02-26 00:46:08 |
Iain Lane |
bug |
|
|
added bug |
| 2011-02-26 00:46:48 |
Iain Lane |
bug task added |
|
agda-stdlib (Ubuntu) |
|
| 2011-02-26 00:47:15 |
Iain Lane |
attachment added |
|
2011-02-26-002919_1280x800_scrot.png https://bugs.launchpad.net/ubuntu/+source/agda-stdlib/+bug/725364/+attachment/1872021/+files/2011-02-26-002919_1280x800_scrot.png |
|
| 2011-02-26 00:48:01 |
Iain Lane |
attachment added |
|
agda-stdlib.debdiff https://bugs.launchpad.net/ubuntu/+source/agda-stdlib/+bug/725364/+attachment/1872022/+files/agda-stdlib.debdiff |
|
| 2011-02-26 00:49:08 |
Iain Lane |
attachment added |
|
agda-bin.debdiff https://bugs.launchpad.net/ubuntu/+source/agda-stdlib/+bug/725364/+attachment/1872023/+files/agda-bin.debdiff |
|
| 2011-02-26 00:49:50 |
Iain Lane |
bug |
|
|
added subscriber Ubuntu Release Team |
| 2011-02-26 11:25:35 |
Iulian Udrea |
agda-bin (Ubuntu): status |
New |
Confirmed |
|
| 2011-02-26 11:25:38 |
Iulian Udrea |
agda-bin (Ubuntu): importance |
Undecided |
Wishlist |
|
| 2011-02-26 11:25:41 |
Iulian Udrea |
agda-stdlib (Ubuntu): status |
New |
Confirmed |
|
| 2011-02-26 11:25:43 |
Iulian Udrea |
agda-stdlib (Ubuntu): importance |
Undecided |
Wishlist |
|
| 2011-02-26 13:59:11 |
Hans Joachim Desserud |
tags |
|
upgrade-software-version |
|
| 2011-02-28 23:57:13 |
Iain Lane |
agda-bin (Ubuntu): status |
Confirmed |
Fix Released |
|
| 2011-03-01 00:20:13 |
Launchpad Janitor |
agda-stdlib (Ubuntu): status |
Confirmed |
Fix Released |
|
| 2011-03-01 01:15:48 |
Launchpad Janitor |
branch linked |
|
lp:ubuntu/agda-stdlib |
|
