Back to bug 2055971
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Upstream Release Monitoring | 2022-03-04 04:28:57 UTC | Summary | cbmc-5.51.0 is available | cbmc-5.52.0 is available |
| Upstream Release Monitoring | 2022-03-18 02:04:05 UTC | Summary | cbmc-5.52.0 is available | cbmc-5.53.0 is available |
| Upstream Release Monitoring | 2022-03-22 14:02:54 UTC | Summary | cbmc-5.53.0 is available | cbmc-5.53.1 is available |
| Lukáš Zaoral | 2022-03-23 13:32:48 UTC | Doc Type | --- | If docs needed, set a value |
| Status | NEW | ASSIGNED | ||
| Upstream Release Monitoring | 2022-04-01 02:25:46 UTC | Summary | cbmc-5.53.1 is available | cbmc-5.54.0 is available |
| Upstream Release Monitoring | 2022-04-14 16:22:08 UTC | Summary | cbmc-5.54.0 is available | cbmc-5.55.0 is available |
| Upstream Release Monitoring | 2022-04-30 06:36:06 UTC | Summary | cbmc-5.55.0 is available | cbmc-5.56.0 is available |
| Upstream Release Monitoring | 2022-05-13 07:26:46 UTC | Summary | cbmc-5.56.0 is available | cbmc-5.57.0 is available |
| Upstream Release Monitoring | 2022-05-27 07:55:16 UTC | Summary | cbmc-5.57.0 is available | cbmc-5.58.0 is available |
| Upstream Release Monitoring | 2022-05-28 10:20:18 UTC | Summary | cbmc-5.58.0 is available | cbmc-5.58.1 is available |
| Upstream Release Monitoring | 2022-06-09 20:01:52 UTC | Summary | cbmc-5.58.1 is available | cbmc-5.59.0 is available |
| Upstream Release Monitoring | 2022-06-23 20:02:17 UTC | Summary | cbmc-5.59.0 is available | cbmc-5.60.0 is available |
| Upstream Release Monitoring | 2022-07-08 20:00:16 UTC | Summary | cbmc-5.60.0 is available | cbmc-5.61.0 is available |
| Upstream Release Monitoring | 2022-07-23 01:02:46 UTC | Summary | cbmc-5.61.0 is available | cbmc-5.62.0 is available |
| Upstream Release Monitoring | 2022-08-05 14:08:08 UTC | Summary | cbmc-5.62.0 is available | cbmc-5.63.0 is available |
| Upstream Release Monitoring | 2022-08-19 02:19:45 UTC | Summary | cbmc-5.63.0 is available | cbmc-5.64.0 is available |
| Upstream Release Monitoring | 2022-09-01 19:38:40 UTC | Summary | cbmc-5.64.0 is available | cbmc-5.65.0 is available |
| Upstream Release Monitoring | 2022-09-05 22:08:15 UTC | Summary | cbmc-5.65.0 is available | cbmc-5.65.1 is available |
| Upstream Release Monitoring | 2022-09-17 04:50:41 UTC | Summary | cbmc-5.65.1 is available | cbmc-5.66.0 is available |
| Upstream Release Monitoring | 2022-09-29 21:36:41 UTC | Summary | cbmc-5.66.0 is available | cbmc-5.67.0 is available |
| Upstream Release Monitoring | 2022-10-14 22:42:45 UTC | Summary | cbmc-5.67.0 is available | cbmc-5.68.0 is available |
| Upstream Release Monitoring | 2022-10-28 10:31:30 UTC | Summary | cbmc-5.68.0 is available | cbmc-5.69.1 is available |
| Upstream Release Monitoring | 2022-11-10 20:53:03 UTC | Summary | cbmc-5.69.1 is available | cbmc-5.70.0 is available |
| Upstream Release Monitoring | 2022-11-24 21:52:37 UTC | Summary | cbmc-5.70.0 is available | cbmc-5.71.0 is available |
| Upstream Release Monitoring | 2022-12-08 22:13:57 UTC | Summary | cbmc-5.71.0 is available | cbmc-5.72.0 is available |
| Upstream Release Monitoring | 2022-12-10 11:01:14 UTC | Summary | cbmc-5.72.0 is available | cbmc-5.72.1 is available |
| Upstream Release Monitoring | 2022-12-14 15:53:55 UTC | Summary | cbmc-5.72.1 is available | cbmc-5.72.2 is available |
| Upstream Release Monitoring | 2022-12-21 03:49:15 UTC | Summary | cbmc-5.72.2 is available | cbmc-5.73.0 is available |
| Upstream Release Monitoring | 2023-01-07 20:18:01 UTC | Summary | cbmc-5.73.0 is available | cbmc-5.74.0 is available |
| Upstream Release Monitoring | 2023-01-20 21:58:57 UTC | Summary | cbmc-5.74.0 is available | cbmc-5.75.0 is available |
| Upstream Release Monitoring | 2023-02-02 19:13:22 UTC | Summary | cbmc-5.75.0 is available | cbmc-5.76.1 is available |
| Upstream Release Monitoring | 2023-02-17 12:44:49 UTC | Summary | cbmc-5.76.1 is available | cbmc-5.77.0 is available |
| Upstream Release Monitoring | 2023-03-03 01:19:08 UTC | Summary | cbmc-5.77.0 is available | cbmc-5.78.0 is available |
| Upstream Release Monitoring | 2023-03-17 11:52:34 UTC | Summary | cbmc-5.78.0 is available | cbmc-5.79.0 is available |
| Upstream Release Monitoring | 2023-03-31 12:49:40 UTC | Summary | cbmc-5.79.0 is available | cbmc-5.80.0 is available |
| Upstream Release Monitoring | 2023-04-14 00:02:24 UTC | Summary | cbmc-5.80.0 is available | cbmc-5.81.0 is available |
| Upstream Release Monitoring | 2023-04-28 09:47:13 UTC | Summary | cbmc-5.81.0 is available | cbmc-5.82.0 is available |
| Upstream Release Monitoring | 2023-05-13 04:44:33 UTC | Summary | cbmc-5.82.0 is available | cbmc-5.83.0 is available |
| Upstream Release Monitoring | 2023-05-25 14:00:54 UTC | Summary | cbmc-5.83.0 is available | cbmc-5.84.0 is available |
| Upstream Release Monitoring | 2023-06-08 16:19:31 UTC | Summary | cbmc-5.84.0 is available | cbmc-5.85.0 is available |
| Upstream Release Monitoring | 2023-06-23 13:06:37 UTC | Summary | cbmc-5.85.0 is available | cbmc-5.86.0 is available |
| Upstream Release Monitoring | 2023-07-06 15:54:40 UTC | Summary | cbmc-5.86.0 is available | cbmc-5.87.0 is available |
| Upstream Release Monitoring | 2023-07-20 22:33:51 UTC | Summary | cbmc-5.87.0 is available | cbmc-5.88.0 is available |
| Upstream Release Monitoring | 2023-07-25 02:42:25 UTC | Summary | cbmc-5.88.0 is available | cbmc-5.88.1 is available |
| Upstream Release Monitoring | 2023-08-04 05:27:50 UTC | Summary | cbmc-5.88.1 is available | cbmc-5.89.0 is available |
| Upstream Release Monitoring | 2023-08-20 09:32:07 UTC | Summary | cbmc-5.89.0 is available | cbmc-5.90.0 is available |
Back to bug 2055971