 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 |
|
|
Vincent Laporte
|
bdd0a3fe8c
|
ocamlPackages.yaml: init at 2.0.1
|
2019-12-09 17:02:13 +00:00 |
|
|
Vincent Laporte
|
ad95ea7223
|
ocamlPackages.irmin-pack: init at 2.0.0
|
2019-12-09 17:02:13 +00:00 |
|
|
Vincent Laporte
|
186e55f746
|
ocamlPackages.irmin-graphql: init at 2.0.0
|
2019-12-09 17:02:12 +00:00 |
|
|
Vincent Laporte
|
52be004a7c
|
ocamlPackages.irmin-fs: init at 2.0.0
|
2019-12-09 17:02:12 +00:00 |
|
|
Vincent Laporte
|
191f1c9a49
|
ocamlPackages.irmin-http: init at 2.0.0
|
2019-12-09 17:02:12 +00:00 |
|
|
Vincent Laporte
|
45d3c40cc4
|
ocamlPackages.irmin-git: init at 2.0.0
|
2019-12-09 17:02:12 +00:00 |
|
|
Vincent Laporte
|
5bbc1c1159
|
ocamlPackages.irmin-mem: init at 2.0.0
|
2019-12-09 17:02:11 +00:00 |
|
|
Vincent Laporte
|
a21d658051
|
ocamlPackages.irmin-test: init at 2.0.0
|
2019-12-09 17:02:11 +00:00 |
|
|
Vincent Laporte
|
c07de6cd86
|
ocamlPackages.irmin: init at 2.0.0
|
2019-12-09 17:02:11 +00:00 |
|
|
Vincent Laporte
|
e7857f0d30
|
ocamlPackages.alcotest-lwt: init at 0.8.5
|
2019-12-09 17:02:11 +00:00 |
|
|
Vincent Laporte
|
d7ec7abd1f
|
ocamlPackages.index: init at 1.0.1
|
2019-12-09 17:02:10 +00:00 |
|
|
Vincent Laporte
|
c09e680e77
|
ocamlPackages.graphql-cohttp: init at 0.13.0
|
2019-12-09 09:53:40 +01:00 |
|
|
Vincent Laporte
|
9b834a210e
|
ocamlPackages.graphql-lwt: init at 0.13.0
|
2019-12-09 09:53:40 +01:00 |
|
|
Vincent Laporte
|
187c657eab
|
ocamlPackages.graphql: init at 0.13.0
|
2019-12-09 09:53:40 +01:00 |
|
|
Vincent Laporte
|
40a023a853
|
ocamlPackages.graphql_parser: init at 0.13.0
|
2019-12-09 09:53:40 +01:00 |
|
|
Vincent Laporte
|
9ed43c870e
|
ocamlPackages.webmachine: init at 0.6.1
|
2019-12-08 07:55:34 +01:00 |
|
|
Vincent Laporte
|
84d650ed2b
|
ocamlPackages.dispatch: init at 0.4.1
|
2019-12-08 07:55:34 +01:00 |
|
|
Vincent Laporte
|
2942490c2c
|
coq_8_11: init at 8.11+β1
|
2019-12-07 07:58:00 +00:00 |
|
|
Vincent Laporte
|
87774e094d
|
ocamlPackages.logs: 0.6.3 → 0.7.0
|
2019-12-07 06:52:45 +00:00 |
|
|
Vincent Laporte
|
335d97fb34
|
ocamlPackages.containers: 2.6.1 → 2.7
|
2019-12-06 16:17:45 +00:00 |
|
|
Vincent Laporte
|
7132e6b573
|
ocaml-crunch: init at 3.1.0
|
2019-12-06 06:17:14 +00:00 |
|
|
Vincent Laporte
|
b2aaa0559f
|
ocamlPackages.git: 2.1.0 → 2.1.2
|
2019-12-05 14:21:47 +00:00 |
|
|
Vincent Laporte
|
485b09dce3
|
ocamlPackages.nocrypto: propagate “ppx_deriving”
|
2019-12-05 14:21:47 +00:00 |
|