 Vincent Laporte
|
581660a4d3
|
ocamlPackages.camlp5: 7.11 → 7.12
|
2020-07-01 13:46:30 +02:00 |
|
|
Vincent Laporte
|
4e0164cbb3
|
coqPackages.equations: 1.2.1 → 1.2.2
|
2020-06-30 08:51:15 +02:00 |
|
|
Vincent Laporte
|
5dfcb77a8e
|
coqPackages.interval: 3.4.1 → 3.4.2
|
2020-06-29 07:41:28 +02:00 |
|
|
Vincent Laporte
|
5ac8870024
|
ocamlPackages.js_of_ocaml: 3.5.2 → 3.6.0
|
2020-06-28 09:59:04 +02:00 |
|
|
Vincent Laporte
|
d34bde6ac7
|
why3: compatibility with JSoO 3.6.0
|
2020-06-28 09:59:04 +02:00 |
|
|
Vincent Laporte
|
2b8ee31b6d
|
eff: compatibility with JSoO 3.6.0
|
2020-06-28 09:59:04 +02:00 |
|
|
Vincent Laporte
|
c4e1a2f9a3
|
ocamlPackages.xtmpl: compatibility with JSoO 3.6.0
|
2020-06-28 09:59:04 +02:00 |
|
|
Vincent Laporte
|
dbc5704e3f
|
ocamlPackages.odoc: 1.5.0 → 1.5.1
|
2020-06-26 08:44:19 +02:00 |
|
|
Vincent Laporte
|
10496b449b
|
ocamlPackages.torch: 0.8 → 0.9b
|
2020-06-25 08:18:16 +02:00 |
|
|
Vincent Laporte
|
bbed026045
|
ocamlPackages.base64_2: remove at 2.0.0
|
2020-06-25 08:15:18 +02:00 |
|
|
Vincent Laporte
|
b53777c840
|
ocaml-ng.ocamlPackages_4_11.ocaml: 4.11.0+α2 → 4.11.0+α3
|
2020-06-24 21:44:36 +02:00 |
|
|
Vincent Laporte
|
490c75f1ca
|
ocamlPackages.lwt: rename file to “default.nix” and attribute to “lwt”
|
2020-06-24 09:19:04 +02:00 |
|
|
Vincent Laporte
|
97c886e2c7
|
ocamlPackages.lwt2: remove at 2.7.1
|
2020-06-24 09:19:04 +02:00 |
|
|
Vincent Laporte
|
05eefe5ef8
|
coqPackages.simple-io: 1.2.0 → 1.3.0
|
2020-06-23 08:07:29 +02:00 |
|
|
Vincent Laporte
|
22a81aa5fc
|
ocamlPackages.async_unix: 0.13.0 → 0.13.1
|
2020-06-22 17:52:02 +02:00 |
|
|
Vincent Laporte
|
a4de542abe
|
coqPackages.coquelicot: 3.0.3 → 3.1.0
|
2020-06-21 10:05:15 +02:00 |
|
|
Vincent Laporte
|
a8bb61222f
|
coq_8_12: init at 8.12+β1
|
2020-06-19 12:28:42 +02:00 |
|
|
Vincent Laporte
|
5293575e85
|
coqPackages.mathcomp: enable 1.11.0 for Coq 8.12
|
2020-06-19 12:28:42 +02:00 |
|
|
Vincent Laporte
|
a1b8192dbf
|
ocamlPackages.piqi: 0.6.14 → 0.6.15
|
2020-06-19 10:06:06 +02:00 |
|
|
Vincent Laporte
|
a0d4f232d7
|
ocamlPackages.js_of_ocaml: rename file to “default.nix”
|
2020-06-15 08:53:50 +02:00 |
|
|
Vincent Laporte
|
d6a4ee1193
|
ocamlPackages.js_of_ocaml_2: remove at 2.7 & 2.8.4
|
2020-06-15 08:53:50 +02:00 |
|
|
Vincent Laporte
|
610ac2c81f
|
ocamlPackages.ocsigen-start: 2.16.1 → 2.18.0
|
2020-06-14 21:41:41 +02:00 |
|
|
Vincent Laporte
|
2d50195be2
|
coqPackages.flocq: 3.2.0 → 3.3.1
|
2020-06-14 09:51:00 +02:00 |
|
|
Vincent Laporte
|
c9963a8ec4
|
ocamlPackages.ocsigen-toolkit: 2.5.0 → 2.7.0
|
2020-06-13 11:40:54 +02:00 |
|
|
Vincent Laporte
|
0905a5d990
|
ocamlPackages.vg: 0.9.3 → 0.9.4
|
2020-06-13 09:56:40 +02:00 |
|
|
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 |
|