Vincent Laporte
f6f5188f75
oacmlPackages.odate: make compatible with menhir ≥ 20211215
2022-06-05 15:44:28 +02:00
superherointj
13785fcc8f
ocamlPackages.tsdl-mixer: init 0.3.2
2022-06-01 07:30:47 +02:00
superherointj
174d0fbdda
ocamlPackages.tsdl-ttf: init 0.3.2
2022-06-01 07:30:47 +02:00
superherointj
b161742e86
ocamlPackages.tsdl-image: init 0.3.2
2022-06-01 07:30:47 +02:00
superherointj
5feacad694
ocamlPackages.tsdl: 0.9.7 -> 0.9.8
2022-06-01 07:30:47 +02:00
Ulrik Strid
a9ce8f1ef2
ocamlPackages.json-data-encoding: 0.10 -> 0.11
2022-05-31 13:32:40 +02:00
Ulrik Strid
d27cc392f0
ocamlPackages.resto: 0.6.1 -> 0.7
2022-05-31 13:32:40 +02:00
Vincent Laporte
ff74ad6db3
ocamlPackages.cooltt: unstable-2021-05-25 → unstable-2022-04-28
2022-05-29 14:57:07 +02:00
Vincent Laporte
a1e9a866e1
ocamlPackages.yuujinchou: init at 2.0.0
2022-05-29 14:57:07 +02:00
Vincent Laporte
f2be2aa1d5
ocamlPackages.bwd: init at 2.0.0
2022-05-29 14:57:07 +02:00
Vincent Laporte
b8186ef950
ocamlPackages.sedlex: 2.4 → 2.5
2022-05-29 08:48:00 +02:00
Vincent Laporte
5637570f51
ocamlPackages: rename sedlex_2 into sedlex
2022-05-29 08:48:00 +02:00
Vincent Laporte
c3e55aa79a
ocamlPackages.sedlex: remove at 1.99.5
2022-05-29 08:48:00 +02:00
Aaron L. Zeng
08a7dbcf88
ocamlPackages.tar*: 1.1.0 -> 2.0.1
2022-05-28 15:57:37 +02:00
Mario Rodas
3d6cf755ba
ocamlPackages.opam-file-format: 2.1.3 -> 2.1.4
...
https://github.com/ocaml/opam-file-format/releases/tag/2.1.4
2022-05-27 13:00:29 +02:00
Cyril Cohen
d113661156
coqPackages: etc
...
- put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies,
- use `propagatedBuildInputs` to make sure ocaml plugin dependencies are 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-25 20:00:25 +02:00
Ulrik Strid
fd5aea3c09
ocamlPackages.mirage-net: 3.0.1 -> 4.0.0
2022-05-25 13:03:45 +02:00
Vincent Laporte
25bfced875
ocamlPackages.tiny_httpd: init at 0.12
2022-05-25 09:21:52 +01:00
Ulrik Strid
b37e4c01b1
ocamlPackages.linenoise: 1.3.0 -> 1.3.1
2022-05-24 16:53:17 +02:00
Guillaume Girol
09f34965e2
Merge pull request #170297 from Julow/ocamlformat_0_21
...
Ocamlformat 0.21.0 and Cmdliner 1.1.1
2022-05-23 19:06:30 +00:00
Ulrik Strid
26e7906a96
ocamlPackages.hacl_x25519: 0.2.0 -> 0.2.2
2022-05-23 09:53:10 +02:00
Ulrik Strid
ad81f8dbef
ocamlPackages.faraday: 0.7.2 -> 0.8.1
2022-05-23 09:30:34 +02:00
Jules Aguillon
bcbbbea82e
ocamlPackages.cmdliner_1_0: Update license
...
License changed on version 1.0.0 from bsd3 to isc.
2022-05-22 20:58:24 +02:00
Jules Aguillon
5a61d18997
ocamlPackages.cmdliner_1_1: init at 1.1.1
...
Add the latest version of cmdliner. This release broke many packages and
have more constraining dependencies so the previous version cannot be
removed from nixpkgs for now.
The previous version is still available as ocamlPackages.cmdliner_1_0
and ocamlPackages.cmdliner points to it for now.
2022-05-22 20:58:20 +02:00
Ulrik Strid
266e665668
ocamlPackages.irmin-watcher: 0.4.1 -> 0.5.0
2022-05-22 12:06:53 +02:00
Ulrik Strid
13c8a6774d
ocamlPackages.ppx_cstubs: 0.6.1.2 -> 0.7.0
2022-05-22 11:27:27 +02:00
Daniel Løvbrøtte Olsen
9c4c9f5884
ocamlPackages.gd4o: init at 1.0a5 ( #169226 )
2022-05-22 10:09:35 +02:00
Vincent Laporte
aba7099e7c
ocamlPackages.x509: 0.15.2 → 0.16.0
2022-05-21 16:57:40 +02:00
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