Files
nixpkgs/pkgs/development/libraries
Vladimír Čunát 338b25697c Merge branch 'master' into staging-next
Quite many rebuilds from master:
> Estimating rebuild amount by counting changed Hydra jobs.
>    3926 x86_64-darwin
>    4645 x86_64-linux
2020-10-10 11:32:10 +02:00
..
2020-07-07 17:06:46 -07:00
2020-07-07 23:59:56 -05:00
2020-08-25 00:53:08 +00:00
2020-10-01 12:38:42 +02:00
2020-07-28 15:01:16 +02:00
2020-06-09 06:58:24 +00:00
2020-09-10 10:23:44 -05:00
2020-10-06 08:59:13 +02:00
2020-10-04 08:12:40 +00:00
2020-09-07 10:29:59 +00:00
2020-10-08 18:33:05 -07:00
2020-06-19 01:24:37 +02:00
2020-08-08 19:55:56 +02:00
2020-08-31 17:16:59 -07:00
2020-10-08 17:50:00 +02:00
2020-06-30 22:50:17 +00:00
2020-05-25 04:20:00 -05:00
2020-07-03 03:34:18 +00:00
2020-07-28 03:51:48 +00:00
2020-05-16 23:19:57 +00:00
2020-09-06 18:53:20 +02:00
2020-09-25 00:56:11 +00:00
2020-08-15 15:26:38 -07:00
2020-06-27 01:15:25 +02:00
2020-08-15 08:36:33 +02:00
2020-09-16 10:10:56 +02:00
2020-09-22 00:12:01 -03:00
2020-06-01 15:24:19 +02:00
2020-06-27 01:17:02 +02:00
2020-05-24 01:53:47 +03:00
2020-07-04 04:22:00 -05:00
2020-05-28 01:49:29 +00:00
2020-09-22 23:10:00 -07:00
2020-09-03 20:49:16 +02:00
2020-09-04 10:14:00 +00:00
2020-06-21 17:10:55 +02:00
2020-10-01 21:44:00 +00:00
2020-07-18 13:51:21 +02:00
2020-08-13 20:42:08 +02:00
2020-06-30 04:20:33 +00:00
2020-07-25 04:20:00 -05:00
2020-05-12 19:45:07 +03:00
2020-09-04 11:58:12 +00:00
2020-09-07 11:20:28 -05:00
2020-10-07 00:30:11 +07:00
2020-09-12 15:08:04 +02:00
2020-09-30 19:27:53 +02:00
2020-09-13 04:20:00 +00:00
2020-08-16 13:03:12 +00:00
2020-08-16 13:03:12 +00:00
2020-09-04 12:54:25 +00:00
2020-07-14 21:41:09 +02:00
2020-09-12 15:01:25 +02:00
2020-05-19 06:02:53 +00:00
2020-06-17 11:05:46 -07:00
2020-05-21 12:31:02 +00:00
2020-09-25 07:36:09 +00:00
2020-09-12 06:58:25 -05:00
2020-07-06 09:26:55 -07:00
2020-07-19 13:09:38 +02:00
2020-08-25 13:43:46 +00:00
2020-08-12 18:46:51 -04:00
2020-08-09 17:41:12 +02:00
2020-05-25 17:03:39 +00:00
2020-08-10 16:21:58 +02:00
2020-07-10 00:28:12 +02:00
2020-09-03 19:21:10 +02:00
2020-09-12 23:04:43 +02:00
2020-08-01 23:17:47 +02:00
2020-06-17 11:09:03 -07:00
2020-09-23 10:34:00 +02:00
2020-08-31 17:15:13 -07:00
2020-07-19 11:44:08 +02:00
2020-09-12 23:04:49 +02:00
2020-07-06 04:17:49 +02:00
2020-08-11 23:20:18 +02:00
2020-07-15 15:31:24 -04:00
2020-08-10 16:47:49 +02:00
2020-09-02 17:04:41 +02:00
2020-08-24 11:57:46 +02:00
2020-09-07 11:43:40 -05:00
2020-09-23 23:09:12 +00:00
2020-09-05 01:39:41 +00:00
2020-05-28 04:28:03 +00:00
2020-07-20 20:25:59 +01:00
2020-08-15 08:33:38 +02:00
2020-08-15 09:05:50 +02:00
2020-06-15 18:43:07 +02:00
2020-09-12 23:04:48 +02:00
2020-05-21 19:52:11 +00:00
2020-08-31 19:26:45 -04:00
2020-07-13 23:26:09 +02:00
2020-05-22 00:21:15 +00:00
2020-09-19 17:34:40 +02:00
2020-10-02 13:05:38 +02:00
2020-07-02 18:30:23 +02:00
2020-08-16 23:34:37 +01:00
2020-07-14 09:47:18 -05:00
2020-08-06 09:33:19 +03:00
2020-08-25 06:36:49 +08:00
2020-06-26 15:06:50 +02:00
2020-07-06 05:00:50 +02:00
2020-08-06 07:23:36 +00:00
2020-07-12 07:33:20 +00:00
2020-08-06 07:41:00 +00:00
2020-08-31 16:54:01 +02:00
2020-08-14 15:26:15 +02:00
2020-05-26 00:32:49 +00:00
2020-08-02 05:08:43 +00:00
2020-05-11 17:29:53 -07:00
2020-09-12 23:04:45 +02:00
2020-09-05 04:16:46 +00:00
2020-10-08 04:20:00 +00:00
2020-07-16 06:47:54 +00:00
2020-09-12 23:04:47 +02:00
2020-10-04 14:46:04 +02:00
2020-07-04 16:20:00 -05:00
2020-08-16 13:10:50 +00:00
2020-06-26 15:06:51 +02:00
2020-07-07 10:30:34 -07:00
2020-06-10 07:34:26 +00:00
2020-08-15 08:50:17 +02:00
2020-06-04 18:23:15 +02:00
2020-09-05 13:16:04 +02:00
2020-06-17 11:02:55 -07:00
2020-10-07 17:01:42 -05:00
2020-05-28 04:20:00 -05:00
2020-07-06 21:34:53 +01:00
2020-07-31 08:37:55 +02:00
2020-09-24 12:35:14 +00:00
2020-07-04 01:23:14 +02:00
2020-10-04 14:46:04 +02:00
2020-08-08 13:13:27 +00:00
2020-09-29 17:51:27 -04:00
2020-07-31 08:51:08 +02:00
2020-09-17 09:16:02 +02:00
2020-08-14 21:28:29 +02:00
2020-09-24 08:18:36 +00:00
2020-08-15 08:31:38 +02:00
2020-09-24 12:01:55 +00:00
2020-06-17 16:37:59 +02:00
2020-10-06 09:54:46 +02:00
2020-09-23 19:40:21 -07:00
2020-06-19 11:06:27 +02:00
2020-07-31 20:34:37 +02:00
2020-09-05 04:52:18 +00:00
2020-08-26 09:53:55 +00:00
2020-08-11 05:35:07 +00:00
2020-08-15 09:05:27 +02:00
2020-08-14 14:43:09 +00:00
2020-09-05 04:58:32 +00:00
2020-06-19 00:31:28 +02:00
2020-09-04 20:11:10 +02:00
2020-05-27 14:36:12 -07:00
2020-08-04 21:57:21 +02:00
2020-06-13 10:54:19 +02:00
2020-07-08 22:08:47 +02:00
2020-09-20 17:58:08 -07:00
2020-06-10 10:10:51 +00:00
2020-06-28 20:01:07 +02:00
2020-09-04 20:04:48 +02:00
2020-08-27 08:46:28 +02:00
2020-09-05 19:49:33 +01:00
2020-08-15 09:05:06 +02:00
2020-09-26 08:36:14 +01:00
2020-10-03 10:26:06 +02:00
2020-08-24 10:17:45 -05:00
2020-07-05 19:00:57 +02:00
2020-05-27 13:33:24 -07:00
2020-08-04 13:05:26 -07:00
2020-07-13 13:00:32 +00:00
2020-06-17 12:34:19 -07:00
2020-06-04 18:16:52 +02:00
2020-10-02 04:20:00 +00:00
2020-08-27 18:16:33 +03:00
2020-06-06 18:46:33 +02:00
2020-08-05 11:25:15 +08:00
2020-06-07 14:01:26 +03:00
2020-05-12 22:46:00 -07:00
2020-07-02 18:36:44 +02:00
2020-10-06 09:45:05 +02:00
2020-09-12 14:53:06 +02:00
2020-08-24 18:40:00 -05:00
2020-09-22 12:17:12 +02:00
2020-09-05 06:29:28 +00:00
2020-09-24 04:28:58 +00:00
2020-09-24 08:49:39 +00:00
2020-09-12 15:01:25 +02:00
2020-06-13 20:14:52 +02:00
2020-06-13 10:55:20 +02:00
2020-07-25 10:05:08 +00:00
2020-06-13 20:08:09 +02:00
2020-09-05 06:55:28 +00:00
2020-08-05 19:41:50 -07:00
2020-09-12 15:27:27 +02:00
2020-06-26 17:19:43 +00:00
2020-08-06 15:16:00 +00:00
2020-10-01 17:58:27 +02:00
2020-08-26 19:02:44 +00:00
2020-07-31 13:30:18 +02:00
2020-06-10 13:13:29 +00:00
2020-06-24 13:16:22 +03:00
2020-08-04 22:03:26 +02:00
2020-06-25 14:51:37 +02:00
2020-08-25 16:13:41 -07:00
2020-07-02 22:43:30 -07:00
2020-09-27 19:21:54 +10:00
2020-07-31 02:05:04 -04:00
2020-09-29 12:48:43 +02:00
2020-08-20 09:11:45 +00:00
2020-09-19 10:38:05 +02:00
2020-09-19 08:23:45 +02:00
2020-09-12 23:04:49 +02:00
2020-10-06 14:49:11 +07:00
2020-06-25 20:17:53 -07:00
2020-09-26 06:45:18 +00:00
2020-05-29 13:14:19 +10:00
2020-07-15 17:09:30 -07:00
2020-07-02 15:56:29 +00:00
2020-08-15 08:33:38 +02:00
2020-07-29 09:09:27 +00:00
2020-05-25 00:55:02 +00:00
2020-08-24 12:01:27 +02:00
2020-09-03 21:25:48 +02:00
2020-06-17 12:27:30 -07:00
2020-06-30 10:27:49 +00:00
2020-09-21 23:38:26 -07:00
2020-07-26 09:26:10 +02:00
2020-10-02 09:01:35 -07:00
2020-08-13 13:10:02 +02:00
2020-06-26 15:06:51 +02:00
2020-09-25 10:47:43 -05:00
2020-07-22 23:52:51 +02:00
2020-09-26 08:49:06 +00:00
2020-07-01 20:40:20 +02:00
2020-06-08 09:10:06 +02:00
2020-08-16 19:48:13 +02:00
2020-09-29 22:26:30 +01:00
2020-08-19 23:20:00 -05:00
2020-06-11 04:04:28 +00:00
2020-10-06 20:39:28 +02:00
2020-08-23 14:57:15 +08:00
2020-09-07 10:27:29 -05:00
2020-09-11 12:57:51 +03:00
2020-09-12 10:00:45 +02:00
2020-07-07 03:44:43 +00:00
2020-09-06 18:50:24 +02:00
2020-07-10 22:22:42 +00:00
2020-08-15 19:36:04 +00:00
2020-08-31 16:55:50 +02:00
2020-08-29 05:36:00 +00:00
2020-08-30 18:51:58 +02:00
2020-08-20 02:46:31 -07:00
2020-08-10 14:47:11 +02:00
2020-07-01 17:06:56 +02:00
2020-09-19 08:10:17 +02:00
2020-07-18 16:57:38 +02:00
2020-09-19 08:08:29 +02:00
2020-09-19 08:08:29 +02:00
2020-09-18 20:43:47 +02:00
2020-06-03 10:10:34 +02:00
2020-07-13 04:20:00 -05:00
2020-08-11 13:31:36 +00:00
2020-07-20 04:20:00 -05:00
2020-06-27 12:51:13 +02:00
2020-09-23 14:51:15 -04:00
2020-08-19 20:45:33 +02:00
2020-07-04 08:13:22 -07:00
2020-10-07 20:44:50 +02:00
2020-09-26 13:49:42 +02:00
2020-07-20 04:21:00 -05:00
2020-08-31 19:47:49 -07:00
2020-06-30 23:04:03 +01:00
2020-07-27 08:20:22 +02:00
2020-08-29 15:42:38 +00:00
2020-05-24 04:20:00 -05:00
2020-09-19 18:11:50 +03:00
2020-06-01 00:29:20 -04:00
2020-07-02 11:40:33 +02:00
2020-09-12 23:04:45 +02:00
2020-06-01 15:24:19 +02:00
2020-07-30 20:47:13 +02:00
2020-08-15 16:23:26 +02:00
2020-08-15 17:37:13 +02:00
2020-08-15 01:33:15 +02:00
2020-07-02 17:32:43 +02:00
2020-06-15 05:19:12 +00:00
2020-07-08 17:46:51 +00:00
2020-07-16 17:33:39 +02:00
2020-07-06 16:17:51 -04:00
2020-05-31 19:45:26 -04:00
2020-06-21 14:14:41 +02:00
2020-08-24 04:20:00 +00:00
2020-09-20 14:34:09 -07:00
2020-08-15 15:27:16 -07:00
2020-06-27 12:51:13 +02:00
2020-05-13 15:39:37 -07:00
2020-07-04 12:22:59 +00:00
2020-06-30 18:37:43 +00:00
2020-08-31 06:22:06 +00:00
2020-06-27 14:00:58 +02:00
2020-08-31 08:39:29 +00:00
2020-08-24 20:50:40 +00:00
2020-08-27 20:32:40 +02:00
2020-10-06 10:25:58 +02:00
2020-08-31 07:52:37 +00:00
2020-05-27 14:16:48 -07:00
2020-05-27 21:25:11 +00:00
2020-10-06 09:20:23 -07:00
2020-07-28 11:28:51 +00:00
2020-09-30 09:25:49 -07:00
2020-09-07 06:37:40 +00:00
2020-06-22 15:45:14 +02:00
2020-09-23 20:51:03 -07:00
2020-06-30 19:16:30 -05:00