Coq

Activity log for bug #935063

Date Who What changed Old value New value Message
2012-02-18 12:54:02 Andreas Moog bug added bug
2012-02-18 12:54:04 Andreas Moog coq (Ubuntu): importance Undecided High
2012-02-18 12:54:05 Andreas Moog nominated for series Ubuntu Precise
2012-02-18 12:54:06 Andreas Moog bug task added coq (Ubuntu Precise)
2012-03-03 04:09:01 Ricardo Salveti tags ftbfs precise arm-porting-queue ftbfs precise
2012-03-03 04:09:08 Ricardo Salveti coq (Ubuntu Precise): status New Confirmed
2012-05-16 03:26:53 Micah Gersten nominated for series Ubuntu Quantal
2012-05-16 03:26:53 Micah Gersten bug task added coq (Ubuntu Quantal)
2012-05-16 03:27:03 Micah Gersten tags arm-porting-queue ftbfs precise arm-porting-queue ftbfs precise quantal
2012-06-22 04:21:48 Kate Stewart tags arm-porting-queue ftbfs precise quantal arm-porting-queue ftbfs precise quantal rls-q-incoming
2012-09-19 15:04:39 Colin Watson tags arm-porting-queue ftbfs precise quantal rls-q-incoming arm-porting-queue ftbfs precise quantal rls-q-notfixing
2013-01-04 11:35:50 Ivan Zakharyaschev bug added subscriber Ubuntu ARM Team
2013-01-04 11:37:16 Ivan Zakharyaschev bug task added coq
2014-12-03 09:49:09 Rolf Leggewie coq (Ubuntu Quantal): status Confirmed Won't Fix
2017-10-04 18:15:08 Andreas Moog coq (Ubuntu): status Confirmed Fix Released
2017-10-04 18:15:11 Andreas Moog coq (Ubuntu Precise): status Confirmed Won't Fix