Back to bug 999011
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Jens Petersen | 2013-08-20 23:21:16 UTC | Whiteboard | needs vector-binary-instances | |
| Jens Petersen | 2013-09-12 03:03:06 UTC | Depends On | 1007152 | |
| Upstream Release Monitoring | 2013-09-20 07:20:13 UTC | Summary | idris-0.9.9 is available | idris-0.9.9.1 is available |
| Upstream Release Monitoring | 2013-09-25 07:29:05 UTC | Summary | idris-0.9.9.1 is available | idris-0.9.9.2 is available |
| Jens Petersen | 2013-10-02 06:13:03 UTC | Whiteboard | needs vector-binary-instances | needs vector-binary-instances and trifecta |
| Jens Petersen | 2013-10-09 04:58:42 UTC | Whiteboard | needs vector-binary-instances and trifecta | needs trifecta |
| Upstream Release Monitoring | 2013-10-16 07:32:52 UTC | Summary | idris-0.9.9.2 is available | idris-0.9.9.3 is available |
| Jens Petersen | 2013-10-28 07:50:09 UTC | Whiteboard | needs trifecta | needs parsers, trifecta, ansi-wl-pprint |
| Upstream Release Monitoring | 2013-11-29 07:49:33 UTC | Summary | idris-0.9.9.3 is available | idris-0.9.10 is available |
| Upstream Release Monitoring | 2013-12-03 09:42:54 UTC | Summary | idris-0.9.10 is available | idris-0.9.10.1 is available |
| Upstream Release Monitoring | 2014-02-06 12:45:11 UTC | Summary | idris-0.9.10.1 is available | idris-0.9.11.1 is available |
| Upstream Release Monitoring | 2014-02-11 11:23:07 UTC | Summary | idris-0.9.11.1 is available | idris-0.9.11.2 is available |
| Rick Elrod | 2014-03-12 11:56:35 UTC | Depends On | 1075569 | |
| Rick Elrod | 2014-03-12 11:57:25 UTC | CC | relrod | |
| Rick Elrod | 2014-03-12 12:48:10 UTC | Depends On | 1075595 | |
| Rick Elrod | 2014-03-12 12:53:35 UTC | Depends On | 1075598 | |
| Rick Elrod | 2014-03-12 13:00:57 UTC | Depends On | 1075601 | |
| Rick Elrod | 2014-03-12 13:06:50 UTC | Depends On | 1075605 | |
| Rick Elrod | 2014-03-15 00:56:42 UTC | Depends On | 1076737 | |
| Rick Elrod | 2014-03-15 01:01:12 UTC | Depends On | 1076739 | |
| Rick Elrod | 2014-03-15 01:11:29 UTC | Depends On | 1076741 | |
| Jens Petersen | 2014-03-17 07:00:48 UTC | Depends On | 1075595 | |
| Whiteboard | needs parsers, trifecta, ansi-wl-pprint | needs parsers, trifecta, ansi-wl-pprint, annotated-wl-pprint | ||
| Upstream Release Monitoring | 2014-04-07 12:10:48 UTC | Summary | idris-0.9.11.2 is available | idris-0.9.12 is available |
| Jens Petersen | 2014-04-08 03:02:52 UTC | Whiteboard | needs parsers, trifecta, ansi-wl-pprint, annotated-wl-pprint | needs parsers, trifecta, ansi-wl-pprint, annotated-wl-pprint, cheapskate |
| Jens Petersen | 2014-05-12 10:27:31 UTC | Whiteboard | needs parsers, trifecta, ansi-wl-pprint, annotated-wl-pprint, cheapskate | needs parsers, trifecta, ansi-wl-pprint, annotated-wl-pprint, cheapskate, ; idris-0.9.12:NG |
| Upstream Release Monitoring | 2014-06-04 07:43:19 UTC | Summary | idris-0.9.12 is available | idris-0.9.13 is available |
| Upstream Release Monitoring | 2014-06-11 11:44:40 UTC | Summary | idris-0.9.13 is available | idris-0.9.13.1 is available |
| Upstream Release Monitoring | 2014-07-24 13:14:39 UTC | Summary | idris-0.9.13.1 is available | idris-0.9.14 is available |
| Jens Petersen | 2014-07-24 15:37:39 UTC | Whiteboard | needs parsers, trifecta, ansi-wl-pprint, annotated-wl-pprint, cheapskate, ; idris-0.9.12:NG | idris-0.9.12:NG |
| Jens Petersen | 2014-07-24 17:50:09 UTC | Whiteboard | idris-0.9.12:NG | idris-0.9.14:NG |
| Upstream Release Monitoring | 2014-07-31 15:03:40 UTC | Summary | idris-0.9.14 is available | idris-0.9.14.1 is available |
| Jens Petersen | 2014-08-07 16:36:38 UTC | Whiteboard | idris-0.9.14:NG | idris-0.9.14.1:NG |
| Upstream Release Monitoring | 2014-08-31 21:48:55 UTC | Summary | idris-0.9.14.1 is available | idris-0.9.14.2 is available |
| Jens Petersen | 2014-09-02 02:41:00 UTC | Whiteboard | idris-0.9.14.1:NG | idris-0.9.14.2:NG |
| Upstream Release Monitoring | 2014-09-04 11:31:08 UTC | Summary | idris-0.9.14.2 is available | idris-0.9.14.3 is available |
| Jens Petersen | 2014-09-05 10:13:40 UTC | Whiteboard | idris-0.9.14.2:NG | idris-0.9.14.3:NG |
| Upstream Release Monitoring | 2014-10-27 09:51:36 UTC | Summary | idris-0.9.14.3 is available | idris-0.9.15 is available |
| Jens Petersen | 2014-10-28 01:36:14 UTC | Whiteboard | idris-0.9.14.3:NG | idris-0.9.15:NG |
| Upstream Release Monitoring | 2014-11-01 08:55:19 UTC | Summary | idris-0.9.15 is available | idris-0.9.15.1 is available |
| Jens Petersen | 2014-11-07 05:11:11 UTC | Whiteboard | idris-0.9.15:NG | idris-0.9.15.1:NG |
| Upstream Release Monitoring | 2015-01-19 09:12:21 UTC | Summary | idris-0.9.15.1 is available | idris-0.9.16 is available |
| Jens Petersen | 2015-01-20 05:31:56 UTC | Whiteboard | idris-0.9.15.1:NG | idris-0.9.16:NG |
| Upstream Release Monitoring | 2015-03-22 01:10:30 UTC | Summary | idris-0.9.16 is available | idris-0.9.17 is available |
| Upstream Release Monitoring | 2015-03-24 00:36:39 UTC | Summary | idris-0.9.17 is available | idris-0.9.17.1 is available |
| Upstream Release Monitoring | 2015-05-18 12:40:56 UTC | Summary | idris-0.9.17.1 is available | idris-0.9.18 is available |
| Upstream Release Monitoring | 2015-05-23 12:44:51 UTC | Summary | idris-0.9.18 is available | idris-0.9.18.1 is available |
| Upstream Release Monitoring | 2015-09-01 00:14:33 UTC | Summary | idris-0.9.18.1 is available | idris-0.9.19 is available |
| Upstream Release Monitoring | 2015-09-22 12:12:30 UTC | Summary | idris-0.9.19 is available | idris-0.9.19.1 is available |
| Upstream Release Monitoring | 2015-11-10 12:21:52 UTC | Summary | idris-0.9.19.1 is available | idris-0.9.20 is available |
| Upstream Release Monitoring | 2015-12-18 00:28:01 UTC | Summary | idris-0.9.20 is available | idris-0.9.20.2 is available |
| Upstream Release Monitoring | 2016-01-21 00:12:29 UTC | Summary | idris-0.9.20.2 is available | idris-0.10 is available |
| Upstream Release Monitoring | 2016-02-27 00:20:12 UTC | Summary | idris-0.10 is available | idris-0.10.1 is available |
| Upstream Release Monitoring | 2016-02-27 12:13:17 UTC | Summary | idris-0.10.1 is available | idris-0.10.2 is available |
| Upstream Release Monitoring | 2016-03-20 00:13:05 UTC | Summary | idris-0.10.2 is available | idris-0.10.3 is available |
| Upstream Release Monitoring | 2016-03-26 00:13:40 UTC | Summary | idris-0.10.3 is available | idris-0.11 is available |
| Upstream Release Monitoring | 2016-05-03 00:13:57 UTC | Summary | idris-0.11 is available | idris-0.11.1 is available |
| Upstream Release Monitoring | 2016-05-18 12:16:22 UTC | Summary | idris-0.11.1 is available | idris-0.11.2 is available |
| Upstream Release Monitoring | 2016-06-21 12:13:30 UTC | Summary | idris-0.11.2 is available | idris-0.12 is available |
| Jens Petersen | 2016-06-22 11:11:57 UTC | Whiteboard | idris-0.9.16:NG | idris-0.12:deps |
| Upstream Release Monitoring | 2016-07-26 12:16:38 UTC | Summary | idris-0.12 is available | idris-0.12.1 is available |
| Jens Petersen | 2016-08-05 14:50:03 UTC | Whiteboard | idris-0.12:deps | idris-0.12.1:deps |
| Upstream Release Monitoring | 2016-08-08 12:35:00 UTC | Summary | idris-0.12.1 is available | idris-0.12.2 is available |
| Upstream Release Monitoring | 2016-09-19 00:13:17 UTC | Summary | idris-0.12.2 is available | idris-0.12.3 is available |
| Jens Petersen | 2016-10-04 10:19:55 UTC | Status | NEW | MODIFIED |
| Fedora Admin XMLRPC Client | 2016-10-04 10:47:11 UTC | Assignee | petersen | extras-orphan |
| Jens Petersen | 2016-10-04 10:48:01 UTC | Status | MODIFIED | CLOSED |
| Resolution | --- | DEFERRED | ||
| Last Closed | 2016-10-04 06:48:01 UTC |
Back to bug 999011