alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
377822 commits 217 branches 121 tags 4.5 GiB
Commit graph

2971 commits

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