| 2011-04-26 09:20:59 |
Matthias Klose |
bug |
|
|
added bug |
| 2011-04-26 09:21:00 |
Matthias Klose |
eprover (Ubuntu): importance |
Undecided |
High |
|
| 2011-06-10 18:54:22 |
Brian Murray |
eprover (Ubuntu): milestone |
|
oneiric-alpha-3 |
|
| 2011-06-10 18:54:24 |
Brian Murray |
nominated for series |
|
Ubuntu Oneiric |
|
| 2011-06-10 18:54:25 |
Brian Murray |
bug task added |
|
eprover (Ubuntu Oneiric) |
|
| 2011-07-06 20:18:30 |
Brian Murray |
eprover (Ubuntu Oneiric): milestone |
oneiric-alpha-3 |
|
|
| 2011-07-06 20:18:31 |
Brian Murray |
eprover (Ubuntu Oneiric): status |
New |
Confirmed |
|
| 2011-07-06 20:18:33 |
Brian Murray |
tags |
ftbfs oneiric |
ftbfs oneiric universe |
|
| 2011-09-16 22:11:32 |
Launchpad Janitor |
eprover (Ubuntu Oneiric): status |
Confirmed |
Fix Released |
|
| 2011-09-16 23:08:23 |
Launchpad Janitor |
branch linked |
|
lp:ubuntu/eprover |
|
