| 2009-05-27 21:37:20 |
Andrea Gasparini |
bug |
|
|
added bug |
| 2009-05-27 21:56:08 |
Andrea Gasparini |
bug watch added |
|
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=521918 |
|
| 2009-05-27 21:56:08 |
Andrea Gasparini |
bug task added |
|
eprover (Debian) |
|
| 2009-05-27 22:01:08 |
Andrea Gasparini |
attachment added |
|
eprover_1.0.004-1ubuntu1.debdiff http://launchpadlibrarian.net/27218082/eprover_1.0.004-1ubuntu1.debdiff |
|
| 2009-05-27 22:01:09 |
Bug Watch Updater |
eprover (Debian): status |
Unknown |
New |
|
| 2009-05-27 22:03:26 |
Andrea Gasparini |
eprover (Ubuntu): status |
New |
Confirmed |
|
| 2009-05-27 22:17:02 |
Luca Falavigna |
eprover (Ubuntu): importance |
Undecided |
Medium |
|
| 2009-05-27 22:17:02 |
Luca Falavigna |
eprover (Ubuntu): status |
Confirmed |
Fix Committed |
|
| 2009-05-27 22:20:14 |
Launchpad Janitor |
eprover (Ubuntu): status |
Fix Committed |
Fix Released |
|
| 2009-07-21 05:28:11 |
Launchpad Janitor |
branch linked |
|
lp:ubuntu/karmic/eprover |
|
| 2011-12-15 17:02:13 |
Bug Watch Updater |
eprover (Debian): status |
New |
Fix Released |
|
