Ulrik Strid
|
d213b12223
|
Merge pull request #251305 from vbgl/ocaml-saturn-0.4.0
ocamlPackages.saturn: 0.3.0 (lockfree) → 0.4.0
|
2023-08-29 19:47:37 +02:00 |
|
Ulrik Strid
|
68151ef138
|
Merge pull request #251910 from vbgl/ocaml-arp-3.1.0
ocamlPackages.arp: 3.0.0 → 3.1.0
|
2023-08-29 19:40:48 +02:00 |
|
Ulrik Strid
|
e6f068fc66
|
Merge pull request #252083 from vbgl/ocaml-tcpip-8.0.0
ocamlPackages.tcpip: 7.1.2 → 8.0.0; mirage-nat: 3.0.1 → 3.0.2
|
2023-08-29 19:40:06 +02:00 |
|
toastal
|
56c65cbb2e
|
ocamlPackages.eio: 0.11 → 0.12
|
2023-08-29 22:51:00 +07:00 |
|
Vincent Laporte
|
a5920ce574
|
ocamlPackages.tcpip: 7.1.2 → 8.0.0
ocamlPackages.mirage-nat: 3.0.1 → 3.0.2
|
2023-08-29 07:30:12 +02:00 |
|
Vincent Laporte
|
bcdc6b151b
|
ocamlPackages.mirage-stack: remove at 4.0.0
|
2023-08-29 07:30:11 +02:00 |
|
Vincent Laporte
|
d80d16585d
|
ocamlPackages.paf: remove spurious dependency on mirage-stack
|
2023-08-29 07:30:04 +02:00 |
|
Vincent Laporte
|
5d914aa52d
|
ocamlPackages.arp: 3.0.0 → 3.1.0
|
2023-08-28 08:05:08 +02:00 |
|
Vincent Laporte
|
409d682a57
|
coqPackages_8_14.coq-elpi: fix by using old camlp5
|
2023-08-28 07:36:16 +02:00 |
|
asymmetric
|
842f85514f
|
Merge pull request #251022 from vbgl/ocaml-ethernet-3.2.0
ocamlPackages.ethernet: 3.0.0 → 3.2.0
|
2023-08-27 16:14:10 +02:00 |
|
Mario Rodas
|
3005e695d4
|
ocamlPackages.bwd: 2.1.0 -> 2.2.0
Diff: https://github.com/RedPRL/ocaml-bwd/compare/2.1.0...2.2.0
Changelog: https://github.com/RedPRL/ocaml-bwd/blob/2.2.0/CHANGELOG.markdown
|
2023-08-27 08:26:22 +02:00 |
|
Mario Rodas
|
702419396a
|
ocamlPackages.zed: 3.2.0 -> 3.2.3
Diff: https://github.com/ocaml-community/zed/compare/3.2.0...3.2.3
Changelog: https://github.com/ocaml-community/zed/blob/3.2.3/CHANGES.md
|
2023-08-27 08:06:49 +02:00 |
|
Vincent Laporte
|
53ef6d94f3
|
ocamlPackages.saturn: 0.3.0 (lockfree) → 0.4.0
ocamlPackages.domainslib: 0.5.0 → 0.5.1
|
2023-08-25 08:27:35 +02:00 |
|
Vincent Laporte
|
06831bc171
|
ocamlPackages.domain_shims: init at 0.1.0
|
2023-08-25 08:27:29 +02:00 |
|
Vincent Laporte
|
839e22ee64
|
ocamlPackages.ethernet: 3.0.0 → 3.2.0
|
2023-08-23 21:05:36 +02:00 |
|
Vincent Laporte
|
62a2b30b09
|
ocamlPackages.ppx_deriving: do not (always) depend on OMP
|
2023-08-23 08:34:02 +02:00 |
|
Ulrik Strid
|
ae5f80614a
|
Merge pull request #250678 from vbgl/ocaml-ppxlib-0.30.0
ocamlPackages.ppxlib: 0.28.0 → 0.30.0
|
2023-08-22 14:56:59 +02:00 |
|
Vincent Laporte
|
df2dcf6122
|
ocamlPackages.ppxlib: 0.28.0 → 0.30.0
|
2023-08-22 06:59:21 +02:00 |
|
Vincent Laporte
|
0f4fcbe60d
|
ocamlPackages.ppxlib: do not (always) depend on OMP
|
2023-08-22 06:59:15 +02:00 |
|
Vincent Laporte
|
6b5f1432ad
|
ocamlPackages.ppx_cstruct: minor cleaning
|
2023-08-22 06:59:09 +02:00 |
|
Vincent Laporte
|
e55d51881e
|
ocamlPackages.hack_parallel: fix for OCaml 5.0
|
2023-08-21 22:26:44 +02:00 |
|
Ulrik Strid
|
82c1cc46cd
|
Merge pull request #249948 from vbgl/ocaml-ppx_bench-0.15.1
ocamlPackages.ppx_bench: 0.15.0 → 0.15.1
|
2023-08-21 11:17:59 +02:00 |
|
Vincent Laporte
|
6698fd456e
|
ocamlPackages.qcheck-stm: init at 0.2
|
2023-08-21 07:51:24 +02:00 |
|
Vincent Laporte
|
991356c807
|
ocamlPackages.qcheck-lin: init at 0.2
|
2023-08-21 07:51:24 +02:00 |
|
Vincent Laporte
|
aa47da4c2c
|
ocamlPackages.qcheck-multicoretests-util: init at 0.2
|
2023-08-21 07:51:17 +02:00 |
|
toastal
|
8ca5a5a768
|
ocamlPackages.uring: 0.6 → 0.7 (#250313)
|
2023-08-21 07:43:33 +02:00 |
|
Maxime Dénès
|
c1322a76a2
|
ocamlPackages.sel init at 0.4.0 (#247479)
|
2023-08-18 21:52:39 +02:00 |
|
Vincent Laporte
|
c48e3d8ccc
|
ocamlPackages.ppx_bench: 0.15.0 → 0.15.1
|
2023-08-18 14:17:53 +02:00 |
|
Ulrik Strid
|
e4eab5e3be
|
Merge pull request #249687 from vbgl/ocaml-dscheck-0.2.0
ocamlPackages.dscheck: 0.1.0 → 0.2.0
|
2023-08-18 09:29:35 +02:00 |
|
Vincent Laporte
|
6e81ef545b
|
ocamlPackages.ppx_inline_test: 0.15.0 → 0.15.1
|
2023-08-17 21:06:24 +02:00 |
|
Vincent Laporte
|
778e5e8802
|
ocamlPackages.ocamlformat: disable old versions for OCaml ≥ 5.0
|
2023-08-17 21:06:19 +02:00 |
|
Vincent Laporte
|
428862de06
|
ocamlPackages.odoc-parser: disable old versions for OCaml ≥ 5.0
and clean a bit
|
2023-08-17 21:06:14 +02:00 |
|
Julien Girard
|
8d96cbfdca
|
ocaml-protoc-plugin: init at 4.3.1
|
2023-08-17 13:00:07 +02:00 |
|
toastal
|
8fc24972c5
|
ocamlPackages.domain-local-await: 0.2.1 → 1.0.0
|
2023-08-17 10:35:58 +02:00 |
|
Vincent Laporte
|
7384615339
|
ocamlPackages.dscheck: 0.1.0 → 0.2.0
|
2023-08-17 08:26:27 +02:00 |
|
Ulrik Strid
|
d974349666
|
Merge pull request #249310 from vbgl/ocaml-inifiles-ocaml5
ocamlPackages.inifiles: fix for OCaml ≥ 5.0
|
2023-08-16 14:47:11 +02:00 |
|
Vincent Laporte
|
7fb04de11f
|
ocamlPackages.torch: minor cleaning
|
2023-08-16 08:14:02 +02:00 |
|
Adrian Dole
|
9306ad337f
|
ocamlPackages.ocaml-lsp: 1.14.2 -> 1.16.2
|
2023-08-16 08:11:10 +02:00 |
|
Vincent Laporte
|
46e9940b97
|
ocamlPackages.inifiles: fix for OCaml ≥ 5.0
|
2023-08-15 12:05:09 +02:00 |
|
toastal
|
737212ecc8
|
ocamlPackages.thread-table: 0.1.0 → 1.0.0
|
2023-08-14 20:29:44 +02:00 |
|
Ulrik Strid
|
07e39553a5
|
Merge pull request #247985 from ligolang/ligo--0_71_1
ligo: 0.69.0 -> 0.71.1
|
2023-08-14 14:38:07 +02:00 |
|
Ulrik Strid
|
6eb97ebbf9
|
ocamlPackages.linol: 2023-04-25 -> 2023-08-04
|
2023-08-14 12:54:18 +02:00 |
|
Weijia Wang
|
e01981cad3
|
Merge pull request #241404 from r-ryantm/auto-update/ocamlPackages.ssl
ocamlPackages.ssl: 0.5.13 -> 0.7.0
|
2023-08-13 18:40:24 +02:00 |
|
Weijia Wang
|
28ea69efc3
|
ocamlPackages.ssl: 0.6.0 -> 0.7.0
|
2023-08-13 17:52:44 +02:00 |
|
Mario Rodas
|
5ffd4ef382
|
ocamlPackages.odoc: 2.2.0 -> 2.2.1
Diff: https://github.com/ocaml/odoc/compare/2.2.0...2.2.1
Changelog: https://github.com/ocaml/odoc/blob/2.2.1/CHANGES.md
|
2023-08-13 16:46:39 +02:00 |
|
Vincent Laporte
|
abf1192620
|
ocamlPackages.camlpdf: 2.5 → 2.6
ocamlPackages.cpdf: 2.5.1 → 2.6
|
2023-08-11 08:36:27 +02:00 |
|
Vincent Laporte
|
8a584ba59f
|
ocamlPackages.kcas: init at 0.6.1
|
2023-08-10 21:59:57 +02:00 |
|
Vincent Laporte
|
d9b5ddcf05
|
ocamlPackages.domain-local-timeout: init at 0.1.0
|
2023-08-10 21:59:57 +02:00 |
|
Vincent Laporte
|
191539342a
|
ocamlPackages.mirage-clock: 3.1.0 → 4.2.0
|
2023-08-10 18:49:13 +02:00 |
|
r-vdp
|
6b3a4030de
|
Treewide: add meta.mainProgram
|
2023-08-07 18:12:29 +02:00 |
|