Commit Graph

3576 Commits

Author SHA1 Message Date
Vincent Laporte
5350e7282d
ocamlPackages.gen: 1.0 → 1.1 2023-03-21 13:05:59 +01:00
Vincent Laporte
942e6fd471
ocamlPackages.sedlex: use Dune 3 2023-03-21 13:05:56 +01:00
Vincent Laporte
48549020fc
ocamlPackages.iri: use Dune 3 2023-03-21 13:05:50 +01:00
Vincent Laporte
4263071ee0
ocamlPackages.xtmpl: use Dune 3 2023-03-21 13:05:46 +01:00
Vincent Laporte
afd961fa80
ocamlPackages.higlo: use Dune 3 2023-03-21 13:05:42 +01:00
Vincent Laporte
e12230e716
why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986)
why3: 1.5.1 → 1.6.0
ocamlPackages.lambdapi: 2.2.1 → 2.3.1

Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
2023-03-20 20:45:47 +01:00
Ulrik Strid
8501a1645a
Merge pull request #221971 from vbgl/ocaml-containers-3.11
ocamlPackages.containers: 3.10 → 3.11
2023-03-20 15:54:17 +01:00
Vincent Laporte
832ce14a21
ocamlPackages.csv: fix for OCaml ≥ 5.0 2023-03-20 07:49:06 +01:00
Vincent Laporte
edf81049b1
ocaml-ng.ocamlPackages_4_01_0.csv: remove at 1.5 2023-03-20 07:48:59 +01:00
Ali Caglayan
2484b9e3b8
ocamlPackages.lwd: init at 0.3 (#221929)
Added libraries
 - lwd
 - nottui
 - nottui-lwt
 - nottui-pretty
 - tyxml-lwd

Which are all part of the lwd sources. This fixes #136208.

<!-- ps-id: 5829ef03-e5f8-4ecc-9432-4777e95ca092 -->

Signed-off-by: Ali Caglayan <alizter@gmail.com>
2023-03-19 23:34:21 +01:00
Vincent Laporte
79fa97caa3
ocamlPackages.containers: 3.10 → 3.11 2023-03-19 08:53:44 +01:00
Vincent Laporte
f05c5da8e0
ocamlPackages.ppx_cstubs: use Dune 3 2023-03-19 08:53:37 +01:00
Vincent Laporte
eacf840bca
ocamlPackages.pgocaml: 4.2.2-dev-20210111 → 4.3.0 2023-03-18 13:26:25 +01:00
superherointj
c3e12e57c3
Merge pull request #221443 from vbgl/ocaml-data-encoding-0.6
ocamlPackages.data-encoding: 0.5.3 → 0.6
2023-03-16 15:00:02 -03:00
superherointj
194c2aa446
Merge pull request #220790 from vbgl/ocaml-terminal_size-0.2.0
ocamlPackages.terminal_size: 0.1.4 → 0.2.0
2023-03-16 14:26:55 -03:00
superherointj
c15d6fb82e
Merge pull request #220666 from vbgl/ocaml-psq-0.2.1
ocamlPackages.psq: 0.2.0 → 0.2.1
2023-03-16 14:24:19 -03:00
Vincent Laporte
9a82495045
ocamlPackages.data-encoding: 0.5.3 → 0.6 2023-03-16 09:18:41 +01:00
Weijia Wang
c7bf74ae68
Merge pull request #221124 from vbgl/ocaml-spelll-0.4
ocamlPackages.spelll: 0.3 → 0.4
2023-03-16 00:13:48 +02:00
Vincent Laporte
6e0a772558
ocamlPackages.routes: 1.0.0 → 2.0.0 2023-03-15 06:47:29 +01:00
superherointj
1c03223e5c
Merge pull request #220543 from vbgl/ocaml-duration-0.2.1
ocamlPackages.duration: 0.2.0 → 0.2.1
2023-03-14 21:25:48 -03:00
Vincent Laporte
7c21cff357
ocamlPackages.duration: 0.2.0 → 0.2.1 2023-03-14 13:26:43 +01:00
Vincent Laporte
8971fdbc3c
ocamlPackages.metrics: use Dune 3 2023-03-14 13:26:43 +01:00
Vincent Laporte
2ac2434fe0
ocamlPackages.mirage-unix: use Dune 3 2023-03-14 13:26:43 +01:00
Vincent Laporte
2a9ab2a967
ocamlPackages.mirage-vnetif: use Dune 3 2023-03-14 13:26:43 +01:00
Vincent Laporte
50a35f7c20
ocamlPackages.happy-eyeballs: use Dune 3 2023-03-14 13:26:42 +01:00
Vincent Laporte
8122f3ef0d
ocamlPackages.alcotest-mirage: use Dune 3 2023-03-14 13:26:42 +01:00
Vincent Laporte
629c0fbcad
ocamlPackages.mirage-time: use Dune 3 2023-03-14 13:26:42 +01:00
Vincent Laporte
86e0419e24
ocamlPackages.spelll: 0.3 → 0.4 2023-03-14 08:38:50 +01:00
Vincent Laporte
affd0de2be ocamlPackages.gmetadom: remove at 0.2.6 2023-03-13 07:42:02 +01:00
Vincent Laporte
53e2791168 ocamlPackages.gmetadom: disable for OCaml ≥ 4.14
gmetadom is not compatible with GCC 12 & OCaml 4.14
2023-03-13 07:42:02 +01:00
Vincent Laporte
9af7d1794e
ocamlPackages.terminal_size: 0.1.4 → 0.2.0 2023-03-12 09:01:53 +01:00
Vincent Laporte
94f176a4e3
ocamlPackages.psq: 0.2.0 → 0.2.1 2023-03-11 14:42:13 +01:00
Vincent Laporte
a4c00abde4
ocamlPackages.lru: use Dune 3 2023-03-11 14:42:07 +01:00
Antonio Nuno Monteiro
a48e7da55a ocamlPackages.ffmpeg-avdevice: add missing AVFoundation library on macOS 2023-03-10 21:10:14 -08:00
Vincent Laporte
da8360869d
ocamlPackages.letsencrypt-mirage: init at 0.5.0 2023-03-09 18:19:20 +01:00
Vincent Laporte
b9e07a88a2
ocamlPackages.mirage-crypto: use Dune 3 2023-03-09 18:19:14 +01:00
Vincent Laporte
28716c5794
ocamlPackages.chacha: use Dune 3 2023-03-09 18:19:09 +01:00
Vincent Laporte
92cebed2f9
ocamlPackages.http-mirage-client: init at 0.0.2 2023-03-09 18:18:59 +01:00
Théo Zimmermann
92d2950194 ocamlPackages.mirage-crypto: 0.10.7 -> 0.11.0
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2023-03-09 15:24:25 +01:00
Vincent Laporte
099dccddc9 ocamlPackages.mirage-kv: 3.0.1 → 4.0.1 2023-03-09 07:22:27 +01:00
Vincent Laporte
4fb55b055d ocamlPackages.mirage-fs: use Dune 3 2023-03-09 07:22:27 +01:00
Vincent Laporte
b13286ad02 ocamlPackages.mirage-protocols: 5.0.0 → 8.0.0 2023-03-07 08:37:31 +01:00
Vincent Laporte
7fa20e70ea ocamlPackages.mirage-stack: 2.2.0 → 4.0.0 2023-03-07 08:37:31 +01:00
Vincent Laporte
9550348c1a ocamlPackages.{arp,ethernet,tcpip}: some cleaning 2023-03-07 08:37:31 +01:00
Weijia Wang
bafd084ffe
Merge pull request #218933 from vbgl/ocaml-elina-fix
ocamlPackages.elina: fixup build by using older make
2023-03-06 22:56:39 +02:00
Weijia Wang
1bc51c384c
Merge pull request #219585 from vbgl/ocaml-ocaml-freestanding-broken
ocamlPackages.ocaml-freestanding: mark as broken
2023-03-06 22:53:49 +02:00
Vincent Laporte
1bf51415ba
ocamlPackages.camlimages_4_2_4: remove broken 2023-03-06 18:23:23 +01:00
Mario Rodas
684306b246 ocamlPackages.sedlex: 3.0 -> 3.1
https://github.com/ocaml-community/sedlex/releases/tag/v3.1
2023-03-06 06:11:33 +00:00
Vincent Laporte
a3f3ede0cf
ocamlPackages.ocaml-freestanding: mark as broken 2023-03-04 22:30:38 +00:00
Mario Rodas
18819f9228 ocamlPackages.fiber: move source to repository 2023-03-03 04:20:00 +00:00