public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
268,109 Commits 1 Branch 0 Tags
cd9e9ea67d04db32bb600f92cdd0495d46fc2999
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 3a76b7d9f5 ocamlPackages.ppx_tools: use Dune 2 2021-01-31 14:16:02 +01:00
Vincent Laporte 8f1302995e ocamlPackages.ppx_deriving: 4.5 → 5.1 
ocamlPackages.ppx_deriving_yojson: 3.5.2 → 3.6.1

ocamlPackages.visitors: 20200210 → 20210127

ocamlPackages.pgocaml: disable for OCaml < 4.08

ocamlPackages.nocrypto: disable for OCaml < 4.08

ocamlPackages.lens: mark as broken

ocamlPackages.ppx_deriving_protobuf: mark as broken

Closes #108137
 2021-01-31 14:15:46 +01:00
Vincent Laporte c174292ec7 coqPackages.corn: 8.8.1 → 8.12.0 2021-01-28 10:28:51 +01:00
Vincent Laporte 8e08bb0392 ocamlPackages.toml: 5.0.0 → 6.0.0 2021-01-19 08:25:42 +01:00
Vincent Laporte 273a4ec57e ocamlPackages.charInfo_width: use Dune 2 2021-01-13 09:49:20 +01:00
Vincent Laporte 0476529037 ocamlPackages.zed: refactor 
Remove legacy version 1.4 (whose evaluation actually fails)

Refactor with `buildDunePackage`

Use dune 2
 2021-01-13 09:49:20 +01:00
Vincent Laporte 2cc958d764 ocamlPackages.lens: 1.2.3 → 1.2.4 2021-01-13 09:00:33 +01:00
Vincent Laporte 5cbe85dbd8 ocamlPackages.ppx_gen_rec: use Dune 2 2021-01-12 09:27:34 +01:00
Vincent Laporte b3351951b0 ocamlPackages.camlp5: 7.13 → 7.14 2021-01-09 14:00:53 +01:00
Vincent Laporte 7ff870779a ocamlPackages.csexp: use Dune 2 2021-01-08 08:35:00 +01:00
Vincent Laporte 90d4109c23 ocamlPackages.lwt_ppx: 2.0.1 → 2.0.2 2021-01-07 08:40:26 +01:00
Vincent Laporte 331186b9ac ocamlPackages.bitstring: 3.1.1 → 4.0.1 
ocamlPackages.ppx_bitsring: init at 4.0.1
 2021-01-07 07:43:29 +01:00
Vincent Laporte ccc474d77b ocamlPackages.bisect_ppx: 1.4.0 → 2.5.0 2021-01-06 07:35:23 +01:00
Vincent Laporte bd31e66778 ocamlPackages.bisect_ppx-ocamlbuild: remove at 1.4.0 
This package is no longer maintained.
 2021-01-06 07:35:23 +01:00
Vincent Laporte 6b0396351e ocamlPackages.lambdaTerm: 2.0.3 → 3.1.0 
ocamlPackages.utop: 2.4.3 → 2.6.0
 2021-01-05 18:23:20 +01:00
Vincent Laporte 321c46c6e8 ocamlPackages.mew_vi: init at 0.5.0 
This is a vi-like modal editing engine generator.
 2021-01-05 18:23:20 +01:00
Vincent Laporte 343eb4dc37 ocamlPackages.mew: init at 0.1.0 
A general modal editing engine generator
 2021-01-05 18:23:20 +01:00
Vincent Laporte a2dfc892da ocamlPackages.trie: init at 1.0.0 
Strict impure trie tree in OCaml
 2021-01-05 18:23:20 +01:00
Vincent Laporte 67b72b7430 ocamlPackages.reason: use Dune 2 2021-01-05 18:23:20 +01:00
Vincent Laporte b8087628db ocamlPackages.csv: use Dune 2 2021-01-04 09:03:01 +01:00
Vincent Laporte f134db16bd ocamlPackages.zarith: 1.10 → 1.11 2021-01-02 09:52:25 +01:00
Vincent Laporte d9c71767bd ocamlPackages.merlin: 3.4.0 → 3.4.2 2020-12-31 08:17:21 +01:00
Vincent Laporte ac02f26980 ocamlPackages.cppo: 1.6.{5,6} → 1.6.7 
ocamlPackages.cppo_ocamlbuild: init at 1.6.7
 2020-12-30 15:04:11 +01:00
Vincent Laporte 75d69a0a27 ocaml-ng.ocamlPackages_4_12.ocaml: 4.12.0~α2 → 4.12.0~α3 2020-12-26 08:12:49 +01:00
Vincent Laporte b75cb8a97d ocamlPackages.ppxlib: fix evaluation 2020-12-19 23:03:44 +01:00
Vincent Laporteandsternenseemann b6f7f1f673 ocamlPackages.janeStreet: 0.13 → 0.14 
ocamlPackages.biocaml: 0.10.1 → 0.11.1

ocamlPackages.bistro: fix for Core 0.14

ocamlPackages.js_of_ocaml: 3.7.0 → 3.7.1

ocamlPackages.ocaml-r: 0.2.0 → 0.4.0

ocamlPackages.phylogenetics: 2020-01-25 → 2020-11-23

Co-authored-by: sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org>
 2020-12-18 21:03:56 +01:00
Vincent Laporte c2e90c4433 ocamlformat: build legacy versions with OCaml 4.07 2020-12-18 21:03:56 +01:00
Vincent Laporte 1dc15448b4 ocamlPackages.cfstream: use Dune 2 2020-12-18 21:03:56 +01:00
Vincent Laporte 6a7f79ed83 ocamlPackages.ppxlib: 0.12.0 → 0.13.0 
Also refactor to ease selection of a custom version
 2020-12-18 21:03:56 +01:00
Vincent Laporte 8274fec350 ocamlPackages.sqlexpr: remove at 0.9.0 2020-12-18 21:03:56 +01:00
Vincent Laporte 66c0fc3609 cryptoverif: 2.03pl1 → 2.04 2020-12-18 08:20:10 +01:00
Vincent Laporte b49a3fb852 cryptoverif: fix search for default library 2020-12-18 08:20:10 +01:00
Vincent Laporte c5556b7454 coq_8_12: 8.12.1 → 8.12.2 2020-12-16 07:45:54 +01:00
Vincent Laporte de8205f8bb coq_8_13: init at 8.13+β1 2020-12-15 21:13:40 +01:00
Vincent Laporte 1e8ca69151 ocamlPackages.torch: 0.10 → 0.11 2020-12-14 06:28:34 +01:00
Vincent Laporte a35e7daa2b compcert: 3.7 → 3.8 2020-12-09 08:28:04 +01:00
Vincent Laporte d702e6e6ab ocamlPackages.uri: 3.1.0 → 4.0.0 2020-12-08 17:33:12 +01:00
Vincent Laporte 57f2285079 stog: fix compatibility with uri ≥ 4.0.0 2020-12-08 17:33:12 +01:00
Vincent Laporte 24b4e1094e ocamlPackages.ocplib-json-typed: use Dune 2 2020-12-08 17:33:12 +01:00
Vincent Laporte 567e02e204 ocamlPackages.alcotest: 1.0.1 → 1.2.3 2020-12-08 17:19:48 +01:00
Vincent Laporte 30487789ab ocamlPackages.duration: use Dune 2 2020-12-08 17:19:48 +01:00
Vincent Laporte bee0a512d0 ocamlPackages.domain-name: use Dune 2 2020-12-08 17:19:48 +01:00
Vincent Laporte 73182c1442 ocamlPackages.gmap: use Dune 2 2020-12-08 17:19:48 +01:00
Vincent Laporte 46281741b2 ocamlPackages.graphql: use Dune 2 2020-12-08 17:19:48 +01:00
Vincent Laporte e56e8d4f74 ocamlPackages.mirage-time: use Dune 2 2020-12-08 17:19:48 +01:00
Vincent Laporte e4a7c4268b ocaml-ng.ocamlPackages_4_12.ocaml: 4.12.0~α1 → 4.12.0~α2 2020-12-08 16:37:41 +01:00
Vincent Laporte cf7475d206 ocamlPackages.odate: init at 0.6 2020-12-06 09:56:40 +01:00
Vincent Laporte fd45d961af ocamlPackages.qcheck: 0.15 → 0.16 2020-12-05 17:13:44 +01:00
Vincent Laporte df114c2091 ocamlPackages.iter: use Dune 2 2020-12-05 17:13:44 +01:00
Vincent Laporte 3d66135e6b ocamlPackages.qtest: use Dune 2 2020-12-05 17:13:44 +01:00
Vincent Laporte d2727446df ocamlPackages.xtmpl: disable for OCaml ≥ 4.11 2020-12-05 17:13:44 +01:00
Vincent Laporte 4dfe04a9ec ocamlPackages.mirage-types-lwt: init at 3.9.0 2020-12-03 08:17:08 +01:00
Vincent Laporte 19f9b87e51 ocamlPackages.mirage-types: init at 3.9.0 2020-12-03 08:17:08 +01:00
Vincent Laporte 222966a7d1 obelisk: 0.4.0 → 0.5.2 2020-12-02 22:39:56 +01:00
Vincent Laporte acae9f16a9 Revert "ocamlPackages.stdlib-shims: 0.1.0 -> 0.2.0" 
This reverts commit 0c5e940329.
 2020-12-02 15:56:49 +01:00
Vincent Laporte 8b64dfce2e ocamlPackages.bigstringaf: 0.6.0 → 0.7.0 2020-12-01 22:02:51 +01:00
Vincent Laporte 9e66b4e873 ocamlPackages.angstrom: use Dune 2 2020-12-01 22:02:51 +01:00
Vincent Laporte 38a91dff4d ocamlPackages.earlybird: use Dune 2 2020-12-01 22:02:51 +01:00
Vincent Laporte 11c35305ca ocamlPackages.ke: use Dune 2 2020-12-01 22:02:51 +01:00
Vincent Laporte 4569be3b21 coqPackages.coq-ext-lib: 0.11.2 → 0.11.3 2020-12-01 22:02:08 +01:00
Vincent Laporte 9366259691 coqPackages.coq-ext-lib: refactor 2020-12-01 22:02:08 +01:00
Vincent Laporte d972bd23e0 ocamlPackages.functoria: 3.1.0 → 3.1.1 2020-12-01 07:30:56 +01:00
Vincent Laporte 389ac5f00e ocamlPackages.batteries: 3.1.0 → 3.2.0 2020-11-30 08:13:28 +01:00
Vincent Laporte 8ee7c2505f proverif: install emacs mode 2020-11-29 14:05:14 +01:00
Vincent Laporte 8256fc2da5 ocamlPackages.rpclib-lwt: init at 8.0.0 2020-11-28 08:22:08 +01:00
Vincent Laporte d6dfd173f9 ocamlPackages.rpclib: 7.0.0 → 8.0.0 2020-11-28 08:22:08 +01:00
Vincent Laporte 18370bce2f ocamlPackages.ocaml-protoc: 1.2.0 → 2.0.2 2020-11-27 08:30:24 +01:00
Vincent Laporte 2044e44cf4 ocamlPackages.ppx_deriving_protobuf: disable for OCaml ≥ 4.11 2020-11-27 08:30:24 +01:00
Vincent Laporte 4a1ff5b3ce ocamlPackages.cstruct: 4.0.0 → 5.0.0 2020-11-26 06:55:12 +01:00
Vincent Laporte 4d47330bef ocamlPackages.ipaddr: use Dune 2 2020-11-26 06:55:12 +01:00
Vincent Laporte 5cc1a81692 ocamlPackages.conduit: use Dune 2 2020-11-26 06:55:12 +01:00
Vincent Laporte ca737449c4 ocamlPackages.macaddr-{cstruct,sexp}: use Dune 2 2020-11-26 06:55:12 +01:00
Vincent Laporte e1fe267f09 ocamlPackages.io-page: use Dune 2 2020-11-26 06:55:12 +01:00
Vincent Laporte 97cdcf3e29 ocamlPackages.eqaf: use Dune 2 2020-11-26 06:55:12 +01:00
Vincent Laporte 8555b46e2a ocamlPackages.mirage-random: use Dune 2 2020-11-26 06:55:12 +01:00
Vincent Laporte 6012e6dc0e ocamlPackages.mirage-flow: use Dune 2 2020-11-26 06:55:12 +01:00
Vincent Laporte 1f7c5f009c ocamlPackages.mirage-protocols: use Dune 2 2020-11-26 06:55:12 +01:00
Vincent Laporte d9068d18f5 ocamlPackages.mirage-stack: use Dune 2 2020-11-26 06:55:12 +01:00
Vincent Laporte 8b1c1f6628 ocamlPackages.randomconv: use Dune 2 2020-11-26 06:55:12 +01:00
Vincent Laporte 25b7d70531 ocamlPackages.tuntap: use Dune 2 2020-11-26 06:55:12 +01:00
Vincent Laporte a3e5e8c92c ocamlPackages.duff: use Dune 2 2020-11-26 06:55:12 +01:00
Vincent Laporte 254f2bad97 ocaml-ng.ocamlPackages_4_12.ocaml: init at 4.12.0-α1 2020-11-25 07:55:44 +01:00
Vincent Laporte e40f4acb27 ocaml: minor refactoring 2020-11-25 07:55:44 +01:00
Vincent Laporte 5a6981654b ocamlPackages.camlp5: 7.12 → 7.13 2020-11-24 08:21:21 +01:00
Vincent Laporte c476262dcd ocamlPackages.faraday: 0.7.0 → 0.7.2 2020-11-23 06:12:24 +01:00
Vincent Laporte e286f0cf3b ocamlPackages.containers: 3.0 → 3.0.1 2020-11-22 07:26:26 +01:00
Vincent Laporte 5eb3722b8b ocamlPackages.tsort: use Dune 2 2020-11-22 07:26:26 +01:00
Vincent Laporte c408461904 ocamlPackages.httpaf: 0.4.1 → 0.6.6 2020-11-20 06:38:13 +01:00
Vincent Laporte 229060146d ocamlPackages.metrics-mirage: init at 0.2.0 2020-11-19 07:12:06 +01:00
Vincent Laporte 7346475c9f ocamlPackages.metrics-influx: init at 0.2.0 2020-11-19 07:12:06 +01:00
Vincent Laporte 9785d7c7aa ocamlPackages.metrics: 0.1.0 → 0.2.0 2020-11-19 07:12:06 +01:00
Vincent Laporte b99a5b810d ocamlPackages.dns: use Dune 2 2020-11-19 07:12:06 +01:00
Vincent Laporte 47b02b30e3 ocamlPackages.ppx_blob: 0.4.0 → 0.7.1 2020-11-18 08:25:15 +01:00
Vincent Laporte 597e7748d1 ocamlPackages.dispatch: 0.4.1 → 0.5.0 
ocamlPackages.webmachine: 0.6.2 → 0.7.0
 2020-11-18 08:24:28 +01:00
Vincent Laporte e5e032a532 ocamlPackages.camlimages: 5.0.3 → 5.0.4 2020-11-17 08:22:37 +01:00
Vincent Laporte 89e35b3fd3 pdfpc: 4.4.0 → 4.4.1 2020-11-16 08:47:14 +01:00
Vincent Laporte 2806eb2743 coq_8_12: 8.12.0 → 8.12.1 2020-11-15 12:03:15 +01:00
Vincent Laporte b94a294363 scheherazade-new: init at 3.000 2020-11-15 09:33:45 +01:00
Vincent Laporte 9ca92f0a5b ocamlPackages.mirage: init at 3.9.0 2020-11-14 09:11:28 +01:00
Vincent Laporte 7fb0a750f7 ocamlPackages.mirage-runtime: use Dune 2 2020-11-14 09:11:28 +01:00