Commit Graph

6525 Commits

Author SHA1 Message Date
Ulrik Strid
d67e1c5343 Merge pull request #257986 from vbgl/ocaml-containers-3.12
ocamlPackages.containers: 3.11 → 3.12
2023-10-04 07:58:40 +02:00
Ulrik Strid
82d197dc63 Merge pull request #258757 from vbgl/ocaml-decompress-1.5.3
ocamlPackages.decompress: 1.5.2 → 1.5.3
2023-10-04 07:56:59 +02:00
Ali Caglayan
3e7588658e ocamlPackages.pp: 1.1.2 -> 1.2.0
Signed-off-by: Ali Caglayan <alizter@gmail.com>
2023-10-03 23:25:00 +01:00
Ulrik Strid
d30afdf089 Merge pull request #257704 from ligolang/ligo--1_0_0
ligo: 0.72.0 -> 1.0.0
2023-10-03 21:43:33 +02:00
Mario Rodas
c6e3bbc550 ocamlPackages.ppx_lun: init at 0.0.1 2023-10-03 13:16:41 +02:00
Mario Rodas
0c1938bfd9 ocamlPackages.lun: init at 0.0.1 2023-10-03 13:16:41 +02:00
Vincent Laporte
71c4eea317 ocamlPackages.decompress: 1.5.2 → 1.5.3 2023-10-03 10:05:40 +02:00
Vincent Laporte
8121c7a31c ocamlPackages.checkseum: 0.4.0 → 0.5.2 2023-10-03 08:32:46 +02:00
Vincent Laporte
562ced5399 ocamlPackages.ocsigen_server: 5.0.1 → 5.1.0
ocamlPackages.eliom: 9.4.0 → 10.1.0

ocamlPackages.ocsigen-start: 6.0.1 → 6.1.0
2023-10-02 21:27:33 +02:00
Vincent Laporte
b56f06f3e8 ocamlPackages.camomile: 1.0.2 → 2.0.0 2023-10-02 08:21:20 +02:00
Vincent Laporte
35fc5a6b76 ocamlPackages.re: 1.10.4 → 1.11.0 2023-09-29 21:32:39 +02:00
Ulrik Strid
f1e7c63477 ocamlPackages.msgpck: init at 1.7 2023-09-29 11:08:08 +02:00
Vincent Laporte
9784de7909 ocamlPackages.containers: 3.11 → 3.12 2023-09-29 08:16:05 +02:00
Vincent Laporte
82aaf63703 alt-ergo: 2.4.3 → 2.5.1
ocamlPackages.ocplib-simplex: 0.4 → 0.5
2023-09-29 06:43:44 +02:00
Ulrik Strid
0f74397fee Merge pull request #241493 from Julow/ocaml-odig-init
odig: Init at 0.0.9
2023-09-28 17:03:00 +02:00
Vincent Laporte
3dfaa2a965 ocamlPackages.apron: don’t strip libraries on darwin
See https://github.com/antoinemine/apron/issues/93
2023-09-28 12:49:51 +02:00
Jules Aguillon
b94953dbd4 odig: Init at 0.0.9
Odig is a tool for building the documentation of OCaml libraries. It is
described with the recent `buildTopkgPackage` function.
2023-09-28 12:03:20 +02:00
Jules Aguillon
499149ef95 ocamlPackages.b0: Init at 0.0.5
The recent package is a dependency for odig.
2023-09-28 12:03:18 +02:00
Vincent Laporte
ce037d233e ocamlPackages.mdx: 2.3.0 → 2.3.1 2023-09-28 10:09:45 +02:00
Vincent Laporte
e7a162f48a ocamlPackages.apron: enable PPLite support 2023-09-28 07:33:52 +02:00
Vincent Laporte
86f5431801 ocamlPackages.apron: 0.9.13 → 0.9.14 2023-09-28 07:33:52 +02:00
Vincent Laporte
0f96276d78 ocamlPackages.higlo: 0.8 → 0.9 2023-09-27 10:43:07 +02:00
Ben Darwin
4d3a8e215a ocamlPackages.parany: 13.0.1 -> 14.0.0 2023-09-27 09:56:06 +02:00
Jules Aguillon
32a2a0852c Link version for ocamlformat{,-lib,-rpc-lib}
The default (latest) version is now defined in 'generic.nix' and is the
same for the three packages.

'ocamlformat-rpc-lib' is no longer defined separately and also use the
latest version as a default.
2023-09-26 16:28:44 +02:00
Jules Aguillon
1bef913e8c ocamlPackages.ocamlformat-rpc-lib: 0.26.0 → 0.26.1 2023-09-26 16:09:45 +02:00
Jules Aguillon
e0c25ec2bd ocamlPackages.ocamlformat: 0.26.0 → 0.26.1 2023-09-26 16:07:27 +02:00
Vincent Laporte
044b1b65fd ocamlPackages.qcheck: 0.20 → 0.21.2 2023-09-26 08:51:59 +02:00
toastal
058d9b8ff5 ocamlPackages.ocolor: init at 1.3.1 2023-09-25 20:52:30 +02:00
Vincent Laporte
48e2e83db5 ocamlPackages.ptime: fix evaluation
Evaluation must fail and not silently return the bogus null value.
2023-09-25 06:58:20 +02:00
Silvan Mosberger
390a4247e0 Merge pull request #255512 from nbraud/sha512-to-hash
treewide: sha512 → hash
2023-09-24 00:03:31 +02:00
nicoo
fab52fca51 treewide: sha512 → hash 2023-09-22 18:37:42 +02:00
Weijia Wang
35892c0b59 ocamlPackages.lustre-v6: 6.107.3 -> 6.107.4 2023-09-21 11:18:06 +02:00
Vincent Laporte
d86d9f30b1 ocamlPackages.ca-certs-nss: 3.86 → 3.92 2023-09-21 07:17:58 +02:00
Vincent Laporte
b802bf0b95 ocamlPackages.ocaml-migrate-parsetree-2: disable for OCaml ≥ 5.1 2023-09-21 07:17:58 +02:00
Vincent Laporte
fe16955be7 ocamlPackages.dolmen: 0.6 → 0.9 2023-09-20 06:57:49 +02:00
Vincent Laporte
46b9ee34e4 ocamlPackages.dolmen_loop: init at 0.6 2023-09-20 06:57:49 +02:00
Vincent Laporte
24d7dda90a ocamlPackages.dolmen_type: init at 0.6 2023-09-20 06:57:49 +02:00
Ulrik Strid
5164552aa4 Merge pull request #255822 from vbgl/ocaml-batteries-3.7.1
ocamlPackages.batteries: 3.6.0 → 3.7.1
2023-09-19 17:05:14 +02:00
Vincent Laporte
3dd248db21 ocamlPackages.ocamlgraph: 2.0.0 → 2.1.0 2023-09-19 07:37:27 +02:00
Vincent Laporte
c7d62eecb9 ocamlPackages.batteries: enable tests on AArch64 2023-09-18 08:55:03 +02:00
Vincent Laporte
fefd0ab1c1 ocamlPackages.batteries: 3.6.0 → 3.7.1 2023-09-18 08:55:03 +02:00
Vincent Laporte
443321aed2 ocamlPackages.telegraml: prepare for batteries 3.7.1 2023-09-18 08:55:02 +02:00
Vincent Laporte
3807ab2407 ocamlPackages.ocaml-protoc: 2.0.2 → 2.4 2023-09-14 08:42:12 +02:00
Ulrik Strid
a49bf2346b Merge pull request #253505 from vbgl/ocaml-tar-2.5.1
ocamlPackages.tar: 2.2.2 → 2.5.1
2023-09-12 20:24:15 +02:00
Vincent Laporte
2bbe1e437d ocamlPackages.pp_loc: init at 2.1.0 2023-09-11 05:48:29 +02:00
Ulrik Strid
0f568acbef Merge pull request #254003 from vbgl/ocaml-5.1.0
ocaml-ng.ocamlPackages_5_1.ocaml: init at 5.1.0-rc3
2023-09-09 21:04:17 +02:00
Vincent Laporte
d1f1457e3f ocamlPackages.tls: 0.16.0 → 0.17.1
jackline: 2023-02-24 → 2023-03-09
2023-09-08 12:04:31 +02:00
Vincent Laporte
b787aa207f ocaml-ng.ocamlPackages_5_1.ocaml: init at 5.1.0-rc3 2023-09-08 11:50:46 +02:00
Vincent Laporte
75900df417 ocamlPackages.awa: remove spurious dependency 2023-09-08 11:50:46 +02:00
Vincent Laporte
90fcbd21f6 ocamlPackages.tar: 2.2.2 → 2.5.1 2023-09-05 21:49:41 +02:00