Malo Bourgon
ba54ba9316
ocamlPackages: add meta.mainProgram to packages with multiple executables
...
where none of the executables match the package's `name` or `pname`, and
one of the executables is the obvious `mainProgram`.
2022-05-20 10:13:29 +02:00
Malo Bourgon
ef3bf2e602
ocamlPackages.awa,ocamlPackages.awa-lwt: correct meta.mainProgram
2022-05-20 10:13:29 +02:00
Malo Bourgon
ab44808c8e
ocamlPackages.atdgen: correct meta.mainProgram
2022-05-20 10:13:29 +02:00
Vincent Laporte
6878885f3f
ocamlPackages.genspio: 0.0.2 → 0.0.3
2022-05-19 14:17:06 +02:00
Sandro
ed58443645
Merge pull request #173172 from Artturin/deprecatestringconf
...
stdenv: start deprecating non-list configureFlags
2022-05-19 11:25:24 +02:00
Vincent Laporte
4ca72ffe4e
ocamlPackages.lwt: 5.4.1 → 5.5.0
2022-05-18 23:54:37 +02:00
Artturin
cf7476804a
treewide: convert string configureFlags to list of strings
2022-05-18 20:32:33 +03:00
Lassulus
e3df4655af
Merge pull request #165620 from StridBot/auto-update/ocaml4.13.1-graphql_ppx
...
ocamlPackages.graphql_ppx: 1.2.0 -> 1.2.2
2022-05-18 11:22:53 +02:00
Vincent Laporte
4b0da1885f
ocamlPackages.easy-format: 1.3.2 → 1.3.3
2022-05-17 08:55:12 +02:00
Vincent Laporte
a882fd2c36
ocamlPackages.labltk: add version 8.06.12 for OCaml 4.14
2022-05-15 17:06:27 +02:00
toastal
2fc228efaf
ocamlPackages.otoml: 0.9.0 → 1.0.1; soupault: 3.2.0 → 4.0.0 ( #173032 )
...
* ocamlPackages.otoml: 0.9.0 → 1.0.1
* soupault: 3.2.0 → 4.0.0
> toastal: I'm switching the OPAM tarball link to codeberg for 4.0.0
— dmbaturin, #soupault Libera.Chat
As directed by the maintainer, the releases will now point to the
Codeberg Gitea Git forge instance. This is a win for open source code
platforms and users as they will not need to interact with a
proprietary code forge!
2022-05-14 21:14:53 +02:00
Malo Bourgon
f7ef6329bb
ocamlPackages: add meta.mainProgram to many packages
2022-05-14 11:31:07 +02:00
superherointj
02bd4336d9
ocamlPackages.telegraml: init unstable-2021-06-17
2022-05-13 16:26:01 +02:00
superherointj
6925d06dd1
ocamlPackages.reperf: add printbox-text to propagatedBuildInputs
2022-05-13 15:58:22 +02:00
Vincent Laporte
1f11888116
Revert "coqPackages: etc"
...
This reverts commit 7e589a45ef
2022-05-13 06:47:14 +02:00
Cyril Cohen
7e589a45ef
coqPackages: etc
...
- use propagatedBuildInputs to make sure ocaml plugin stuff is in path
- updated coqPackage.heq (broken url)
- fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation
- adding `COQCORELIB` environement variable to put ocaml plugin files in the right place
- make metaFetch available from `coqPackages`
2022-05-12 06:11:43 +02:00
Malo Bourgon
bca4ad0487
ocamlPackages: inherit ocaml.meta.platforms
2022-05-11 09:02:37 +02:00
Malo Bourgon
b1de4bf60f
ocamlPackages: add meta.mainProgram to many packages
2022-05-11 09:02:37 +02:00
Vincent Laporte
fa04419da0
ocamlPackages.cryptokit: 1.16.1 → 1.17
2022-05-10 17:47:59 +02:00
Vincent Laporte
10bb8b1818
ocamlPackages.easy-format: 1.2.0 → 1.3.2
2022-05-10 13:24:09 +02:00
Vincent Laporte
f3ef66220b
ocamlPackages.biniou: remove legacy version 1.0.9 for OCaml < 4.02
2022-05-10 13:24:09 +02:00
Vincent Laporte
29d63a169a
ocamlPackages.js_of_ocaml: 3.11.0 → 4.0.0
...
ocamlPackages.incr_dom: fix for JSoO 4.0
ocamlPackages.ocsigen-toolkit: 3.1.1 → 3.2.0
2022-05-06 10:26:40 +02:00
Vincent Laporte
deb70bd200
ocamlPackages.uuuu: 0.2.0 → 0.3.0
2022-05-03 07:53:51 +02:00
Guillaume Girol
0e6265e8f2
Merge pull request #170142 from symphorien/ocaml-lsp-update-2
...
ocaml-lsp update
2022-05-01 16:54:33 +00:00
Vincent Laporte
100e796af2
ocamlPackages.{atd,atdgen}: 2.2.1 → 2.4.1
2022-04-29 09:38:28 +02:00
Vincent Laporte
5a90feb76a
ocamlPackages.atdgen-runtime: init at 2.4.1
2022-04-29 09:38:28 +02:00
Vincent Laporte
ae9b63301b
ocamlPackages.atdgen-codec-runtime: init at 2.4.1
2022-04-29 09:38:28 +02:00
Vincent Laporte
1904202908
ocamlPackages.camlp-streams: init at 5.0
2022-04-29 09:38:28 +02:00
Vincent Laporte
510428b8d2
ocamlPackages.ocsigen-start: 4.5.0 → 6.0.1
2022-04-28 07:23:18 +02:00
Vincent Laporte
c93c2c59a5
ocamlPackages.ocsigen-ppx-rpc: init at 1.0
2022-04-28 07:23:18 +02:00
Ulrik Strid
6cf368ed0e
ocamlPackages.tezos: remove
2022-04-27 22:23:09 -04:00
Guillaume Girol
0fce8802fb
ocamlPackages.dune-action-plugin: fix conflict with vendored csexp
2022-04-26 22:01:25 +02:00
Guillaume Girol
58db7de3af
ocamlPackages.dune-glob: fix conflict with vendored csexp
2022-04-26 22:01:25 +02:00
Guillaume Girol
da8455d317
ocamlPackages.dune-site: fix conflict with vendored csexp
2022-04-26 22:01:25 +02:00
Guillaume Girol
0843cfa142
ocamlPackages.dune-site: fix conflict with vendored csexp
2022-04-26 22:01:25 +02:00
Guillaume Girol
761fd7899d
ocamlPackages.ocamlformat-rpc-lib: downgrade for ocaml <= 4.12
...
required for ocaml-lsp
2022-04-26 22:01:25 +02:00
Guillaume Girol
c0b6df2b86
ocamlPackages.ocaml-lsp: update
...
4.14 version is untested as ppxlib does not compile
2022-04-26 22:01:24 +02:00
Guillaume Girol
5063e680eb
ocamlPackages.xdg: init at ${dune_3.version}
2022-04-26 22:01:24 +02:00
Guillaume Girol
92e9415880
ocamlPackages.fiber: init at ${dune_3.version}
2022-04-26 22:00:57 +02:00
Guillaume Girol
4b55b3809e
ocamlPackages.dune-rpc: init at ${dune_3.version}
2022-04-26 21:50:24 +02:00
Guillaume Girol
43dc4612b0
ocamlPackages.stdune: don't be incompatible with our version of csexp
...
upstream does that as well:
8bc4e7e5f4/ocaml/dune/stdune.nix (L11)
2022-04-26 21:50:24 +02:00
Guillaume Girol
7398520e8d
ocamlPackages.ocamlformat-rpc-lib: 0.19.0 -> 0.21.0
2022-04-26 21:50:23 +02:00
Anders Kaseorg
6920d8ca42
treewide: Simplify negated uses of versionAtLeast, versionOlder
...
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2022-04-25 13:35:24 -07:00
Armeen Mahdian
4e4feb0e06
ocamlPackages.llvm: switch to python3
2022-04-23 13:40:33 +02:00
superherointj
5e2b2659dc
ocamlPackages.reperf: init 1.5.1
2022-04-22 14:46:33 +02:00
Ulrik Strid
165da7245c
ocamlPackages.caqti: 1.7.0 -> 1.8.0
2022-04-22 13:58:12 +02:00
Ulrik Strid
9ff2c0035f
ocamlPackages.alcotest: 1.4.0 -> 1.5.0
2022-04-22 13:58:12 +02:00
StridBot
b1eef8c0f0
ocamlPackages.toml: 6.0.0 -> 7.0.0 ( #165676 )
2022-04-20 21:50:03 +02:00
Lassulus
dc452c5989
Merge pull request #161676 from r-ryantm/auto-update/ocaml4.12.0-ctypes
...
ocamlPackages.ctypes: 0.18.0 -> 0.20.0
2022-04-20 17:20:21 +01:00
Ulrik Strid
a7e62c21c1
ocamlPackages.pure-splitmix: init at 0.3
2022-04-20 11:37:19 +02:00
