Jules Aguillon
c4cb4c226e
Declare several versions of OCamlformat ( #88799 )
...
OCamlformat is still a bit unstable and it's common to work on several
projects that each use a different version.
Define every versions at once and share code
* ocamlformat: add dependency on base
OCamlformat always required Base.
This will be important in the future as Base may make breaking changes.
2020-09-22 07:30:35 +02:00
..
2020-05-27 08:55:27 +01:00
2020-08-25 09:21:26 -07:00
2020-08-31 17:04:02 +00:00
2020-08-11 19:32:31 -06:00
2020-09-17 21:09:15 +02:00
2020-04-10 17:54:53 +01:00
2020-04-30 21:24:02 -07:00
2020-04-10 17:54:53 +01:00
2020-08-16 12:48:18 +10:00
2020-09-06 07:13:56 -04:00
2020-09-10 16:46:03 -07:00
2020-08-21 18:58:51 -07:00
2020-04-10 17:54:53 +01:00
2020-08-10 16:02:30 +10:00
2020-09-06 09:39:58 -07:00
2020-07-01 23:23:33 +02:00
2020-08-22 02:57:38 +00:00
2020-07-29 01:04:55 -05:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-09-16 07:49:28 +02:00
2020-09-12 16:38:50 +10:00
2020-07-27 04:20:00 -05:00
2020-08-18 04:20:00 -05:00
2020-04-10 17:54:53 +01:00
2020-08-16 12:48:18 +10:00
2020-08-16 12:48:18 +10:00
2020-08-13 18:51:08 +02:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-08-16 12:48:18 +10:00
2020-06-07 17:29:08 -04:00
2020-04-10 17:54:53 +01:00
2020-04-25 04:20:00 -05:00
2020-08-23 22:05:25 +01:00
2020-08-26 19:38:50 +02:00
2020-07-30 23:54:27 -07:00
2020-04-10 17:54:53 +01:00
2020-08-15 19:34:47 -07:00
2020-06-15 14:50:26 +00:00
2020-09-21 15:19:51 +02:00
2020-08-15 19:34:47 -07:00
2020-04-10 17:54:53 +01:00
2020-09-14 06:41:44 +02:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-08-10 16:02:30 +10:00
2020-09-04 09:49:42 -07:00
2020-08-16 10:23:57 +10:00
2020-09-20 07:03:45 -07:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-28 20:30:29 +10:00
2020-04-10 17:54:53 +01:00
2020-07-30 23:12:25 +00:00
2020-08-15 19:34:47 -07:00
2020-09-03 08:20:26 +10:00
2020-04-10 17:54:53 +01:00
2020-09-08 16:32:39 +10:00
2020-06-03 11:29:15 -07:00
2020-06-03 11:29:15 -07:00
2020-04-10 17:54:53 +01:00
2020-08-16 12:48:18 +10:00
2020-04-05 12:00:26 +00:00
2020-08-10 16:02:30 +10:00
2020-08-15 19:34:47 -07:00
2020-08-17 14:54:39 +02:00
2020-08-29 14:54:29 +02:00
2020-09-19 17:38:15 +02:00
2020-04-06 08:38:10 +02:00
2020-07-24 08:49:31 +02:00
2020-04-10 17:54:53 +01:00
2020-09-08 16:32:39 +10:00
2020-07-02 23:39:33 +02:00
2020-09-08 16:32:39 +10:00
2020-09-09 10:05:04 +02:00
2020-08-03 15:32:36 +00:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-28 20:30:29 +10:00
2020-07-03 11:31:51 +00:00
2020-08-10 16:02:30 +10:00
2020-04-10 17:54:53 +01:00
2020-07-13 07:25:49 +02:00
2020-08-15 15:22:55 -07:00
2020-03-26 23:06:03 +00:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-09-04 15:56:27 +00:00
2020-08-15 19:34:47 -07:00
2020-04-10 17:54:53 +01:00
2020-09-04 13:27:06 -07:00
2020-08-16 12:48:18 +10:00
2020-04-10 17:54:53 +01:00
2020-08-10 17:07:08 +02:00
2020-03-31 05:11:30 +00:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-06-03 18:35:19 +02:00
2020-04-10 17:54:53 +01:00
2020-08-15 19:34:47 -07:00
2020-09-19 17:39:26 +02:00
2020-04-10 17:54:53 +01:00
2020-05-17 00:22:52 +03:00
2020-04-10 17:54:53 +01:00
2020-02-10 12:55:26 -05:00
2020-04-10 17:54:53 +01:00
2020-04-28 20:30:29 +10:00
2020-08-15 19:34:47 -07:00
2020-08-15 19:34:47 -07:00
2020-08-15 19:34:47 -07:00
2020-04-10 17:54:53 +01:00
2020-09-04 22:46:40 +00:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-08-10 16:02:30 +10:00
2020-07-31 14:07:43 +10:00
2020-09-14 16:22:07 -07:00
2020-08-10 16:02:30 +10:00
2020-04-10 17:54:53 +01:00
2020-08-15 19:34:47 -07:00
2020-06-06 04:20:00 -05:00
2020-08-10 16:02:30 +10:00
2020-04-10 17:54:53 +01:00
2020-08-15 19:34:47 -07:00
2020-08-18 19:16:53 +10:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-08-11 21:04:55 +00:00
2020-08-22 19:13:55 +03:00
2020-08-10 16:02:30 +10:00
2020-08-10 16:02:30 +10:00
2020-09-08 22:39:39 +02:00
2020-08-15 19:34:47 -07:00
2020-08-11 21:04:55 +00:00
2020-04-10 17:54:53 +01:00
2020-08-11 21:04:55 +00:00
2020-09-18 18:28:49 +02:00
2020-08-10 16:02:30 +10:00
2020-08-11 21:04:55 +00:00
2020-07-31 14:07:43 +10:00
2020-04-10 17:54:53 +01:00
2020-09-05 04:20:00 +00:00
2020-09-11 12:12:21 +03:00
2020-08-15 19:34:47 -07:00
2020-02-11 08:38:05 +00:00
2020-04-10 17:54:53 +01:00
2020-02-01 14:20:51 +01:00
2020-09-11 22:17:37 +03:00
2020-09-05 00:23:57 +00:00
2020-07-01 04:20:00 -05:00
2020-04-10 17:54:53 +01:00
2020-05-19 23:15:07 -04:00
2020-04-10 17:54:53 +01:00
2020-08-23 11:01:24 -05:00
2020-04-22 17:30:22 +08:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-23 15:29:12 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-08-24 20:21:12 +00:00
2020-07-26 23:14:49 -07:00
2020-05-05 13:05:32 +00:00
2020-08-15 19:34:47 -07:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-07-19 09:51:19 +02:00
2020-06-14 18:12:39 +00:00
2020-04-10 17:54:53 +01:00
2020-02-07 11:15:48 +00:00
2020-08-16 12:48:18 +10:00
2020-08-02 04:04:20 +00:00
2020-07-24 03:17:16 +00:00
2020-08-10 16:02:30 +10:00
2020-09-08 16:32:39 +10:00
2020-08-11 21:04:55 +00:00
2020-09-10 05:40:38 +00:00
2020-06-26 13:14:35 +00:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-08-10 16:02:30 +10:00
2020-08-15 19:34:47 -07:00
2020-04-10 17:54:53 +01:00
2020-05-19 04:20:00 -05:00
2020-08-12 20:16:31 +10:00
2020-04-10 17:54:53 +01:00
2020-06-09 13:54:38 -07:00
2020-09-18 13:52:57 +02:00
2020-09-03 08:20:26 +10:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-06-07 17:29:08 -04:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-09-08 16:32:39 +10:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-08-19 22:50:31 +02:00
2020-08-05 19:43:25 -07:00
2020-08-09 10:14:57 -07:00
2020-09-17 21:49:02 +02:00
2020-08-10 16:02:30 +10:00
2020-08-10 16:02:30 +10:00
2020-09-08 16:32:39 +10:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-07-16 08:14:58 +00:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-08-13 20:51:40 +02:00
2020-04-10 17:54:53 +01:00
2020-08-19 20:14:52 +02:00
2020-08-13 20:51:40 +02:00
2020-09-22 07:30:35 +02:00
2020-06-01 15:24:19 +02:00
2020-04-10 07:31:58 +00:00
2020-09-04 22:51:01 +02:00
2020-09-08 16:32:39 +10:00
2020-08-12 15:35:56 +00:00
2020-05-10 17:05:51 +02:00
2020-08-19 19:45:21 +02:00
2020-08-10 16:02:30 +10:00
2020-04-10 17:54:53 +01:00
2020-08-31 00:18:03 +02:00
2020-04-10 17:54:53 +01:00
2020-08-15 19:34:47 -07:00
2020-06-12 13:21:34 +02:00
2020-08-16 12:48:18 +10:00
2020-08-29 13:02:55 +02:00
2020-04-10 17:54:53 +01:00
2020-08-10 16:02:30 +10:00
2020-04-07 11:58:48 -07:00
2020-09-06 09:32:54 -07:00
2020-03-24 10:56:24 -07:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-08-28 14:09:35 +02:00
2020-08-26 15:26:35 +02:00
2020-04-10 17:54:53 +01:00
2020-01-27 20:28:43 +02:00
2020-09-05 00:41:34 +00:00
2020-08-10 16:02:30 +10:00
2020-08-10 16:02:30 +10:00
2020-08-10 16:02:30 +10:00
2020-04-10 17:54:53 +01:00
2020-04-06 15:02:13 +02:00
2020-08-16 20:50:44 +09:00
2020-05-05 10:14:43 -04:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-08-17 17:13:01 +10:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-09-17 13:39:01 +02:00
2020-06-15 19:41:10 +02:00
2020-05-18 14:02:35 -04:00
2020-04-10 17:54:53 +01:00
2020-08-11 21:04:55 +00:00
2020-04-10 17:54:53 +01:00
2020-08-10 16:02:30 +10:00
2020-08-10 19:55:40 -04:00
2020-04-10 17:54:53 +01:00
2020-09-14 20:03:38 +02:00
2020-08-10 16:02:30 +10:00
2020-02-16 16:57:41 -05:00
2020-04-10 17:54:53 +01:00
2020-08-16 12:48:18 +10:00
2020-05-20 00:27:42 +00:00
2020-06-02 14:49:54 -07:00
2020-04-06 15:02:13 +02:00
2020-04-10 17:54:53 +01:00
2020-08-10 16:02:30 +10:00
2020-04-10 17:54:53 +01:00
2020-09-21 10:55:15 -07:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-03-05 01:15:47 -05:00
2020-04-10 17:54:53 +01:00
2020-08-11 12:18:39 +02:00
2020-04-22 17:30:22 +08:00
2020-04-10 17:54:53 +01:00
2020-09-02 14:32:14 +10:00
2020-04-10 17:54:53 +01:00
2020-04-12 10:47:15 +10:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-09-05 18:16:36 +00:00
2020-08-10 16:02:30 +10:00
2020-08-30 09:29:05 +02:00
2020-05-27 13:55:58 -07:00
2020-04-10 17:54:53 +01:00
2020-08-31 03:49:42 +00:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-09-08 16:32:39 +10:00
2020-06-29 18:39:15 +03:00
2020-04-10 17:54:53 +01:00
2020-05-05 17:24:44 -07:00
2020-04-17 22:10:18 +01:00
2020-04-10 17:54:53 +01:00
2020-09-08 05:58:24 +10:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-05-20 01:08:49 -04:00
2020-09-01 00:19:16 +03:00
2020-04-10 17:54:53 +01:00
2020-08-23 11:01:25 -05:00
2020-08-15 19:34:47 -07:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-06-24 20:17:56 -04:00
2020-09-09 20:00:02 +02:00
2020-08-25 22:11:35 +02:00
2020-04-10 17:54:53 +01:00
2020-08-31 16:55:31 +02:00
2020-08-20 08:01:43 +10:00
2020-05-05 19:51:09 +02:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-08-31 07:09:15 +00:00
2020-09-07 05:51:01 +00:00
2020-07-22 15:29:03 +02:00
2020-04-28 20:30:29 +10:00
2020-07-31 00:09:26 +02:00
2020-08-16 12:48:18 +10:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-06-25 12:18:37 +10:00
2020-03-31 06:56:11 +00:00
2020-04-02 09:20:01 +00:00
2020-08-16 12:48:18 +10:00
2020-09-08 16:32:39 +10:00
2020-08-28 08:40:01 -07:00
2020-04-28 22:49:53 -04:00
2020-04-10 17:54:53 +01:00
2020-04-10 17:54:53 +01:00
2020-09-03 23:49:41 +00:00
2020-07-10 16:24:03 +00:00
2020-08-31 12:15:05 +00:00
2020-08-15 19:34:47 -07:00
2020-08-10 16:02:30 +10:00
2020-04-10 17:54:53 +01:00