2013-05-15 23:44:55 |
Craig Denman |
bug |
|
|
added bug |
2013-05-17 09:52:47 |
Hans Joachim Desserud |
tags |
|
upgrade-software-version |
|
2013-06-26 00:57:40 |
Logan Rosen |
frama-c (Ubuntu): status |
New |
Triaged |
|
2013-06-26 00:57:42 |
Logan Rosen |
frama-c (Ubuntu): importance |
Undecided |
Wishlist |
|
2013-06-26 01:09:09 |
Logan Rosen |
bug watch added |
|
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714124 |
|
2013-06-26 01:09:09 |
Logan Rosen |
bug task added |
|
frama-c (Debian) |
|
2013-06-28 06:54:23 |
Bug Watch Updater |
frama-c (Debian): status |
Unknown |
Confirmed |
|
2013-11-25 22:40:00 |
Logan Rosen |
bug |
|
|
added subscriber Logan Rosen |
2013-11-26 04:11:47 |
Bug Watch Updater |
frama-c (Debian): status |
Confirmed |
Fix Released |
|
2013-11-28 04:32:10 |
Logan Rosen |
frama-c (Ubuntu): status |
Triaged |
Fix Released |
|