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
Ulrik Strid
3540cc8d16
ocamlPackages.hacl-star-raw: fix aarch64-darwin
2022-04-20 10:31:08 +02:00
superherointj
ab0788c8f5
ocamlPackages.flex: init unstable-2020-09-12
2022-04-20 09:41:27 +02:00
superherointj
efd13315f7
ocamlPackages.brisk-reconciler: init unstable-2020-12-02
2022-04-20 07:22:10 +02:00
superherointj
b2b02f3026
ocamlPackages.rebez: init unstable-2019-06-20
2022-04-19 10:23:56 +02:00
Daniel Olsen
ee122a3337
ocamlPackages.ffmpeg: 1.1.0 -> 1.1.3
2022-04-18 22:20:11 +02:00
Aaron L. Zeng
3a510ac1ce
ocamlPackages.bap: 2.2.0 -> 2.4.0
2022-04-18 21:53:30 +02:00
Aaron L. Zeng
78d682f23e
ocamlPackages.frontc: 3.4.1 -> 4.1.0
2022-04-18 21:53:30 +02:00
Daniel Olsen
2d1cfba349
ocamlPackages.dssi: init at 0.1.5
2022-04-18 16:06:31 +02:00
Daniel Olsen
0c7af2f43d
ocamlPackages.ladspa: init at 0.2.2
2022-04-18 16:06:31 +02:00
Daniel Olsen
0a44fe4dae
ocamlPackages.lastfm: init at 0.3.3
2022-04-18 15:54:38 +02:00
