 Vincent Laporte
|
ccc474d77b
|
ocamlPackages.bisect_ppx: 1.4.0 → 2.5.0
|
2021-01-06 07:35:23 +01:00 |
|
|
Vincent Laporte
|
bd31e66778
|
ocamlPackages.bisect_ppx-ocamlbuild: remove at 1.4.0
This package is no longer maintained.
|
2021-01-06 07:35:23 +01:00 |
|
|
Vincent Laporte
|
6b0396351e
|
ocamlPackages.lambdaTerm: 2.0.3 → 3.1.0
ocamlPackages.utop: 2.4.3 → 2.6.0
|
2021-01-05 18:23:20 +01:00 |
|
|
Vincent Laporte
|
321c46c6e8
|
ocamlPackages.mew_vi: init at 0.5.0
This is a vi-like modal editing engine generator.
|
2021-01-05 18:23:20 +01:00 |
|
|
Vincent Laporte
|
343eb4dc37
|
ocamlPackages.mew: init at 0.1.0
A general modal editing engine generator
|
2021-01-05 18:23:20 +01:00 |
|
|
Vincent Laporte
|
a2dfc892da
|
ocamlPackages.trie: init at 1.0.0
Strict impure trie tree in OCaml
|
2021-01-05 18:23:20 +01:00 |
|
|
Vincent Laporte
|
67b72b7430
|
ocamlPackages.reason: use Dune 2
|
2021-01-05 18:23:20 +01:00 |
|
|
Vincent Laporte
|
b8087628db
|
ocamlPackages.csv: use Dune 2
|
2021-01-04 09:03:01 +01:00 |
|
|
Vincent Laporte
|
f134db16bd
|
ocamlPackages.zarith: 1.10 → 1.11
|
2021-01-02 09:52:25 +01:00 |
|
|
Vincent Laporte
|
d9c71767bd
|
ocamlPackages.merlin: 3.4.0 → 3.4.2
|
2020-12-31 08:17:21 +01:00 |
|
|
Vincent Laporte
|
ac02f26980
|
ocamlPackages.cppo: 1.6.{5,6} → 1.6.7
ocamlPackages.cppo_ocamlbuild: init at 1.6.7
|
2020-12-30 15:04:11 +01:00 |
|
|
Vincent Laporte
|
75d69a0a27
|
ocaml-ng.ocamlPackages_4_12.ocaml: 4.12.0~α2 → 4.12.0~α3
|
2020-12-26 08:12:49 +01:00 |
|
|
Vincent Laporte
|
b75cb8a97d
|
ocamlPackages.ppxlib: fix evaluation
|
2020-12-19 23:03:44 +01:00 |
|
|
Vincent Laporteandsternenseemann
|
b6f7f1f673
|
ocamlPackages.janeStreet: 0.13 → 0.14
ocamlPackages.biocaml: 0.10.1 → 0.11.1
ocamlPackages.bistro: fix for Core 0.14
ocamlPackages.js_of_ocaml: 3.7.0 → 3.7.1
ocamlPackages.ocaml-r: 0.2.0 → 0.4.0
ocamlPackages.phylogenetics: 2020-01-25 → 2020-11-23
Co-authored-by: sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org>
|
2020-12-18 21:03:56 +01:00 |
|
|
Vincent Laporte
|
c2e90c4433
|
ocamlformat: build legacy versions with OCaml 4.07
|
2020-12-18 21:03:56 +01:00 |
|
|
Vincent Laporte
|
1dc15448b4
|
ocamlPackages.cfstream: use Dune 2
|
2020-12-18 21:03:56 +01:00 |
|
|
Vincent Laporte
|
6a7f79ed83
|
ocamlPackages.ppxlib: 0.12.0 → 0.13.0
Also refactor to ease selection of a custom version
|
2020-12-18 21:03:56 +01:00 |
|
|
Vincent Laporte
|
8274fec350
|
ocamlPackages.sqlexpr: remove at 0.9.0
|
2020-12-18 21:03:56 +01:00 |
|
|
Vincent Laporte
|
66c0fc3609
|
cryptoverif: 2.03pl1 → 2.04
|
2020-12-18 08:20:10 +01:00 |
|
|
Vincent Laporte
|
b49a3fb852
|
cryptoverif: fix search for default library
|
2020-12-18 08:20:10 +01:00 |
|
|
Vincent Laporte
|
c5556b7454
|
coq_8_12: 8.12.1 → 8.12.2
|
2020-12-16 07:45:54 +01:00 |
|
|
Vincent Laporte
|
de8205f8bb
|
coq_8_13: init at 8.13+β1
|
2020-12-15 21:13:40 +01:00 |
|
|
Vincent Laporte
|
1e8ca69151
|
ocamlPackages.torch: 0.10 → 0.11
|
2020-12-14 06:28:34 +01:00 |
|
|
Vincent Laporte
|
a35e7daa2b
|
compcert: 3.7 → 3.8
|
2020-12-09 08:28:04 +01:00 |
|
|
Vincent Laporte
|
d702e6e6ab
|
ocamlPackages.uri: 3.1.0 → 4.0.0
|
2020-12-08 17:33:12 +01:00 |
|
|
Vincent Laporte
|
57f2285079
|
stog: fix compatibility with uri ≥ 4.0.0
|
2020-12-08 17:33:12 +01:00 |
|
|
Vincent Laporte
|
24b4e1094e
|
ocamlPackages.ocplib-json-typed: use Dune 2
|
2020-12-08 17:33:12 +01:00 |
|
|
Vincent Laporte
|
567e02e204
|
ocamlPackages.alcotest: 1.0.1 → 1.2.3
|
2020-12-08 17:19:48 +01:00 |
|
|
Vincent Laporte
|
30487789ab
|
ocamlPackages.duration: use Dune 2
|
2020-12-08 17:19:48 +01:00 |
|
|
Vincent Laporte
|
bee0a512d0
|
ocamlPackages.domain-name: use Dune 2
|
2020-12-08 17:19:48 +01:00 |
|
|
Vincent Laporte
|
73182c1442
|
ocamlPackages.gmap: use Dune 2
|
2020-12-08 17:19:48 +01:00 |
|
|
Vincent Laporte
|
46281741b2
|
ocamlPackages.graphql: use Dune 2
|
2020-12-08 17:19:48 +01:00 |
|
|
Vincent Laporte
|
e56e8d4f74
|
ocamlPackages.mirage-time: use Dune 2
|
2020-12-08 17:19:48 +01:00 |
|
|
Vincent Laporte
|
e4a7c4268b
|
ocaml-ng.ocamlPackages_4_12.ocaml: 4.12.0~α1 → 4.12.0~α2
|
2020-12-08 16:37:41 +01:00 |
|
|
Vincent Laporte
|
cf7475d206
|
ocamlPackages.odate: init at 0.6
|
2020-12-06 09:56:40 +01:00 |
|
|
Vincent Laporte
|
fd45d961af
|
ocamlPackages.qcheck: 0.15 → 0.16
|
2020-12-05 17:13:44 +01:00 |
|
|
Vincent Laporte
|
df114c2091
|
ocamlPackages.iter: use Dune 2
|
2020-12-05 17:13:44 +01:00 |
|
|
Vincent Laporte
|
3d66135e6b
|
ocamlPackages.qtest: use Dune 2
|
2020-12-05 17:13:44 +01:00 |
|
|
Vincent Laporte
|
d2727446df
|
ocamlPackages.xtmpl: disable for OCaml ≥ 4.11
|
2020-12-05 17:13:44 +01:00 |
|
|
Vincent Laporte
|
4dfe04a9ec
|
ocamlPackages.mirage-types-lwt: init at 3.9.0
|
2020-12-03 08:17:08 +01:00 |
|
|
Vincent Laporte
|
19f9b87e51
|
ocamlPackages.mirage-types: init at 3.9.0
|
2020-12-03 08:17:08 +01:00 |
|
|
Vincent Laporte
|
222966a7d1
|
obelisk: 0.4.0 → 0.5.2
|
2020-12-02 22:39:56 +01:00 |
|
|
Vincent Laporte
|
acae9f16a9
|
Revert "ocamlPackages.stdlib-shims: 0.1.0 -> 0.2.0"
This reverts commit 0c5e940329.
|
2020-12-02 15:56:49 +01:00 |
|
|
Vincent Laporte
|
8b64dfce2e
|
ocamlPackages.bigstringaf: 0.6.0 → 0.7.0
|
2020-12-01 22:02:51 +01:00 |
|
|
Vincent Laporte
|
9e66b4e873
|
ocamlPackages.angstrom: use Dune 2
|
2020-12-01 22:02:51 +01:00 |
|
|
Vincent Laporte
|
38a91dff4d
|
ocamlPackages.earlybird: use Dune 2
|
2020-12-01 22:02:51 +01:00 |
|
|
Vincent Laporte
|
11c35305ca
|
ocamlPackages.ke: use Dune 2
|
2020-12-01 22:02:51 +01:00 |
|
|
Vincent Laporte
|
4569be3b21
|
coqPackages.coq-ext-lib: 0.11.2 → 0.11.3
|
2020-12-01 22:02:08 +01:00 |
|
|
Vincent Laporte
|
9366259691
|
coqPackages.coq-ext-lib: refactor
|
2020-12-01 22:02:08 +01:00 |
|
|
Vincent Laporte
|
d972bd23e0
|
ocamlPackages.functoria: 3.1.0 → 3.1.1
|
2020-12-01 07:30:56 +01:00 |
|
|
Vincent Laporte
|
389ac5f00e
|
ocamlPackages.batteries: 3.1.0 → 3.2.0
|
2020-11-30 08:13:28 +01:00 |
|
|
Vincent Laporte
|
8ee7c2505f
|
proverif: install emacs mode
|
2020-11-29 14:05:14 +01:00 |
|
|
Vincent Laporte
|
8256fc2da5
|
ocamlPackages.rpclib-lwt: init at 8.0.0
|
2020-11-28 08:22:08 +01:00 |
|
|
Vincent Laporte
|
d6dfd173f9
|
ocamlPackages.rpclib: 7.0.0 → 8.0.0
|
2020-11-28 08:22:08 +01:00 |
|
|
Vincent Laporte
|
18370bce2f
|
ocamlPackages.ocaml-protoc: 1.2.0 → 2.0.2
|
2020-11-27 08:30:24 +01:00 |
|
|
Vincent Laporte
|
2044e44cf4
|
ocamlPackages.ppx_deriving_protobuf: disable for OCaml ≥ 4.11
|
2020-11-27 08:30:24 +01:00 |
|
|
Vincent Laporte
|
4a1ff5b3ce
|
ocamlPackages.cstruct: 4.0.0 → 5.0.0
|
2020-11-26 06:55:12 +01:00 |
|
|
Vincent Laporte
|
4d47330bef
|
ocamlPackages.ipaddr: use Dune 2
|
2020-11-26 06:55:12 +01:00 |
|
|
Vincent Laporte
|
5cc1a81692
|
ocamlPackages.conduit: use Dune 2
|
2020-11-26 06:55:12 +01:00 |
|
|
Vincent Laporte
|
ca737449c4
|
ocamlPackages.macaddr-{cstruct,sexp}: use Dune 2
|
2020-11-26 06:55:12 +01:00 |
|
|
Vincent Laporte
|
e1fe267f09
|
ocamlPackages.io-page: use Dune 2
|
2020-11-26 06:55:12 +01:00 |
|
|
Vincent Laporte
|
97cdcf3e29
|
ocamlPackages.eqaf: use Dune 2
|
2020-11-26 06:55:12 +01:00 |
|
|
Vincent Laporte
|
8555b46e2a
|
ocamlPackages.mirage-random: use Dune 2
|
2020-11-26 06:55:12 +01:00 |
|
|
Vincent Laporte
|
6012e6dc0e
|
ocamlPackages.mirage-flow: use Dune 2
|
2020-11-26 06:55:12 +01:00 |
|
|
Vincent Laporte
|
1f7c5f009c
|
ocamlPackages.mirage-protocols: use Dune 2
|
2020-11-26 06:55:12 +01:00 |
|
|
Vincent Laporte
|
d9068d18f5
|
ocamlPackages.mirage-stack: use Dune 2
|
2020-11-26 06:55:12 +01:00 |
|
|
Vincent Laporte
|
8b1c1f6628
|
ocamlPackages.randomconv: use Dune 2
|
2020-11-26 06:55:12 +01:00 |
|
|
Vincent Laporte
|
25b7d70531
|
ocamlPackages.tuntap: use Dune 2
|
2020-11-26 06:55:12 +01:00 |
|
|
Vincent Laporte
|
a3e5e8c92c
|
ocamlPackages.duff: use Dune 2
|
2020-11-26 06:55:12 +01:00 |
|
|
Vincent Laporte
|
254f2bad97
|
ocaml-ng.ocamlPackages_4_12.ocaml: init at 4.12.0-α1
|
2020-11-25 07:55:44 +01:00 |
|
|
Vincent Laporte
|
e40f4acb27
|
ocaml: minor refactoring
|
2020-11-25 07:55:44 +01:00 |
|
|
Vincent Laporte
|
5a6981654b
|
ocamlPackages.camlp5: 7.12 → 7.13
|
2020-11-24 08:21:21 +01:00 |
|
|
Vincent Laporte
|
c476262dcd
|
ocamlPackages.faraday: 0.7.0 → 0.7.2
|
2020-11-23 06:12:24 +01:00 |
|
|
Vincent Laporte
|
e286f0cf3b
|
ocamlPackages.containers: 3.0 → 3.0.1
|
2020-11-22 07:26:26 +01:00 |
|
|
Vincent Laporte
|
5eb3722b8b
|
ocamlPackages.tsort: use Dune 2
|
2020-11-22 07:26:26 +01:00 |
|
|
Vincent Laporte
|
c408461904
|
ocamlPackages.httpaf: 0.4.1 → 0.6.6
|
2020-11-20 06:38:13 +01:00 |
|
|
Vincent Laporte
|
229060146d
|
ocamlPackages.metrics-mirage: init at 0.2.0
|
2020-11-19 07:12:06 +01:00 |
|
|
Vincent Laporte
|
7346475c9f
|
ocamlPackages.metrics-influx: init at 0.2.0
|
2020-11-19 07:12:06 +01:00 |
|
|
Vincent Laporte
|
9785d7c7aa
|
ocamlPackages.metrics: 0.1.0 → 0.2.0
|
2020-11-19 07:12:06 +01:00 |
|
|
Vincent Laporte
|
b99a5b810d
|
ocamlPackages.dns: use Dune 2
|
2020-11-19 07:12:06 +01:00 |
|
|
Vincent Laporte
|
47b02b30e3
|
ocamlPackages.ppx_blob: 0.4.0 → 0.7.1
|
2020-11-18 08:25:15 +01:00 |
|
|
Vincent Laporte
|
597e7748d1
|
ocamlPackages.dispatch: 0.4.1 → 0.5.0
ocamlPackages.webmachine: 0.6.2 → 0.7.0
|
2020-11-18 08:24:28 +01:00 |
|
|
Vincent Laporte
|
e5e032a532
|
ocamlPackages.camlimages: 5.0.3 → 5.0.4
|
2020-11-17 08:22:37 +01:00 |
|
|
Vincent Laporte
|
89e35b3fd3
|
pdfpc: 4.4.0 → 4.4.1
|
2020-11-16 08:47:14 +01:00 |
|
|
Vincent Laporte
|
2806eb2743
|
coq_8_12: 8.12.0 → 8.12.1
|
2020-11-15 12:03:15 +01:00 |
|
|
Vincent Laporte
|
b94a294363
|
scheherazade-new: init at 3.000
|
2020-11-15 09:33:45 +01:00 |
|
|
Vincent Laporte
|
9ca92f0a5b
|
ocamlPackages.mirage: init at 3.9.0
|
2020-11-14 09:11:28 +01:00 |
|
|
Vincent Laporte
|
7fb0a750f7
|
ocamlPackages.mirage-runtime: use Dune 2
|
2020-11-14 09:11:28 +01:00 |
|
|
Vincent Laporte
|
0e6f020463
|
ocamlPackages.mirage-unix: use Dune 2
|
2020-11-14 09:11:28 +01:00 |
|
|
Vincent Laporte
|
1ce26aacd1
|
ocamlPackages.digestif: 0.8.0 → 0.9.0
|
2020-11-13 12:05:49 +01:00 |
|
|
Vincent Laporte
|
10fc2a3ac9
|
ocamlPackages.mstruct: remove at 1.4.0
|
2020-11-13 11:01:52 +01:00 |
|
|
Vincent Laporte
|
ee4559129a
|
compcert: remove annoying assertions
|
2020-11-12 08:20:05 +01:00 |
|
|
Vincent Laporte
|
2e2aae2ccd
|
ocamlPackages.cryptokit: 1.14 → 1.16.1
|
2020-11-06 15:30:03 +01:00 |
|
|
Vincent Laporte
|
d050e5e399
|
ocamlPackages.email_message: remove at 0.11.0
|
2020-11-06 15:30:03 +01:00 |
|
|
Vincent Laporte
|
bcd196ca69
|
ocamlPackages.mirage-logs: init at 1.2.0
|
2020-11-06 10:08:00 +01:00 |
|
|
Vincent Laporte
|
75b59386b4
|
ocamlPackages.owl: 0.9.0 → 0.10.0
|
2020-11-06 10:07:06 +01:00 |
|
|
Vincent Laporte
|
63aa105b1c
|
ocamlPackages.apron: split into multiple outputs
|
2020-11-06 10:06:11 +01:00 |
|
|
Vincent Laporte
|
8b5088130e
|
ocamlPackages.mirage-console: init at 3.0.2
|
2020-11-06 10:04:58 +01:00 |
|
|
Vincent Laporte
|
8bf29a6014
|
ocamlPackages.mirage-channel: init at 4.0.1
|
2020-11-03 13:41:21 +01:00 |
|
|
Vincent Laporte
|
546ef7afd7
|
ocamlPackages.lacaml: 11.0.6 → 11.0.8
|
2020-11-01 17:22:43 +01:00 |
|