 Vincent Laporte
|
f648259731
|
ocaml-ng.ocamlPackages_4_11.ocaml: 4.11.0+α1 → 4.11.0+α2
|
2020-06-10 09:10:40 +02:00 |
|
|
Vincent Laporte
|
cb6ffc170b
|
ocamlPackages.sexplib_112_24_01: remove at 112.24.01
This is a legacy version for OCaml ≤ 4.02
|
2020-06-07 10:15:17 +02:00 |
|
|
Vincent Laporte
|
f4a7f9f499
|
ocamlPackages.sexplib_111_25_00: remove at 111.25.00
This is a legacy version for OCaml ≤ 4.02
|
2020-06-07 10:15:17 +02:00 |
|
|
Vincent Laporte
|
0cadf9c028
|
ocamlPackages.sexplib_108_08_00: remove at 108.08.00
This is a legacy version for OCaml ≤ 4.02
|
2020-06-07 10:15:17 +02:00 |
|
|
Vincent Laporte
|
1c3e3e081c
|
ocamlPackages.pa_test: remove at 112.24.00
This is a legacy package for OCaml ≤ 4.02
|
2020-06-07 07:48:47 +02:00 |
|
|
Vincent Laporte
|
c9057b3751
|
ocamlPackages.custom_printf: remove at 112.24.00
This is a legacy package for OCaml 4.02
custom_printf is deprecated, use ppx_custom_printf instead
|
2020-06-05 10:46:29 +02:00 |
|
|
Vincent Laporte
|
f0d985cf9c
|
coqPackages.Verdi: 20190202 → 20200131
|
2020-06-02 09:18:29 +02:00 |
|
|
Vincent Laporte
|
6f9d12460b
|
coqPackages.Cheerios: 20181102 → 20200201
|
2020-06-02 09:18:29 +02:00 |
|
|
Vincent Laporte
|
550533171d
|
coqPackages.InfSeqExt: 20180918 → 20200131
|
2020-06-02 09:18:29 +02:00 |
|
|
Vincent Laporte
|
19dab239bb
|
coqPackages.CoLoR: enable for Coq 8.11
|
2020-06-01 15:04:17 +02:00 |
|
|
Vincent Laporte
|
1992d68551
|
ocamlPackages.core_kernel: remove at 112.24.00
This is a legacy version for OCaml 4.02
|
2020-05-29 08:23:42 +02:00 |
|
|
Vincent Laporte
|
eab4103efa
|
ocamlPackages.core: remove at 112.24.01
This is a legacy version for OCaml 4.02
|
2020-05-28 09:09:53 +02:00 |
|
|
Vincent Laporte
|
3f8d6d5964
|
ocaml: default to 4.10
|
2020-05-27 10:12:22 +02:00 |
|
|
Vincent Laporte
|
81f29f8020
|
llpp: use OCaml 4.09
|
2020-05-27 10:12:22 +02:00 |
|
|
Vincent Laporte
|
51fea1412f
|
unison: use OCaml 4.09
|
2020-05-27 10:12:22 +02:00 |
|
|
Vincent Laporte
|
8fb991c7c4
|
coq: use OCaml 4.09
|
2020-05-27 10:12:22 +02:00 |
|
|
Vincent Laporte
|
2f2ff72db3
|
ocamlPackages.sodium: disable for OCaml ≥ 4.10
|
2020-05-27 10:12:22 +02:00 |
|
|
Vincent Laporte
|
03cd92fe70
|
ocamlPackages.lens: disable for OCaml ≥ 4.10
|
2020-05-27 10:12:22 +02:00 |
|
|
Vincent Laporte
|
670237ec93
|
ocamlPackages.async_kernel: remove at 112.24.00
This is a legacy version for OCaml 4.02
|
2020-05-27 09:01:25 +02:00 |
|
|
Vincent Laporte
|
8cbf8116e7
|
ocamlPackages.ppxfind: 1.3 → 1.4
ocamlPackages.ocaml-migrate-parsetree: 1.5.0 → 1.7.3
|
2020-05-22 11:08:55 +02:00 |
|
|
Vincent Laporte
|
e9759c1c3a
|
ocamlPackages.async_unix: remove at 112.24.00
This is a legacy version for OCaml 4.02
|
2020-05-22 10:07:12 +02:00 |
|
|
Vincent Laporte
|
7b39d85fc7
|
ocamlPackages.cairo2: disable tests for OCaml ≥ 4.10
|
2020-05-22 09:41:51 +02:00 |
|
|
Vincent Laporte
|
48f0d8b3c8
|
coq_8_11: 8.11.1 → 8.11.2
|
2020-05-20 19:21:42 +02:00 |
|
|
Vincent Laporte
|
0900872b02
|
ocamlPackages.batteries: fix for OCaml 4.10
|
2020-05-20 08:20:27 +02:00 |
|
|
Vincent Laporte
|
14a70f542a
|
ocamlPackages.textutils: remove at 112.17.00
This is a legacy version for OCaml 4.02
|
2020-05-19 20:44:41 +02:00 |
|
|
Vincent Laporte
|
962f93c46b
|
ocamlPackages.labltk: init at 8.06.8 for OCaml 4.10
|
2020-05-18 18:20:24 +02:00 |
|
|
Vincent Laporte
|
4a873aa29e
|
ocamlPackages.ppxlib: minor refactoring
|
2020-05-18 18:19:06 +02:00 |
|
|
Vincent Laporte
|
f31adf28b7
|
ocamlPackages.dune_2: use pkgs.dune_2 for OCaml < 4.07
|
2020-05-18 18:17:20 +02:00 |
|
|
Vincent Laporte
|
311e883b23
|
ocamlPackages.dune-private-libs: disable for OCaml < 4.07
|
2020-05-18 18:17:20 +02:00 |
|
|
Vincent Laporte
|
20b0143c11
|
ocamlPackages.async_extra: remove at 112.24.00
This is a legacy version for OCaml 4.02
|
2020-05-18 08:49:22 +02:00 |
|
|
Vincent Laporte
|
873e114cf4
|
ocamlPackages.ocurl: 0.9.0 → 0.9.1
|
2020-05-17 06:37:04 +02:00 |
|
|
Vincent Laporte
|
df70dcb6fb
|
ocaml-ng.ocamlPackages_4_11.ocaml: init at 4.11.0+α1
|
2020-05-16 10:27:00 +02:00 |
|
|
Vincent Laporte
|
a91007dbc4
|
ocamlPackages.ipaddr: remove at 2.6.1
This is a legacy version for OCaml 4.02
|
2020-05-15 21:40:31 +02:00 |
|
|
Vincent Laporte
|
608dbf662c
|
ocamlPackages.lablgtk: 2.18.8 → 2.18.10
This ensures compatibility with OCaml 4.10
|
2020-05-14 21:26:35 +02:00 |
|
|
Vincent Laporte
|
d00c84b5bd
|
ocamlPackages.lablgtkmathview: remove at 0.7.2
|
2020-05-14 21:26:35 +02:00 |
|
|
Vincent Laporte
|
9ec8205e78
|
ocamlPackages.tyxml: 4.3.0 → 4.4.0
ocamlPackages.eliom: 6.10.1 → 6.12.0
|
2020-05-14 18:12:36 +02:00 |
|
|
Vincent Laporte
|
54f5bff2b5
|
ocamlPackages.re2: remove at 112.06.00
This is a legacy version for OCaml ≤ 4.02
|
2020-05-12 19:10:32 +02:00 |
|
|
Vincent Laporte
|
5458f4326e
|
ocamlPackages.async: remove at 112.24.00
This is a legacy version for OCaml 4.02
|
2020-05-11 17:34:02 +02:00 |
|
|
Vincent Laporte
|
4578b41999
|
ocamlPackages.mdx: 1.5.0 → 1.6.0
|
2020-05-10 09:33:22 +02:00 |
|
|
Vincent Laporte
|
0db2daa900
|
ocamlPackages.async_find: remove at 111.28.00
This is a legacy version for OCaml 4.02
|
2020-05-04 22:11:50 +02:00 |
|
|
Vincent Laporte
|
258e3287a5
|
ocamlPackages.core_extended: remove at 112.24.00
This is a legacy version for OCaml 4.02
|
2020-05-01 10:32:31 +02:00 |
|
|
Vincent Laporte
|
927fcf3793
|
ocamlPackages.uri: remove at 1.9.{1,2}
These are legacy versions for OCaml ≤ 4.02
|
2020-05-01 10:07:36 +02:00 |
|
|
Vincent Laporte
|
95b35a2514
|
coqPackages.gappalib: 1.4.1 → 1.4.3
|
2020-04-29 06:56:14 +02:00 |
|
|
Vincent Laporte
|
ef964a801e
|
coqPackages.coqhammer: 1.1.1 → 1.2
Add support for Coq 8.11
|
2020-04-26 15:51:20 +02:00 |
|
|
Vincent Laporte
|
05db4f4fb9
|
ocamlPackages.async_shell: remove at 109.28.03
This is a legacy version for OCaml 4.02
|
2020-04-25 09:51:56 +02:00 |
|
|
Vincent Laporte
|
a4adb1f75b
|
coqPackages.equations: 1.2 → 1.2.1
|
2020-04-23 18:03:04 +02:00 |
|
|
Vincent Laporte
|
513e1339c0
|
ocamlPackages.merlin: 3.3.3 → 3.3.4
|
2020-04-22 07:24:48 +02:00 |
|
|
Vincent Laporte
|
974920ccd4
|
ocamlPackages.alcotest: 0.8.5 → 1.0.1
|
2020-04-21 08:47:40 +02:00 |
|
|
Vincent Laporte
|
fc317e100a
|
ocamlPackages.digestif: fix tests for alcotest ≥ 1.0
|
2020-04-21 08:47:40 +02:00 |
|
|
Vincent Laporte
|
36632263e0
|
ocamlPackages.base64: fix tests for alcotest ≥ 1.0
|
2020-04-21 08:47:40 +02:00 |
|
|
Vincent Laporte
|
f2788cdf11
|
ocamlPackages.angstrom: disable tests for OCaml < 4.05
|
2020-04-21 08:47:40 +02:00 |
|
|
Vincent Laporte
|
1bdf4d121b
|
ocamlPackages.bigstringaf: disable tests for OCaml < 4.05
|
2020-04-21 08:47:40 +02:00 |
|
|
Vincent Laporte
|
3e7a2b9147
|
ocamlPackages.janeStreet: 0.12 → 0.13
ocamlPackages.bistro: fix for core-0.13
ocamlPackages.phylogenetics: 2020-01-05 → 2020-01-25
|
2020-04-20 08:38:31 +02:00 |
|
|
Vincent Laporte
|
71c405ea2e
|
satysfi: use OCaml 4.07
|
2020-04-20 08:38:31 +02:00 |
|
|
Vincent Laporte
|
75971d096a
|
ocamlPackages.async_ssl: remove at 113.33.07
This is the legacy version for OCaml ≤ 4.02
|
2020-04-20 08:38:31 +02:00 |
|
|
Vincent Laporte
|
f39712960a
|
ocamlPackages.rpclib: 6.0.0 → 7.0.0
|
2020-04-20 08:38:31 +02:00 |
|
|
Vincent Laporte
|
238bd2a888
|
Revert "[Don’t merge] Recurse into OCaml packages"
This reverts commit e16c7dae25.
|
2020-04-15 19:06:05 +02:00 |
|
|
Vincent Laporte
|
e16c7dae25
|
[Don’t merge] Recurse into OCaml packages
|
2020-04-15 18:57:42 +02:00 |
|
|
Vincent Laporte
|
f9c31303b2
|
ocamlPackages.dns-client: init at 4.4.1
|
2020-04-14 06:25:03 +02:00 |
|
|
Vincent Laporte
|
6edabf41b3
|
ocamlPackages.mirage-stack: init at 2.0.1
|
2020-04-14 06:25:03 +02:00 |
|
|
Vincent Laporte
|
32feaeab83
|
ocamlPackages.mirage-random: init at 2.0.0
|
2020-04-14 06:25:03 +02:00 |
|
|
Vincent Laporte
|
66ffbf57c3
|
ocamlPackages.mirage-protocols: init at 4.0.1
|
2020-04-14 06:25:03 +02:00 |
|
|
Vincent Laporte
|
81fa88504b
|
ocamlPackages.mirage-flow: init at 2.0.1
|
2020-04-14 06:25:03 +02:00 |
|
|
Vincent Laporte
|
10a73b84d3
|
ocamlPackages.mirage-device: init at 2.0.0
|
2020-04-14 06:25:03 +02:00 |
|
|
Vincent Laporte
|
d7ee3bc968
|
ocamlPackages.mirage-clock: init at 3.0.1
|
2020-04-14 06:25:03 +02:00 |
|
|
Vincent Laporte
|
ad098ac026
|
ocamlPackages.randomconv: init at 0.1.3
|
2020-04-14 06:25:03 +02:00 |
|
|
Vincent Laporte
|
e021f27d75
|
ocamlPackages.dns: init at 4.4.1
|
2020-04-14 06:25:03 +02:00 |
|
|
Vincent Laporte
|
b70b03272a
|
ocamlPackages.duration: init at 0.1.3
|
2020-04-14 06:25:03 +02:00 |
|
|
Vincent Laporte
|
26f39e533d
|
ocamlPackages.ctypes: 0.17.1 → 0.16.0
|
2020-04-13 11:42:08 +02:00 |
|
|
Vincent Laporte
|
f2eeeb83f2
|
coqPackages.dpdgraph: fix build with OCaml ≥ 4.08
|
2020-04-13 11:04:26 +02:00 |
|
|
Vincent Laporte
|
32e5039100
|
ocamlPackages.fmt: 0.8.5 → 0.8.6
|
2020-04-10 19:03:52 +02:00 |
|
|
Vincent Laporte
|
bab29617d1
|
ocamlPackages.cstruct-sexp: disable tests for OCaml < 4.03
|
2020-04-10 19:03:35 +02:00 |
|
|
Vincent Laporte
|
942d312a69
|
ocamlPackages.cstruct-sexp: separate checkInputs
|
2020-04-10 19:03:35 +02:00 |
|
|
Vincent Laporte
|
8e0d02c073
|
ocamlPackages.ppx_blob: disable tests for OCaml < 4.03
|
2020-04-10 19:03:35 +02:00 |
|
|
Vincent Laporte
|
7c15d4b15f
|
ocamlPackages.ppx_blob: separate checkInputs
|
2020-04-10 19:03:29 +02:00 |
|
|
Vincent Laporte
|
4cf775aee9
|
ocamlPackages.cppo: 1.6.5 → 1.6.6
|
2020-04-09 10:02:59 +02:00 |
|
|
Vincent Laporte
|
f4ff33cce6
|
alt-ergo: 2.3.1 → 2.3.2
|
2020-04-08 10:23:48 +02:00 |
|
|
Vincent Laporte
|
dbc8a54ce5
|
jackline: use OCaml 4.08
|
2020-04-07 11:43:04 +02:00 |
|
|
Vincent Laporte
|
926a875def
|
opendht: 1.8.0 → 2.0.0
|
2020-04-07 08:42:41 +02:00 |
|
|
Vincent Laporte
|
c0086a5c2a
|
ocamlPackages.ocaml_gettext: 0.3.8 → 0.4.1
|
2020-04-06 13:57:21 +02:00 |
|
|
Vincent Laporte
|
d6a8d0ca5b
|
coq_8_11: 8.11.0 → 8.11.1
|
2020-04-05 15:32:32 +02:00 |
|
|
Vincent Laporte
|
4dd89ce0a0
|
OCaml: default to version 4.09
|
2020-04-04 13:26:33 +02:00 |
|
|
Vincent Laporte
|
d8f5bcefeb
|
ocamlPackages.ocaml_libvirt: ignore warnings
|
2020-04-04 13:26:33 +02:00 |
|
|
Vincent Laporte
|
6fa7355819
|
reason: 3.5.4 → 3.6.0
|
2020-04-02 21:28:10 +02:00 |
|
|
Vincent Laporte
|
34db9b5ee3
|
ocamlPackages.phylogenetics: 2019-11-15 → 2020-01-05
|
2020-04-01 17:29:30 +02:00 |
|
|
Vincent Laporte
|
206cf8a341
|
ocamlPackages.gnuplot: 0.5.3 → 0.7
|
2020-04-01 17:29:30 +02:00 |
|
|
Vincent Laporte
|
8e686bacc4
|
ocamlPackages.ocaml-r: init at 0.2.0
|
2020-04-01 17:29:30 +02:00 |
|
|
Vincent Laporte
|
2773498fc0
|
coqPackages.paramcoq: 1.1.1 → 1.1.2
|
2020-03-27 18:15:11 +01:00 |
|
|
Vincent Laporte
|
4a3edb4bd7
|
ocaml: 4.09.0 → 4.09.1
|
2020-03-27 08:06:15 +01:00 |
|
|
Vincent Laporte
|
db5bde2342
|
coqPackages.coqhammer: 1.1 → 1.1.1
|
2020-03-25 08:44:34 +01:00 |
|
|
Vincent Laporte
|
618bca7054
|
alt-ergo: 2.3.0 → 2.3.1
|
2020-03-24 20:43:06 -04:00 |
|
|
Vincent Laporte
|
98eb146164
|
pjsip: 2.9 → 2.10
|
2020-03-23 17:16:02 +01:00 |
|
|
Vincent Laporte
|
dd6d785d38
|
ocamlPackages.graphics: init at 5.1.0 for OCaml ≥ 4.09
|
2020-03-23 09:12:50 +01:00 |
|
|
Vincent Laporte
|
80a7615300
|
OCaml: do not depend on X11 for OCaml ≥ 4.09
|
2020-03-23 09:12:50 +01:00 |
|
|
Vincent Laporte
|
0229936bbe
|
buildDunePackage: add a “useDune2” option
|
2020-03-23 09:12:50 +01:00 |
|
|
Vincent Laporte
|
a8dafd2731
|
ocamlPackages.parmap: 1.1 → 1.1.1
|
2020-03-21 15:52:46 +01:00 |
|
|
Vincent Laporte
|
8dddd8a07f
|
ocamlPackages.camlp5: 7.10 → 7.11
|
2020-03-19 18:04:14 -07:00 |
|
|
Vincent Laporte
|
7b33cbdbf5
|
OCaml: default to version 4.08
|
2020-03-13 22:31:01 +01:00 |
|
|
Vincent Laporte
|
4ce4db473c
|
ocamlPackages.ocf: disable for OCaml ≥ 4.08
|
2020-03-13 22:31:01 +01:00 |
|
|
Vincent Laporte
|
bab3588e4e
|
ocamlPackages.wasm: disable for OCaml ≥ 4.08
|
2020-03-13 22:31:01 +01:00 |
|