3500 Commits

Author	SHA1	Message	Date
Nick Cao	c0715b93db	Merge pull request #215824 from vbgl/ocaml-cfstream-1.3.2 ... ocamlPackages.cfstream: 1.3.1 → 1.3.2	2023-02-12 14:15:27 +08:00
Vincent Laporte	12f5b04c83	ocamlPackages.cfstream: 1.3.1 → 1.3.2	2023-02-11 13:50:06 +01:00
Vincent Laporte	b96ced6d9a	ocamlPackages.biocaml: use Dune 3	2023-02-11 13:50:06 +01:00
Vincent Laporte	7473ac950e	ocamlPackages.phylogenetics: use Dune 3	2023-02-11 13:49:56 +01:00
Vincent Laporte	daf0f2b3a1	ocamlPackages.lsp: fix build of version 1.4.1	2023-02-10 06:28:18 +01:00
Nick Cao	02e522d301	Merge pull request #215261 from vbgl/ocaml-rpclib-9.0.0 ... ocamlPackages.rpclib: 8.1.0 → 9.0.0	2023-02-09 09:02:52 +08:00
GenericNerdyUsername	fc50807657	ocamlPackages.sail: init at 0.15	2023-02-08 22:30:39 +00:00
GenericNerdyUsername	8205f9ac2f	ocamlPackages.linksem: init at 0.8	2023-02-08 22:30:35 +00:00
GenericNerdyUsername	7ff1dcdf74	ocamlPackages.lem: init at 2022-12-10	2023-02-08 22:30:12 +00:00
Vincent Laporte	95d4472f5d	ocamlPackages.rpclib: 8.1.0 → 9.0.0	2023-02-08 07:07:19 +01:00
Vincent Laporte	4c287d4196	ocamlPackages.rresult: disable for OCaml < 4.07	2023-02-08 07:01:45 +01:00
Weijia Wang	469723aefc	Merge pull request #215068 from vbgl/ocaml-sqlite3-fix ... ocamlPackages.sqlite3: disable for OCaml < 4.12 & use Dune 3	2023-02-07 16:55:44 +01:00
Weijia Wang	0a7a74b8a9	Merge pull request #214607 from vbgl/ocaml-irmin-3.5.1 ... ocamlPackages.irmin: 3.4.1 → 3.5.1	2023-02-07 16:53:53 +01:00
Weijia Wang	b6eac37960	Merge pull request #213932 from vbgl/ocaml-dune3 ... ocamlPackages.dune_3: enable for OCaml < 4.08	2023-02-07 07:30:22 +01:00
Vincent Laporte	8c60553edf	ocamlPackages.sqlite3: disable for OCaml < 4.12 & use Dune 3	2023-02-07 07:25:36 +01:00
Vincent Laporte	faf43fdbb3	ocamlPackages.uuuu: fix tests	2023-02-06 08:44:15 +01:00
Vincent Laporte	d1939fbea1	ocamlPackages.rosetta: use Dune 3	2023-02-06 08:44:08 +01:00
Vincent Laporte	b126f231af	ocamlPackages.ounit2: fix tests with OCaml < 4.07	2023-02-05 20:15:55 +01:00
Vincent Laporte	b93d92a3d4	ocamlPackages.irmin: 3.4.1 → 3.5.1	2023-02-04 22:14:35 +01:00
Vincent Laporte	3b3b487436	ocamlPackages.rusage: init at 1.0.0	2023-02-04 22:14:29 +01:00
Weijia Wang	86a6a291a5	ocamlPackages.lustre-v6: 6.107.1 -> 6.107.3	2023-02-03 11:07:14 +01:00
Ulrik Strid	f12b9ea461	buildDunePackage: default to strictDeps = true	2023-02-03 08:59:34 +01:00
Ulrik Strid	376e9ceead	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
Ulrik Strid	c53a63adf1	ocamlPackages treewide: strictDeps all packages	2023-02-03 08:59:34 +01:00
Ulrik Strid	55fbb1d20c	ocamlPackages.ocaml-r: 0.4.0 -> 0.6.0 (#213545)	2023-02-01 11:21:55 +01:00
Vincent Laporte	62a2cfe363	ocamlPackages.checkseum: use Dune 3	2023-02-01 09:20:52 +01:00
Vincent Laporte	98f36b2d74	ocamlPackages.dune_3: enable for OCaml < 4.08	2023-02-01 09:20:48 +01:00
Et7f3	c27ef7433d	ocamlPackages.pyml: fix test on darwin	2023-01-31 03:52:28 +01:00
Weijia Wang	a3da43c25e	Merge pull request #213520 from vbgl/alt-ergo-fix ... alt-ergo: fix src URL	2023-01-30 13:54:22 +01:00
Vincent Laporte	229ef3021c	ocamlPackages.psmt2-frontend: minor cleaning	2023-01-30 10:55:52 +01:00
Weijia Wang	1ec2dce631	Merge pull request #213521 from wegank/tsdl-darwin ... ocamlPackages.tsdl: fix build on darwin	2023-01-30 10:32:40 +01:00
Weijia Wang	605704fa22	ocamlPackages.tsdl: fix build on darwin	2023-01-30 08:30:29 +01:00
Vincent Laporte	f697326b03	ocamlPackages.decompress: 1.5.1 → 1.5.2	2023-01-30 07:26:52 +01:00
Vincent Laporte	7e0272c78e	ocamlPackages.carton: use Dune 3	2023-01-30 07:26:48 +01:00
Vincent Laporte	8303bef387	ocamlPackages.pbkdf: use Dune 3	2023-01-30 07:26:44 +01:00
Vincent Laporte	5b360aa5a4	ocamlPackages.x509: use Dune 3	2023-01-29 07:24:54 +01:00
Vincent Laporte	e17eb8b5e5	ocamlPackages.ca-certs-nss: 3.77 → 3.86	2023-01-29 07:24:49 +01:00
Vincent Laporte	e65d5f0d88	ocamlPackages.hkdf: use Dune 3	2023-01-29 07:22:09 +01:00
Vincent Laporte	5fe440a36a	ocamlPackages.awa: 0.1.0 → 0.1.1	2023-01-29 07:22:09 +01:00
Vincent Laporte	7a7c9f938c	ocamlPackages.mdx: 2.1.0 → 2.2.1	2023-01-28 08:45:30 +01:00
Weijia Wang	9469779ebe	Merge pull request #212910 from vbgl/ocaml-javalib-3.2.2 ... ocamlPackages.javalib: 3.2.1 → 3.2.2; sawja: 1.5.11 → 1.5.12	2023-01-28 04:10:20 +01:00
Artturi	c11e244d6e	Merge pull request #166450 from rgrinberg/topkg-1.0.5	2023-01-27 20:08:27 +02:00
Vincent Laporte	3968d0e5b9	ocamlPackages.sawja: 1.5.11 → 1.5.12	2023-01-27 07:34:16 +01:00
Vincent Laporte	8281faf75a	ocamlPackages.javalib: 3.2.1 → 3.2.2	2023-01-27 07:34:10 +01:00
Shawn8901	a59dda942c	treewide: remove global with lib; statements in pkgs/development	2023-01-26 18:31:02 +01:00
Weijia Wang	6dd632b2e5	ocamlPackages.lustre-v6: update hash	2023-01-26 15:50:29 +01:00
Weijia Wang	0d70a4119b	topkg: 1.0.3 -> 1.0.5	2023-01-26 05:28:49 +01:00
Weijia Wang	aece81e2d8	Merge pull request #184384 from r-ryantm/auto-update/ocaml4.13.1-ctypes ... ocamlPackages.ctypes: 0.20.0 -> 0.20.1	2023-01-26 05:23:39 +01:00
Weijia Wang	efecda5112	Merge pull request #211533 from vbgl/ocaml-gluten-0.3.0 ... ocamlPackages.gluten: 0.2.1 → 0.3.0	2023-01-26 04:22:31 +01:00
Weijia Wang	7b9a3310ac	Merge pull request #207685 from r-ryantm/auto-update/ocaml4.14.0-optint ... ocamlPackages.optint: 0.2.0 -> 0.3.0	2023-01-26 04:09:46 +01:00