 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 |
|
|
Vincent Laporte
|
15812e1136
|
ocamlPackages.gapi_ocaml: 0.3.19 → 0.4.1
|
2020-11-01 17:18:02 +01:00 |
|
|
Vincent Laporte
|
86c6683e62
|
ocamlPackages.google-drive-ocamlfuse: disable for OCaml < 4.06
|
2020-11-01 17:18:02 +01:00 |
|
|
Vincent Laporte
|
99ebf5ba5b
|
ocamlPackages.checkseum: 0.1.1 → 0.2.1
|
2020-11-01 17:17:02 +01:00 |
|
|
Vincent Laporte
|
371dce3024
|
ocamlPackages.decompress: use Dune 2
|
2020-11-01 17:17:02 +01:00 |
|
|
Vincent Laporte
|
73c60d64a2
|
ocamlPackages.imagelib: use Dune 2
|
2020-11-01 17:17:02 +01:00 |
|
|
Vincent Laporte
|
49bdf0dace
|
ocamlPackages.mirage-profile: init at 0.9.1
|
2020-11-01 17:16:29 +01:00 |
|
|
Vincent Laporte
|
39dbc77b99
|
ocamlPackages.hex: 1.3.0 → 1.4.0
|
2020-10-31 20:04:15 +01:00 |
|
|
Vincent Laporte
|
6f8621dea6
|
ocamlPackages.fiat-p256: use Dune 2
|
2020-10-31 20:04:15 +01:00 |
|
|
Vincent Laporte
|
8cab21b48b
|
Revert "coq: propagate and install ocaml and findlib"
This reverts commit 5d0e2dedd5.
|
2020-10-31 09:08:06 +01:00 |
|
|
Vincent Laporte
|
5b8a0f0978
|
ocamlPackages.base64: 3.2.0 → 3.4.0
|
2020-10-30 20:30:56 +01:00 |
|
|
Vincent Laporte
|
b709b7ac3d
|
ocamlPackages.biocaml: use Dune 2
|
2020-10-30 20:30:56 +01:00 |
|
|
Vincent Laporte
|
fb1c52641f
|
ocamlPackages.jwto: use Dune 2
|
2020-10-30 20:30:56 +01:00 |
|
|
Vincent Laporte
|
8b1ceeb896
|
ocamlPackages.cohttp: use Dune 2
|
2020-10-30 20:30:56 +01:00 |
|
|
Vincent Laporte
|
4afd690197
|
ocamlPackages.webmachine: use Dune 2
|
2020-10-30 20:30:56 +01:00 |
|
|
Vincent Laporte
|
936ef7525d
|
ocamlPackages.bistro: use Dune 2
|
2020-10-30 20:30:56 +01:00 |
|
|
Vincent Laporte
|
bb38f0570d
|
ocamlPackages.curly: unstable-2019-11-14 → 0.2.0
|
2020-10-30 14:36:21 +01:00 |
|
|
Vincent Laporte
|
557094a10c
|
ocamlPackages.ocp-build: 1.99.19-beta → 1.99.21-beta
|
2020-10-30 11:39:15 +01:00 |
|
|
Vincent Laporte
|
7f8f1fc182
|
ocamlPackages.re: use released source rather than a git snapshot
This fixes the version information in the META file
|
2020-10-30 11:39:15 +01:00 |
|
|
Vincent Laporte
|
2ccfc2962e
|
opa: build with OCaml 4.03
|
2020-10-29 06:35:15 +01:00 |
|
|
Vincent Laporte
|
ef45e1161e
|
ocamlPackages.ezjsonm: 0.6.0 → 1.2.0
|
2020-10-28 06:28:44 +01:00 |
|
|
Vincent Laporte
|
47183f25a0
|
ocamlPackages.mirage-block: init at 2.0.1
|
2020-10-27 22:00:51 +01:00 |
|
|
Vincent Laporte
|
a2b7bad6c8
|
ocamlPackages.google-drive-ocamlfuse: 0.7.21 → 0.7.22
|
2020-10-26 06:09:43 +01:00 |
|
|
Vincent Laporte
|
b5f396e43a
|
ocamlPackages.mirage-net: init at 3.0.1
|
2020-10-25 16:02:34 +01:00 |
|
|
Vincent Laporte
|
aa7977af2c
|
ocamlPackages.mirage-bootvar-unix: init at 0.1.0
|
2020-10-25 11:09:43 +01:00 |
|
|
Vincent Laporte
|
8b2e5dcf27
|
ocamlPackages.parse-argv: init at 0.2.0
|
2020-10-25 11:09:43 +01:00 |
|
|
Vincent Laporte
|
7be0ab8249
|
ocamlPackages.mirage-fs: init at 3.0.1
|
2020-10-24 12:25:02 +02:00 |
|
|
Vincent Laporte
|
8f0accd00f
|
ocamlPackages.mirage-kv: init at 3.0.1
|
2020-10-24 12:25:02 +02:00 |
|
|
Vincent Laporte
|
2cb651ad14
|
cryptoverif: 2.01pl1 → 2.03pl1
|
2020-10-23 10:20:09 +02:00 |
|
|
Vincent Laporte
|
283f53073b
|
ocamlPackages.yaml: 2.0.1 → 2.1.0
|
2020-10-23 08:33:52 +02:00 |
|
|
Vincent Laporte
|
ec3aa4c109
|
ocamlPackages.pgocaml: 4.0 → 4.2.2
|
2020-10-22 08:17:38 +02:00 |
|
|
Vincent Laporte
|
1e985c9e29
|
ocamlPackages.ocsigen-start: remove unused parameter
|
2020-10-22 08:17:38 +02:00 |
|
|
Vincent Laporte
|
4b3e97daa4
|
ocamlPackages.safepass: 2.0 → 3.0
|
2020-10-21 22:52:46 +02:00 |
|
|
Vincent Laporte
|
37eb705a65
|
ocamlPackages.opium_kernel: 0.17.1 → 0.18.0
|
2020-10-20 21:50:42 +02:00 |
|
|
Vincent Laporte
|
466194482c
|
ocamlPackages.ppx_type_conv: remove at 113.33.03
|
2020-10-20 09:39:30 +02:00 |
|
|
Vincent Laporte
|
1f65cf4bde
|
ocamlPackages.ppx_fail: remove at 113.33.03
|
2020-10-20 09:39:30 +02:00 |
|
|
Vincent Laporte
|
649059d42b
|
ocamlPackages.ppx_driver: remove at 113.33.03
|
2020-10-20 09:39:30 +02:00 |
|
|
Vincent Laporte
|
07ad2970a5
|
ocamlPackages.ppx_core: remove at 113.33.03
|
2020-10-20 09:39:30 +02:00 |
|
|
Vincent Laporte
|
92d4ced442
|
ocamlPackages.ppx_sqlexpr: use ppxlib instead of the deprecated ppx_core
|
2020-10-19 14:25:57 +02:00 |
|
|
Vincent Laporte
|
d149b27d41
|
ocamlformat: refactor
|
2020-10-18 09:51:18 +02:00 |
|
|
Vincent Laporte
|
6742cc7660
|
ocamlPackages.camlimages: remove at 4.1.2
|
2020-10-16 12:33:38 +02:00 |
|
|
Vincent Laporte
|
0385e6094f
|
ocamlPackages.camlimages: 5.0.1 → 5.0.3
|
2020-10-16 12:33:38 +02:00 |
|
|
Vincent Laporte
|
1d3b373443
|
camlPackages.io-page: remove unused parameter
|
2020-10-16 12:33:38 +02:00 |
|
|
Vincent Laporte
|
bbd0e25d64
|
ocamlPackages.secp256k1: 0.4.0 → 0.4.1
|
2020-10-15 12:30:58 +02:00 |
|
|
Vincent Laporte
|
c0ab50b741
|
orpie: 1.5.2 → 1.6.1
|
2020-10-14 07:33:04 +02:00 |
|
|
Vincent Laporte
|
b3910a583c
|
ocamlPackages.gsl: init at 1.24.3
|
2020-10-14 07:33:04 +02:00 |
|
|
Vincent Laporte
|
8b92269f53
|
kst: remove broken
|
2020-10-13 07:55:22 +02:00 |
|
|
Vincent Laporte
|
423dd60f07
|
coqPackages.paco: 4.0.0 → 4.0.2
|
2020-10-12 09:41:45 +02:00 |
|
|
Vincent Laporte
|
c665e4d12e
|
ocamlPackages.jingoo: 1.3.4 → 1.4.1
|
2020-10-11 11:40:44 +02:00 |
|
|
Vincent Laporte
|
ddb2c7779e
|
coqPackages.coq-ext-lib: clean dependencies
|
2020-10-09 16:32:48 +02:00 |
|
|
Vincent Laporte
|
13126ce0a0
|
coqPackages.dpdgraph: do not depend on camlp5 for recent versions of Coq
|
2020-10-09 16:32:48 +02:00 |
|