nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-17 02:14:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
390,693 Commits 163 Branches 125 Tags 7.8 GiB
c2cad4f39e
Commit Graph

3084 Commits

Author SHA1 Message Date
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