 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 |
|
|
Vincent Laporte
|
4ada24a02c
|
ocamlPackages.earlybird: disable for OCaml ≥ 4.08
|
2020-03-13 22:31:01 +01:00 |
|
|
Vincent Laporte
|
bdcba83153
|
ocamlPackages.earley: disable for OCaml ≥ 4.08
|
2020-03-13 22:31:01 +01:00 |
|
|
Vincent Laporte
|
4adfbe6c7b
|
unison: move out of ocamlPackages
|
2020-03-13 22:31:01 +01:00 |
|
|
Vincent Laporte
|
e73a9e6b95
|
ocamlPackages.sedlex_2: fix build with OCaml ≥ 4.08
|
2020-03-13 22:31:01 +01:00 |
|
|
Vincent Laporte
|
659e89e21b
|
coqPackages.dpdgraph: enable for Coq ≥ 8.9
|
2020-03-10 17:46:15 +01:00 |
|
|
Vincent Laporte
|
5e468ef981
|
ocsigen-i18n: 3.4.0 → 3.5.0
|
2020-03-08 18:09:22 +01:00 |
|
|
Vincent Laporte
|
db4ccde60d
|
ocamlPackages.ppx_import: 1.5-3 → 1.7.1
Support for OCaml ≥ 4.08
|
2020-03-07 21:44:03 +01:00 |
|
|
Vincent Laporte
|
e8243467b9
|
coqPackages_8_10.QuickChick: init at 1.2.0
|
2020-03-06 07:28:26 +01:00 |
|
|
Vincent Laporte
|
4f8ea1e02e
|
coqPackages.simple-io: enable for Coq 8.10
|
2020-03-06 07:28:26 +01:00 |
|
|
Vincent Laporte
|
b01052f138
|
coqPackages.paco: enable for Coq 8.10 and 8.11
|
2020-03-04 07:12:02 +01:00 |
|
|
Vincent Laporte
|
3fe7a65e23
|
ocaml-ng.ocamlPackages_4_10.ocaml: 4.10.0+rc2 → 4.10.0
|
2020-03-03 06:49:08 +01:00 |
|
|
Vincent Laporte
|
9794d1e5fc
|
ocamlPackages.ocp-index: 1.1.9 → 1.2
|
2020-03-01 22:39:43 +01:00 |
|
|
Vincent Laporte
|
d02dc3c5fd
|
ocamlPackages.ocp-build: fix for OCaml ≥ 4.08
|
2020-03-01 22:39:43 +01:00 |
|
|
Vincent Laporte
|
5c274c6c05
|
ocamlPackages.core_profiler: remove at 0.11.0
This package is broken with glibc ≥ 2.28
|
2020-02-28 21:24:26 +01:00 |
|
|
Vincent Laporte
|
9095ca22bc
|
ocamlPackages.ocaml_plugin: remove at 0.11.0
This package is broken with glibc ≥ 2.28
|
2020-02-28 21:24:26 +01:00 |
|
|
Vincent Laporte
|
fe0ebdf825
|
ocamlPackages.conduit_p4: remove at 0.10.0
|
2020-02-28 21:24:26 +01:00 |
|
|
Vincent Laporte
|
305dc2a199
|
ocamlPackages.cohttp_p4: remove at 0.19.3
|
2020-02-28 21:24:26 +01:00 |
|
|
Vincent Laporte
|
fca7f386db
|
trv: remove at 0.1.3
|
2020-02-28 21:24:26 +01:00 |
|
|
Vincent Laporte
|
644b931c49
|
ocamlPackages.javalib: 3.1.1 → 3.2.1
ocamlPackages.sawja: 1.5.7 → 1.5.8
|
2020-02-28 09:37:54 +01:00 |
|
|
Vincent Laporte
|
8706ed24e5
|
ocamlPackages.dum: cleaning
Propagate the `easy-format` dependency.
Fix build with OCaml ≥ 4.09.
|
2020-02-27 07:33:11 +01:00 |
|
|
Vincent Laporte
|
4f7484f038
|
ocamlPackages.pgocaml_ppx: init at 4.0
|
2020-02-25 08:12:07 +01:00 |
|
|
Vincent Laporte
|
86d1378d3e
|
ocamlPackages.batteries: 2.11.0 → 3.0.0
|
2020-02-24 16:04:15 +01:00 |
|
|
Vincent Laporte
|
229dc013b3
|
coqPackages.mathcomp_1_10: init at 1.10.0
|
2020-02-24 15:18:07 +01:00 |
|
|
Vincent Laporte
|
6036633e2b
|
ocamlPackages.ppx_tools: 5.3 → 6.{0,1}
|
2020-02-24 09:48:13 +01:00 |
|
|
Vincent Laporte
|
ca6391a7c4
|
ocaml-ng.ocamlPackages_4_10.ocaml: 4.10.0+rc1 → 4.10.0+rc2
|
2020-02-21 07:15:49 +01:00 |
|
|
Vincent Laporte
|
c589de98e2
|
ocamlPackages.resource-pooling: 0.6 → 1.1
ocamlPackages.ocsigen-start: 1.8.0 → 2.7.0
|
2020-02-14 10:09:41 +01:00 |
|
|
Vincent Laporte
|
e57fdf508a
|
ocamlPackages.uunf: 11.0.0 → 12.0.0
|
2020-02-14 07:31:17 +01:00 |
|
|
Vincent Laporte
|
eef4b5175f
|
ocaml-ng.ocamlPackages_4_10.ocaml: 4.10.0+β2 → 4.10.0+rc1
|
2020-02-12 10:55:00 +01:00 |
|
|
Vincent Laporte
|
6c52b3ade9
|
ocamlPackages.reason: 3.5.1 → 3.5.4
|
2020-02-11 07:32:59 +01:00 |
|
|
Vincent Laporte
|
30fada894e
|
ocamlPackages.apron: 2016-01-25 → 0.9.12
|
2020-02-10 07:36:54 +01:00 |
|
|
Vincent Laporte
|
f2cd2ee0e0
|
coqPackages.bignums: enable for Coq 8.11
|
2020-02-07 10:26:26 +01:00 |
|
|
Vincent Laporte
|
21b4edc6a0
|
ocamlPackages.lwt4: 4.4.0 → 4.5.0
|
2020-02-04 09:48:28 +01:00 |
|
|
Vincent Laporte
|
0c7a1e7a24
|
ocamlPackages.mlgmpidl: 1.2.11 → 1.2.12
|
2020-02-03 09:38:34 +01:00 |
|
|
Vincent Laporte
|
4c83d61f12
|
ocaml-ng.ocamlPackages_4_10.ocaml: 4.10.0+β1 → 4.10.0+β2
|
2020-02-02 20:35:10 +01:00 |
|
|
Vincent Laporte
|
13dd5844fd
|
coqPackages_8_11.coq: 8.11+β1 → 8.11.0
|
2020-01-31 14:09:51 +01:00 |
|
|
Vincent Laporte
|
659a7ae963
|
coq: disable CoqIDE on Darwin for Coq ≥ 8.10
|
2020-01-31 14:09:51 +01:00 |
|
|
Vincent Laporte
|
fa709922f3
|
coqPackages.tlc: disable for Coq > 8.10
|
2020-01-31 14:09:51 +01:00 |
|
|
Vincent Laporte
|
57aaf67b72
|
ocamlPackages.utop: 2.4.2 → 2.4.3
|
2020-01-28 17:33:13 +01:00 |
|
|
Vincent Laporte
|
ab6eebbe20
|
ocamlPackages.batteries: 2.10.0 → 2.11.0
|
2020-01-23 14:01:38 +01:00 |
|
|
Vincent Laporte
|
0f7016d404
|
ocamlPackages.ocaml-migrate-parsetree: 1.4.0 → 1.5.0
|
2020-01-21 07:27:28 +01:00 |
|
|
Vincent Laporte
|
cacbe5f342
|
ocamlPackages.stdint: disable for OCaml < 4.07
|
2020-01-21 07:27:28 +01:00 |
|
|
Vincent Laporte
|
bd5a596868
|
ocaml-ng.ocamlPackages_4_10.ocaml: init at 4.10.0+beta1
|
2020-01-20 17:46:13 +01:00 |
|
|
Vincent Laporte
|
6b023dc690
|
ocamlPackages.re2: fix building with clang
|
2020-01-20 10:18:53 +01:00 |
|
|
Vincent Laporte
|
ed5c0443c1
|
ocamlPackages.lua-ml: init at 0.9
|
2019-12-15 08:23:32 +01:00 |
|
|
Vincent Laporte
|
788148f93c
|
ocaml-top: 1.1.5 → 1.2.0-rc
|
2019-12-15 08:11:56 +01:00 |
|
|
Vincent Laporte
|
089c0efe8c
|
ocamlPackages.mdx: 1.4.0 → 1.5.0
And split to multiple outputs
|
2019-12-14 15:57:36 +01:00 |
|
|
Vincent Laporte
|
b5e82ad239
|
ocamlPackages.ocaml-version: init at 2.3.0
|
2019-12-14 15:57:36 +01:00 |
|
|
Vincent Laporte
|
3d34ecb993
|
ocamlPackages.rpclib: 5.9.0 → 6.0.0
|
2019-12-13 10:44:48 +01:00 |
|
|
Vincent Laporte
|
2cf477f28d
|
ocamlPackages.merlin: 3.3.2 → 3.3.3
|
2019-12-11 09:58:21 +01:00 |
|
|
Vincent Laporte
|
828f530d88
|
ocamlPackages.cryptokit: 1.13 → 1.14
|
2019-12-10 00:21:12 +01:00 |
|
|
Vincent Laporte
|
d6eb9b5e0b
|
ocamlPackages.irmin-unix: init at 2.0.0
|
2019-12-09 17:02:13 +00:00 |
|
|
Vincent Laporte
|
583b483ebb
|
ocamlPackages.irmin-watcher: init at 0.4.1
|
2019-12-09 17:02:13 +00:00 |
|