ad81f8dbef
ocamlPackages.faraday: 0.7.2 -> 0.8.1
2 years ago
266e665668
ocamlPackages.irmin-watcher: 0.4.1 -> 0.5.0
2 years ago
13c8a6774d
ocamlPackages.ppx_cstubs: 0.6.1.2 -> 0.7.0
2 years ago
9c4c9f5884
ocamlPackages.gd4o: init at 1.0a5 ( #169226 )
2 years ago
aba7099e7c
ocamlPackages.x509: 0.15.2 → 0.16.0
2 years ago
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`.
2 years ago
ef3bf2e602
ocamlPackages.awa,ocamlPackages.awa-lwt: correct meta.mainProgram
2 years ago
ab44808c8e
ocamlPackages.atdgen: correct meta.mainProgram
2 years ago
6878885f3f
ocamlPackages.genspio: 0.0.2 → 0.0.3
2 years ago
4ca72ffe4e
ocamlPackages.lwt: 5.4.1 → 5.5.0
2 years ago
cf7476804a
treewide: convert string configureFlags to list of strings
2 years ago
4b0da1885f
ocamlPackages.easy-format: 1.3.2 → 1.3.3
2 years ago
a882fd2c36
ocamlPackages.labltk: add version 8.06.12 for OCaml 4.14
2 years ago
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!
2 years ago
f7ef6329bb
ocamlPackages: add meta.mainProgram to many packages
2 years ago
02bd4336d9
ocamlPackages.telegraml: init unstable-2021-06-17
2 years ago
6925d06dd1
ocamlPackages.reperf: add printbox-text to propagatedBuildInputs
2 years ago
1f11888116
Revert "coqPackages: etc"
...
This reverts commit 7e589a45ef
2 years ago
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`
2 years ago
bca4ad0487
ocamlPackages: inherit ocaml.meta.platforms
2 years ago
b1de4bf60f
ocamlPackages: add meta.mainProgram to many packages
2 years ago
fa04419da0
ocamlPackages.cryptokit: 1.16.1 → 1.17
2 years ago
10bb8b1818
ocamlPackages.easy-format: 1.2.0 → 1.3.2
2 years ago
f3ef66220b
ocamlPackages.biniou: remove legacy version 1.0.9 for OCaml < 4.02
2 years ago
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
2 years ago
deb70bd200
ocamlPackages.uuuu: 0.2.0 → 0.3.0
2 years ago
100e796af2
ocamlPackages.{atd,atdgen}: 2.2.1 → 2.4.1
2 years ago
5a90feb76a
ocamlPackages.atdgen-runtime: init at 2.4.1
2 years ago
ae9b63301b
ocamlPackages.atdgen-codec-runtime: init at 2.4.1
2 years ago
1904202908
ocamlPackages.camlp-streams: init at 5.0
2 years ago
510428b8d2
ocamlPackages.ocsigen-start: 4.5.0 → 6.0.1
2 years ago
c93c2c59a5
ocamlPackages.ocsigen-ppx-rpc: init at 1.0
2 years ago
6cf368ed0e
ocamlPackages.tezos: remove
2 years ago
0fce8802fb
ocamlPackages.dune-action-plugin: fix conflict with vendored csexp
2 years ago
58db7de3af
ocamlPackages.dune-glob: fix conflict with vendored csexp
2 years ago
da8455d317
ocamlPackages.dune-site: fix conflict with vendored csexp
2 years ago
0843cfa142
ocamlPackages.dune-site: fix conflict with vendored csexp
2 years ago
761fd7899d
ocamlPackages.ocamlformat-rpc-lib: downgrade for ocaml <= 4.12
...
required for ocaml-lsp
2 years ago
c0b6df2b86
ocamlPackages.ocaml-lsp: update
...
4.14 version is untested as ppxlib does not compile
2 years ago
5063e680eb
ocamlPackages.xdg: init at ${dune_3.version}
2 years ago
92e9415880
ocamlPackages.fiber: init at ${dune_3.version}
2 years ago
4b55b3809e
ocamlPackages.dune-rpc: init at ${dune_3.version}
2 years ago
43dc4612b0
ocamlPackages.stdune: don't be incompatible with our version of csexp
...
upstream does that as well:
8bc4e7e5f4/ocaml/dune/stdune.nix (L11)
2 years ago
7398520e8d
ocamlPackages.ocamlformat-rpc-lib: 0.19.0 -> 0.21.0
2 years ago
6920d8ca42
treewide: Simplify negated uses of versionAtLeast, versionOlder
...
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2 years ago
4e4feb0e06
ocamlPackages.llvm: switch to python3
2 years ago
5e2b2659dc
ocamlPackages.reperf: init 1.5.1
2 years ago
165da7245c
ocamlPackages.caqti: 1.7.0 -> 1.8.0
2 years ago
9ff2c0035f
ocamlPackages.alcotest: 1.4.0 -> 1.5.0
2 years ago
b1eef8c0f0
ocamlPackages.toml: 6.0.0 -> 7.0.0 ( #165676 )
2 years ago
Ulrik Strid