Daniel Olsen
174c0a086e
ocamlPackages.cry: init at 0.6.5
2022-06-08 15:21:27 +02:00
Vincent Laporte
f7373e4932
ocamlPackages.elpi: 1.15.0 → 1.15.2
...
Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
2022-06-08 09:46:41 +02:00
Vincent Laporte
18aaa33f07
ocamlPackages.elpi: 1.14.1 → 1.15.0
2022-06-08 09:46:41 +02:00
Daniel Olsen
ab7173f6db
ocamlPackages.srt: 0.1.1 -> 0.2.1
2022-06-07 11:45:32 +02:00
Daniel Olsen
cb26845685
ocamlPackages.posix-time2: init at 2.0.0
2022-06-07 09:24:55 +02:00
Daniel Olsen
50cac6ed5e
ocamlPackages.unix-errno: init at 0.6.1
2022-06-07 09:24:55 +02:00
Daniel Olsen
5a862299e0
ocamlPackages.mm: init at 0.8.1
2022-06-06 17:50:38 +02:00
Daniel Olsen
fbfd28e8ac
ocamlPackages.mad: init at 0.5.2
2022-06-06 17:50:38 +02:00
Daniel Olsen
5e76c6961d
ocamlPackages.ao: init at 0.2.4
2022-06-06 17:50:38 +02:00
Daniel Olsen
60ff8d2306
ocamlPackages.magic: init at 0.7.3
2022-06-05 20:26:36 +02:00
Daniel Olsen
11208c6400
ocamlPackages.lo: init at 0.2.0
2022-06-05 20:26:36 +02:00
Daniel Olsen
85665ca9d4
ocamlPackages.duppy: init at 0.9.2
2022-06-05 20:26:36 +02:00
Daniel Olsen
f3c53f430f
ocamlPackages.dtools: init at 0.4.4
2022-06-05 20:26:36 +02:00
Daniel Olsen
7ed016627f
ocamlPackages.pulseaudio: init at 0.1.5
2022-06-05 18:44:59 +02:00
Daniel Olsen
754433d82a
ocamlPackages.portaudio: init at 0.2.3
2022-06-05 18:44:59 +02:00
Daniel Olsen
e5031b839b
ocamlPackages.gstreamer: init at 0.3.1
2022-06-05 18:44:59 +02:00
Daniel Olsen
e5b2c5f447
ocamlPackages.alsa: init at 3.0.0
2022-06-05 18:44:59 +02:00
Vincent Laporte
81008f02c4
ocamlPackages.menhir: 20211128 → 20220210
2022-06-05 15:44:28 +02:00
Vincent Laporte
0a91054a94
oacmlPackages.toml: make compatible with menhir ≥ 20211215
2022-06-05 15:44:28 +02:00
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
