nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-28 16:43:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
429,310 Commits 186 Branches 125 Tags 9.4 GiB
06884e02ba
Commit Graph

3309 Commits

Author SHA1 Message Date
Vincent Laporte
d97e1645ac ocamlPackages.async_smtp: require OCaml ≥ 4.12 2022-07-28 09:15:12 +02:00
Jules Aguillon
1afb55692d ocamlPackages.odoc-parser: 1.0.0 -> 2.0.0 
Switch the default version to the lastest.
 2022-07-26 13:33:49 +02:00
Jules Aguillon
6d559df867 ocamlPackages.odoc-parser: init 1.0.1 & 2.0.0 2022-07-26 13:33:49 +02:00
Vincent Laporte
77b84010cd
ocamlPackages.biocaml: disable for OCaml < 4.11 2022-07-26 09:24:06 +02:00
superherointj
919759dc0d
Merge pull request #182319 from vbgl/ocaml-metrics-0.4.0 
ocamlPackages.metrics: 0.2.0 → 0.4.0
 2022-07-25 23:40:23 -03:00
Vincent Laporte
3131757b9f ocamlPackages.omd: 1.3.1 → 1.3.2 2022-07-25 20:11:55 +02:00
Vincent Laporte
c55fac773b ocamlPackages.qcheck: 0.18 → 0.19.1 2022-07-24 12:10:43 +02:00
Vincent Laporte
1f7ab584cf
ocamlPackages.metrics: 0.2.0 → 0.4.0 
ocamlPackages.metrics-mirage: remove at 0.2.0
ocamlPackages.metrics-rusage: init at 0.4.0
 2022-07-21 10:53:17 +02:00
Aaron L. Zeng
fbb839c562 ocamlPackages.cohttp-async: Remove redundant patch that doesn't apply 2022-07-21 10:01:16 +02:00
Vincent Laporte
d2b3250200 ocamlPackages.mariadb: 1.1.4 → 1.1.6 2022-07-21 09:16:35 +02:00
Vincent Laporte
a8ce8ba5dc ocamlPackages.containers: 3.6.1 → 3.9 2022-07-20 17:24:59 +02:00
Pierre Roux
c8585bf4a8 coqPackages.coq-elpi 1.14.0 -> 1.15.1 2022-07-19 13:03:25 +02:00
Guillaume Girol
23432ed4fc
ocamlPackage.odoc: 1.5.3 -> 2.1.1 (#181884) 
build tested by:
fnix build -f.  ocaml-ng.ocamlPackages_4_{05,06,07,08,09,10,11,12,13,14}.odoc
fnix build -f.  ocaml-ng.ocamlPackages_4_{08,09,10,11,12,13,14}.{odoc,curly,mdx}

curly and mdx are the only reverse dependencies in ocaml-modules
according to grep
 2022-07-19 06:51:30 +02:00
Guillaume Girol
9eddb61dcf ocaml-ng.ocamlPackages_4_14.ocaml-lsp: 1.11 -> 1.12 2022-07-18 11:24:37 +02:00
Guillaume Girol
caa3cefeb5 ocamlPackages.chrome-trace: init at ${dune.version} 2022-07-18 11:24:37 +02:00
Vincent Laporte
ae0b8a01b1 ocamlPackages.gapi-ocaml: 0.4.2 → 0.4.3 2022-07-18 09:11:35 +02:00
Guillaume Girol
ad77f20359
Merge pull request #166033 from bcc32/js-015 
ocamlPackages.janeStreet: 0.14 -> 0.15
 2022-07-17 15:21:36 +00:00
Vincent Laporte
60d0de8a48 ocamlPackages.erm_xmpp: 0.3+20200317 → 0.3+20220404 2022-07-10 18:56:56 +02:00
Vincent Laporte
d4cb9de838 ocamlPackages.nocrypto: remove at 0.5.4 
ocamlPackages.wodan: mark as broken
 2022-07-09 14:24:02 +02:00
Vincent Laporte
f852977090 ocamlPackages.noise: remove at 0.2.0 2022-07-09 14:24:02 +02:00
Ulrik Strid
9b3ec85d58 ocamlPackages.mirage-random: 2.0.0 -> 3.0.0 2022-07-07 21:40:38 +02:00
Vincent Laporte
a8406971c3 ocamlPackages.dns: 5.0.1 → 6.1.4 
ocamlPackages.conduit: 4.0.2 → 5.1.0

ocamlPackages.cohttp: 4.0.0 → 5.0.0

ocamlPackages.ocsigen_server: fix compatibility with cohttp-5.0.0
 2022-07-07 20:29:09 +02:00
Vincent Laporte
26a6c659f0 ocamlPackages.happy-eyeballs: init at 0.1.3 2022-07-07 20:29:09 +02:00
Guillaume Girol
1b76f05512 ocamlPackages.ppx_css: fix eval 
sedlex is already 2.5
 2022-07-07 00:32:21 -04:00
Guillaume Girol
f9d0937e01 ocamlPackages.jst-config: fetch upstream patch 
https://github.com/NixOS/nixpkgs/pull/166033#issuecomment-1104695149
 2022-07-07 00:32:21 -04:00
Aaron L. Zeng
4f6ddfdd23 Add Jane Street ocaml packages version 0.15 
- ocamlPackages.tls*: 0.15.2 -> 0.15.3
- ocamlPackages.bistro: unstable-2021-11-13 -> unstable-2022-05-07
- ocamlPackages.phylogenetics: 0.1.0 -> unstable-2022-05-06
 2022-07-07 00:32:11 -04:00
sternenseemann
ff494fa028 ocamlPackages.hxd: 0.3.1 -> 0.3.2 
https://github.com/dinosaure/hxd/releases/tag/v0.3.2
 2022-07-06 21:00:03 +02:00
superherointj
78d0a0688c ocamlPackages.xmlm: 1.3.0 -> 1.4.0 2022-07-06 20:34:46 +02:00
Vincent Laporte
b6236dbddb ocamlPackages.chacha: 1.0.0 → 1.1.0 2022-07-06 13:15:51 -03:00
Vincent Laporte
eea01cd11d ocamlPackages.netchannel: 2.0.0 → 2.1.1 
ocamlPackages.mirage-xen: 6.0.0 → 7.2.0
 2022-07-06 18:05:26 +02:00
superherointj
3b1cbcc92b
ocamlPackages.yaml: 3.0.0 -> 3.1.0 (#180139) 
ocamlPackages.ppx_deriving_yaml: 0.1.0 -> 0.1.1
 2022-07-06 07:21:03 +02:00
superherointj
414af487b1 Revert "ocamlPackages.fmt: 0.8.9 -> 0.9.0" 2022-07-04 18:32:17 -03:00
R. Ryantm
c2f68f081c ocamlPackages.batteries: 3.4.0 -> 3.5.1 2022-07-04 15:16:24 -03:00
superherointj
c589960402
Merge pull request #180088 from vbgl/ocaml-digestif-1.1.2 
ocamlPackages.digestif: 1.1.0 → 1.1.2
 2022-07-04 10:22:42 -03:00
Vincent Laporte
76a24f2d79 ocamlPackages.secp256k1-internal: 0.2 → 0.3 2022-07-04 13:05:29 +02:00
Vincent Laporte
1cfe539b03
ocamlPackages.digestif: 1.1.0 → 1.1.2 2022-07-04 10:13:35 +02:00
Vincent Laporte
6791c3ae11 ocamlPackages.io-page: 2.4.0 → 3.0.0 2022-07-04 09:10:59 +02:00
Vincent Laporte
e69aee3280 ocamlPackages.io-page: 2.3.0 → 2.4.0 
ocamlPackages.mirage-block: 2.0.1 → 3.0.0
ocamlPackages.mirage-block-ramdisk: disable tests
ocamlPackages.mirage-block-unix: 2.12.1 → 2.14.1
ocamlPackages.mirage-unix: 4.0.0 → 4.0.1
ocamlPackages.vchan: 6.0.0 → 6.0.1
ocamlPackages.wodan-unix: mark as broken
 2022-07-04 09:10:59 +02:00
superherointj
a97a0002fe
Merge pull request #179861 from vbgl/ocaml-atdgen-2.9.1 
ocamlPackages.atdgen: 2.4.1 → 2.9.1
 2022-07-03 21:46:26 -03:00
Vincent Laporte
b6e7663556
ocamlPackages.atdgen: 2.4.1 → 2.9.1 2022-07-03 23:12:40 +02:00
superherointj
d335ada6fe
Merge pull request #165068 from r-ryantm/auto-update/ocaml4.13.1-fmt 
ocamlPackages.fmt: 0.8.9 -> 0.9.0
 2022-07-03 14:18:09 -03:00
superherointj
c9808f8a61
Merge pull request #179292 from vbgl/ocaml-mirage-channel-4.1.0 
ocamlPackages.mirage-channel: 4.0.1 → 4.1.0
 2022-07-03 13:43:26 -03:00
superherointj
8507922b3b
Merge pull request #179514 from vbgl/ocaml-mirage-console-5.1.0 
ocamlPackages.mirage-console: 4.0.0 → 5.1.0
 2022-07-03 13:38:14 -03:00
Vincent Laporte
6bc3638cf4
ocamlPackages.duff: 0.4 → 0.5 2022-07-03 16:07:11 +02:00
Vincent Laporte
390681fdaf
ocamlPackages.optint: 0.1.0 → 0.2.0 2022-07-03 14:24:11 +02:00
Vincent Laporte
22a183bf78 ocamlPackages.hacl_x25519: remove at 0.2.2 2022-07-02 19:26:32 +02:00
Vincent Laporte
f5ad4e7964 ocamlPackages.awa: 0.0.5 → 0.1.0 2022-07-02 19:26:32 +02:00
Vincent Laporte
6806e4e8b7 ocamlPackages.shared-memory-ring: 3.1.0 → 3.1.1 2022-07-01 05:49:03 +01:00
Vincent Laporte
6724234f28 ocamlPackages.mirage-vnetif: 0.5.0 → 0.6.0 2022-06-30 16:57:19 +01:00
Vincent Laporte
7b410b13ee ocamlPackages.ke: 0.4 → 0.6 2022-06-29 16:41:20 +01:00
Vincent Laporte
604a908694
ocamlPackages.mirage-console: 4.0.0 → 5.1.0 2022-06-29 05:48:38 +01:00
ajs124
0c35b851e4 maintainers: remove kkallio 
no github account linked
 2022-06-29 00:55:00 +02:00
ajs124
0d5d9c159b maintainers: remove jwilberding 
no github account linked
 2022-06-29 00:52:14 +02:00
ajs124
a0718341e6 maintainers: remove volth 
github account deleted
 2022-06-29 00:52:12 +02:00
Vincent Laporte
162c51e86f
ocamlPackages.mirage-channel: 4.0.1 → 4.1.0 2022-06-27 06:13:56 +01:00
Mario Rodas
9467dd3284 ocamlPackages.mldoc: init at 1.3.9 2022-06-27 06:55:25 +02:00
Thiago Kenji Okada
2a922b7893
Merge pull request #178686 from vbgl/ocaml-pbkdf-1.2.0 
ocamlPackages.pbkdf: 1.1.0 → 1.2.0
 2022-06-25 16:24:53 +01:00
Daniel Olsen
eb72486d13 ocamlPackages.ffmpeg*: 1.1.3 -> 1.1.4 2022-06-23 23:10:17 +02:00
Vincent Laporte
8681aa0d65
ocamlPackages.ocaml-r: mark as broken 2022-06-23 22:38:14 +02:00
Vincent Laporte
7d634c9f97
ocamlPackages.fmt: do not propagate cmdliner 2022-06-23 22:38:14 +02:00
Vincent Laporte
57777e6d56
ocamlPackages.parmap: disable tests 2022-06-23 22:38:13 +02:00
Vincent Laporte
d4b3d027b0
ocamlPackages.pbkdf: 1.1.0 → 1.2.0 2022-06-23 09:10:18 +02:00
Sergei Trofimovich
720b350730 ocaml-ng.ocamlPackages_4_05.lablgtk: add -fcommon workaround 
Workaround build failure on -fno-common toolchains like upstream
gcc-10. Otherwise build fails as:

    ld: ml_gtktree.o:(.bss+0x0): multiple definition of
      `ml_table_extension_events'; ml_gdkpixbuf.o:(.bss+0x0): first defined here
 2022-06-20 22:44:34 +01:00
Mario Rodas
9a0b7eddfd
ocamlPackages.ocaml-migrate-parsetree-2: 2.3.0 -> 2.4.0 (#178244) 
https://github.com/ocaml-ppx/ocaml-migrate-parsetree/releases/tag/2.4.0
 2022-06-20 17:50:40 +02:00
Mario Rodas
f22126fe9a ocamlPackages.ppx_yojson_conv_lib: 0.14.0 -> 0.15.0 2022-06-18 04:20:00 +00:00
Ulrik Strid
69443b19b8 ocamlPackages.tsort: 2.0.0 -> 2.1.0 2022-06-15 09:31:13 +02:00
Daniel Olsen
1f31dbf1ec ocamlPackages.cry: 0.6.5 -> 0.6.7 2022-06-13 21:33:09 +02:00
Lassulus
6f2f7cc4ab
Merge pull request #140777 from dali99/update_liquidsoap 
Update liquidsoap to 2.0.5
 2022-06-09 10:31:24 +02:00
Vincent Laporte
3a5d3c73c7 ocamlPackages.wasm: 1.1.1 → 2.0.0 2022-06-08 23:34:47 +02:00
Daniel Olsen
b64a90b182 ocamlPackages.ocurl: 0.9.1 -> 0.9.2 2022-06-08 15:21:28 +02:00
Daniel Olsen
592f58a190 ocamlPackages.lilv: init at 0.1.0 2022-06-08 15:21:28 +02:00
Daniel Olsen
c035e81dac ocamlPackages.taglib: init at 0.3.9 2022-06-08 15:21:28 +02:00
Daniel Olsen
89a381788e ocamlPackages.soundtouch: init at 0.1.9 2022-06-08 15:21:28 +02:00
Daniel Olsen
f34e9c3002 ocamlPackages.frei0r: init at 0.1.2 2022-06-08 15:21:28 +02:00
Daniel Olsen
430b2bc83b ocamlPackages.lame: init at 0.3.6 2022-06-08 15:21:28 +02:00
Daniel Olsen
866dbd9d42 ocamlPackages.faad: init at 0.5.1 2022-06-08 15:21:27 +02:00
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
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)

needed for ocaml-lsp
 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
Daniel Olsen
6a14836a53 ocamlPackages.xmlplaylist: init at 0.1.5 2022-04-18 15:54:38 +02:00
Daniel Olsen
ee672c823e ocamlPackages.samplerate: init at 0.1.6 2022-04-18 15:34:27 +02:00
Aaron L. Zeng
fd0b060560 ocamlPackages.gen_js_api: init at 1.0.9 
I chose 1.0.9 instead of the latest 1.1.0, to avoid having to upgrade
js_of_ocaml first.
 2022-04-18 15:28:49 +02:00
Daniel Olsen
0bcf4a81c8 ocamlPackages.bjack: init at 0.1.6 2022-04-18 15:17:46 +02:00
Vincent Laporte
73a22ba300 ocamlPackages.coin: 0.1.3 → 0.1.4 2022-04-18 15:00:12 +02:00
Aaron L. Zeng
983a9f4bb6 ocamlPackages.phylogenetics: 0.0.0 -> 0.1.0 2022-04-12 16:02:48 +02:00
R. Ryantm
6dd377e367 ocamlPackages.ptime: 0.8.5 -> 0.8.6 
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
 2022-04-09 19:50:52 +01:00
Aaron Zeng
05fe9b54a5
ocamlPackages.cmdliner: Use the upstream Makefile build rules (#166150) 
* ocamlPackages.cmdliner: remove at 1.0.2

Remove a legacy version.

* ocamlPackages.cmdliner: use the upstream Makefile build rules

According to
https://github.com/dbuenzli/cmdliner/pull/147#issuecomment-1081168328,
the topkg build is deprecated.  Switch to the new recommended build instructions.
 2022-04-07 20:37:09 +02:00
Eelco Dolstra
9c60061edc
Merge pull request #165730 from ConnorBaker/z3_versions 
z3: init 4.8.15, 4.7.1
 2022-04-06 12:47:33 +02:00
Aaron L. Zeng
d240ca09aa ocamlPackages.torch: Mark as broken with pytorch >= 1.11 2022-04-06 07:35:24 +02:00
Vincent Laporte
ed1bc6d369 ocamlPackages.asn1-combinators: disable with OCaml < 4.08 
Fixes build failures introduced by fbac0f4a6d
 2022-04-06 07:20:05 +02:00
Vincent Laporte
9bf28042f5 ocamlPackages.sqlite3EZ: remove at 0.1.0 
Broken by a13cdfe520
 2022-04-06 07:20:05 +02:00
Vincent Laporte
0c7c76fa9e ocamlPackages.ocsigen-toolkit: 3.0.1 → 3.1.1 2022-04-05 13:33:20 +02:00
Vincent Laporte
1af918c494 ocamlPackages.ocsigenserver: 4.0.1 → 5.0.1 2022-04-05 13:33:20 +02:00
Vincent Laporte
b1a435eda0 ocamlPackages.ocsigen-start: 4.3.0 → 4.5.0 2022-04-05 13:33:20 +02:00
Vincent Laporte
684ae27163 ocamlPackages.eliom: 8.9.0 → 9.4.0 2022-04-05 13:33:20 +02:00
Vincent Laporte
994b21d1c1 ocamlPackages.ocsipersist: init at 1.1.0 
With support for SQLite and PostgreSQL
 2022-04-05 13:33:20 +02:00
Vincent Laporte
1ddbc47dc7 ocamlPackages.type_conv: remove at 108.08.00, 109.60.01, 113.00.02 2022-04-03 21:36:52 +02:00
Artturi
3630f5619a
Merge pull request #165614 from StridBot/auto-update/ocaml4.13.1-caqti 2022-04-03 09:30:13 +03:00
Vincent Laporte
366a59cdc3 ocamlPackages.unionFind: init at 20220122 2022-03-31 19:51:42 +02:00
Vincent Laporte
deda77e07b
Merge pull request #166134 from bcc32/update-macaddr-ipaddr 
ocamlPackages.{macaddr,ipaddr}: 5.2.0 -> 5.3.0
 2022-03-29 20:48:58 +02:00
Vincent Laporte
1c48b0f896 ocamlPackages.mimic: remove spurious dependencies 2022-03-29 09:47:08 +02:00
Vincent Laporte
aeb65012fa
ocamlPackages.{macaddr,ipaddr}: minor cleaning 2022-03-29 08:02:14 +02:00
Aaron L. Zeng
e87b6f72d1 ocamlPackages.{macaddr,ipaddr}: 5.2.0 -> 5.3.0 2022-03-28 16:19:05 -04:00
Aaron L. Zeng
f37810ba4d ocamlPackages.core_unix: init at 0.14 
This is a compatibility package for a soon-to-come breaking change in
Jane Street package layout.
 2022-03-28 21:41:36 +02:00
Vincent Laporte
9c16cf9005 ocamlPackages.ocplib-endian: disable for OCaml ≤ 4.02 2022-03-28 21:01:41 +02:00
Vincent Laporte
9211608da7 ocamlPackages.wasm: disable with OCaml 4.02 2022-03-28 21:01:41 +02:00
Vincent Laporte
3d7f865ddb ocamlPackages.uutf: disable with OCaml ≤ 4.02 2022-03-28 21:01:41 +02:00
Vincent Laporte
700c4a7055 ocamlPackages.bolt: remove at 1.4 (broken with OCaml 4.02) 2022-03-28 21:01:41 +02:00
sternenseemann
80d8655c15 ocamlPackages.fiat-p256: remove at 0.2.1 
Upstream has deprecated the package and we no longer depend on it for
anything:

> Archived, now integrated into mirage-crypto-ec (please use that and report issues there)
 2022-03-28 18:37:13 +02:00
Vincent Laporte
7cc596593c ocamlPackages.dune-private-libs: 2.9.3 → 3.0.3 
ocamlPackages.dune-site: 2.9.3 → 3.0.3
ocamlPackages.dune-glob: 2.9.3 → 3.0.3
ocamlPackages.dune-action-plugin: 2.9.3 → 3.0.3
 2022-03-28 07:08:14 +02:00
Vincent Laporte
b19721dc2a ocamlPackages.stdune: init at 3.0.3 2022-03-28 07:08:14 +02:00
Vincent Laporte
ab97541807 ocamlPackages.dyn: init at 3.0.3 2022-03-28 07:08:14 +02:00
Vincent Laporte
ac07d2fa3e ocamlPackages.ordering: init at 3.0.3 2022-03-28 07:08:14 +02:00
Sandro
90acbe07b1
Merge pull request #165663 from StridBot/auto-update/ocaml4.13.1-sawja 2022-03-27 19:08:28 +02:00
sternenseemann
95df38a27d ocamlPackages.uutf: fix source tarball URL 
Broken by refactor in https://github.com/NixOS/nixpkgs/pull/165126
 2022-03-27 17:52:54 +02:00
Sandro
6e99f2025f
Merge pull request #165674 from StridBot/auto-update/ocaml4.13.1-tcpip 2022-03-27 16:02:01 +02:00
Sandro
6c5dce5e2e
Merge pull request #165659 from StridBot/auto-update/ocaml4.13.1-printbox 2022-03-27 15:58:39 +02:00
Ulrik Strid
8c949f7f7b
ocamlPackages.sawja: 1.5.10 -> 1.5.11 2022-03-27 15:31:43 +02:00
Sandro
24b6c90414
Merge pull request #165652 from StridBot/auto-update/ocaml4.13.1-mirage-time 2022-03-27 15:29:01 +02:00
Sandro
57e9d8bf98
Merge pull request #165648 from StridBot/auto-update/ocaml4.13.1-mirage-fs 2022-03-27 15:28:49 +02:00
Sandro
6b6c83ea92
Merge pull request #165644 from StridBot/auto-update/ocaml4.13.1-mirage-flow 2022-03-27 15:24:49 +02:00
Sandro
16495dba01
Merge pull request #165638 from StridBot/auto-update/ocaml4.13.1-mimic 2022-03-27 15:20:56 +02:00
Sandro
845fcabf54
Merge pull request #165126 from r-ryantm/auto-update/ocaml4.13.1-uutf 2022-03-27 15:14:21 +02:00
Sandro
1664be332b
Merge pull request #165088 from r-ryantm/auto-update/ocaml4.13.1-bigarray-compat 2022-03-27 15:13:57 +02:00
Sandro
ca62e5f2da
Merge pull request #165082 from r-ryantm/auto-update/ocaml4.13.1-psmt2-frontend 2022-03-27 15:13:46 +02:00
Sandro
c8fa9161ce
Merge pull request #165063 from r-ryantm/auto-update/ocaml4.13.1-ocplib-endian 2022-03-27 15:13:36 +02:00
Sandro
e1c0994d28
Merge pull request #165059 from r-ryantm/auto-update/ocaml4.13.1-asn1-combinators 2022-03-27 15:13:06 +02:00
Sandro
59ad5c7275
Merge pull request #165053 from r-ryantm/auto-update/ocaml4.13.1-eqaf 2022-03-27 15:10:20 +02:00
Sandro
b8f9be5de7
Merge pull request #165625 from StridBot/auto-update/ocaml4.13.1-jingoo 2022-03-27 14:45:58 +02:00
Sandro
671cc5fac1
Merge pull request #165624 from StridBot/auto-update/ocaml4.13.1-iter 2022-03-27 14:24:24 +02:00
Sandro
46bfc04d4b
Merge pull request #165612 from StridBot/auto-update/ocaml4.13.1-bisect_ppx 2022-03-27 13:37:42 +02:00
Sandro
f675b661da
Merge pull request #165617 from StridBot/auto-update/ocaml4.13.1-directories 2022-03-27 13:37:20 +02:00
Sandro
b4d4e7ba1b
Merge pull request #165237 from vbgl/ocaml-comparelib-remove 2022-03-27 12:10:54 +02:00
Sandro
384cbf466e
Merge pull request #165092 from vbgl/ocaml-enumerate-remove 2022-03-27 12:10:25 +02:00
R. Ryantm
270faa3070
ocamlPackages.uutf: 1.0.2 -> 1.0.3 2022-03-27 12:10:00 +02:00
Sandro
78c4d43913
Merge pull request #165081 from r-ryantm/auto-update/ocaml4.13.1-bos 2022-03-27 12:06:39 +02:00
Sandro
fc83defa8c
Merge pull request #165077 from r-ryantm/auto-update/ocaml4.13.1-duration 2022-03-27 12:06:02 +02:00
Sandro
d88964489f
Merge pull request #165072 from r-ryantm/auto-update/ocaml4.13.1-magic-mime 2022-03-27 12:04:33 +02:00
Sandro
46d3f9dc29
Merge pull request #165045 from r-ryantm/auto-update/ocaml4.13.1-markup 2022-03-27 12:04:10 +02:00
Sandro
e1ceb0f948
Merge pull request #165662 from StridBot/auto-update/ocaml4.13.1-routes 2022-03-27 11:19:43 +02:00
Vladimír Čunát
adb8443392
Merge #165657: ocamlPackages.owl: 1.0.1 -> 1.0.2 2022-03-27 09:59:49 +02:00
Vincent Laporte
3e1f187613 ocamlPackages.ocaml_data_notation: remove at 0.0.11 (broken) 2022-03-26 15:41:13 +01:00
Sandro
3d28d9eb92
Merge pull request #165632 from StridBot/auto-update/ocaml4.13.1-lwt-watcher 2022-03-26 10:34:06 +01:00
Connor Baker
9c83a461e5 ocamlPackages.z3: Remove unecessary patch 
Reported in https://github.com/Z3Prover/z3/issues/5776 and fixed in 4f6fcf8ea7.
 2022-03-25 11:55:54 -04:00
Ulrik Strid
d6e2e39a6e ocamlPackages.nonstd,facile: run dune upgrade for newer ocaml versions 
This allows us to build the packages on OCaml >=4.12

Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
 2022-03-25 13:55:18 +01:00
Ulrik Strid
661ee6b468 ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00