public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
278,782 Commits 1 Branch 0 Tags
92a1b57bb14d48311df9c1b98a60cd4e0b8408dc
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 92a1b57bb1 ocamlPackages.ppxlib: default to 0.22.0 
ocamlPackages.base_quickcheck 0.14.0 → 0.14.1

ocamlPackages.ppx_custom_printf: 0.14.0 → 0.14.1

ocamlPackages.ppx_expect: 0.14.0 → 0.14.1

ocamlPackages.ppx_optcomp: 0.14.0 → 0.14.1

ocamlPackages.ppx_sexp_conv: 0.14.1 → 0.14.3

ocamlPackages.ppx_sexp_message: 0.14.1 → 0.14.2

ocamlPackages.ppx_typerep_conv: 0.14.1 → 0.14.2

ocamlPackages.visitors: 20210127 → 20210316

ocamlPackages.pgocaml: 4.2.2 → 4.2.2-dev-20210111
 2021-03-25 17:36:51 +01:00
Vincent Laporte 53a56c9887 ocamlPackages.ppxlib: disable versions 0.15 and 0.18 for OCaml ≥ 4.12 2021-03-25 17:36:51 +01:00
Vincent Laporte a1b2b1225c ocamlPackages.npy: unstable-2019-04-02 → 0.0.9 2021-03-22 10:01:13 +01:00
Vincent Laporte 14edfb4cd7 ocamlPackages.psq: use Dune 2 
And enable tests
 2021-03-19 17:26:04 +01:00
Vincent Laporte b68839485d ocamlPackages.bitstring: 4.0.1 → 4.1.0 2021-03-19 11:47:03 +01:00
Vincent Laporte 1bb03d47cd ocamlPackages.ppx_import: 1.7.1 → 1.8.0 2021-03-19 08:17:03 +01:00
Vincent Laporte 4307699fdb ocamlPackages.lru: use Dune 2 
And enable tests
 2021-03-18 05:56:36 +01:00
Vincent Laporte 4406123147 flow: 0.145.0 → 0.146.0 2021-03-18 05:11:42 +01:00
Vincent Laporte d0cb67f669 ocamlPackages.core: 0.14.0 → 0.14.1 2021-03-16 08:18:56 +01:00
Vincent Laporte 2a56da2235 ocamlPackages.torch: 0.11 → 0.12 2021-03-15 15:16:12 +01:00
Vincent Laporte b20bc9eeb6 ocamlPackages.zarith: 1.11 → 1.12 2021-03-12 08:51:50 +01:00
Vincent Laporte 22d9482360 opa: build with OCaml 4.04 2021-03-12 08:51:50 +01:00
Vincent Laporte 857ac90e8c ocamlPackages.core_kernel: 0.14.0 → 0.14.1 2021-03-09 21:09:58 +01:00
Vincent Laporte 5a34902915 ocamlPackages.batteries: 3.2.0 → 3.3.0 2021-03-09 08:27:37 +01:00
Vincent Laporte a104d2b18c ocamlPackages.dune_1: disable for OCaml ≥ 4.12 2021-03-07 12:07:14 +01:00
Vincent Laporte 60785fe4db ocamlPackages.dune: rename into dune_1 2021-03-07 12:07:14 +01:00
Vincent Laporte 5dc759afec ocamlPackages.rope: use Dune 2 2021-03-07 12:07:14 +01:00
Vincent Laporte 0e7add8190 ocamlPackages.biniou: use Dune 2 2021-03-04 22:00:10 +01:00
Vincent Laporte aae6ddcb70 ocamlPackages.bigarray-compat: use Dune 2 2021-03-04 09:20:14 +01:00
Vincent Laporte 1ec43e04cc ocaml-ng.ocamlPackages_4_11.ocaml: 4.11.1 → 4.11.2 2021-03-03 18:05:12 +01:00
Vincent Laporte 6f204e9c42 ocamlPackages.integers: use Dune 2 2021-03-03 10:10:20 +01:00
Vincent Laporte 8efa14a5cb ocamlPackages.digestif: 0.9.0 → 1.0.0 2021-03-03 08:14:59 +01:00
Vincent Laporte cc8f96f8c5 ocamlPackages.mirage-clock: use Dune 2 2021-03-02 20:50:55 +01:00
Vincent Laporte b0ed0b8a62 ocamlPackages.base: 0.14.0 → 0.14.1 2021-03-02 12:02:12 -05:00
Vincent Laporte cd43a53947 coq_8_13: 8.13.0 → 8.13.1 2021-03-02 09:04:40 +01:00
Vincent Laporte 25947abcf1 ocamlPackages.ppx_derivers: use Dune 2 2021-03-01 10:07:44 +01:00
Vincent Laporte d0328678e9 ocamlPackages.ocaml-migrate-parsetree-2-1: use Dune 2 2021-02-28 11:28:04 +01:00
Vincent Laporte caa23be256 ocamlPackages.camomile: use Dune 2 2021-02-27 21:19:06 +01:00
Vincent Laporte 10652db906 ocamlPackages.mmap: use Dune 2 2021-02-27 17:59:54 +01:00
Vincent Laporte 1c26497371 ocamlPackages.result: use Dune 2 2021-02-27 13:31:01 +01:00
Vincent Laporte 02b4f95f78 ocamlPackages.stdlib-shims: 0.1.0 → 0.3.0 2021-02-26 11:40:38 +01:00
Vincent Laporte 554827b5a7 ocamlPackages.bap: 2.1.0 → 2.2.0 
libbap: 2019-11-15 → 2020-11-25
 2021-02-26 07:09:22 +01:00
Vincent Laporte 36aa10c0ea ocamlPackages.ppx_bap: init at 0.14 2021-02-26 07:09:22 +01:00
Vincent Laporte 0f24f12bb4 ocamlPackages.crunch: use Dune 2 2021-02-25 22:12:12 +01:00
Vincent Laporte 73487ea05e ocamlPackages.yojson: use Dune 2 2021-02-25 11:02:25 +01:00
Vincent Laporte 74c0acd1c8 ocamlPackages.ppx_yojson_conv_lib: use Dune 2 2021-02-25 08:20:25 +01:00
Vincent Laporte 128a43a1e8 ocamlPackages.atd: 2.0.0 → 2.2.1 2021-02-25 08:04:35 +01:00
Vincent Laporte a2ae262635 ocamlPackages.linenoise: use Dune 2 2021-02-24 21:02:25 +01:00
Vincent Laporte a346c68411 acgtk: 1.5.1 → 1.5.2 2021-02-24 08:13:06 +01:00
Vincent Laporte 439eeda150 ocamlPackages.psmt2-frontend: 0.2 → 0.3.1 2021-02-23 22:11:44 +01:00
Vincent Laporte f9a4e6b1e2 alt-ergo: use Dune 2 2021-02-23 22:11:44 +01:00
Vincent Laporte 64b4617883 ocamlPackages.ounit2: use Dune 2 2021-02-16 18:04:54 +01:00
Vincent Laporte 0b6201180e ocamlPackages.gettext: use Dune 2 2021-02-16 09:36:40 +01:00
Vincent Laporte 9dfa33f610 coqPackages.dpdgraph: init at 0.6.9 for Coq 8.13 2021-02-14 14:36:18 +01:00
Vincent Laporte 90361764fe ocamlPackages.re: use Dune 2 2021-02-14 14:15:55 +01:00
Vincent Laporte 59eabeea8d ocamlPackages.parse-argv: use Dune 2 2021-02-13 11:20:19 +01:00
Vincent Laporte 2d6a91ebf4 ocamlPackages.diet: use Dune 2 2021-02-13 11:05:22 +01:00
Vincent Laporte d0e7e493ca ocamlPackages.ocp-index: use Dune 2 2021-02-13 10:59:13 +01:00
Vincent Laporte 1106f2d1ac ocaml-top: use Dune 2 2021-02-13 10:55:12 +01:00
Vincent Laporte 1a7a395a6f ocamlPackages.opam-core: use Dune 2 2021-02-13 10:33:09 +01:00
Vincent Laporte 58e5d62b62 ocamlPackages.tyxml: use Dune 2 2021-02-13 10:16:35 +01:00
Vincent Laporte 0279876952 ocamlPackages.lwt: 5.3.0 → 5.4.0 2021-02-12 17:42:29 +01:00
Vincent Laporte e4b1824c5b ocamlPackages.resource-pooling: use Dune 2 2021-02-12 17:42:29 +01:00
Vincent Laporte bc85b5b992 ocamlPackages.zmq: use Dune 2 2021-02-12 17:42:29 +01:00
Vincent Laporte 69dd7d2068 ocamlPackages.mirage-device: use Dune 2 2021-02-12 17:42:29 +01:00
Vincent Laporte eb15f3e87b ocamlPackages.irmin-watcher: use Dune 2 2021-02-12 17:42:29 +01:00
Vincent Laporte 0ca3e0ce49 ocamlPackages.mirage-bootvar-unix: use Dune 2 2021-02-12 17:42:29 +01:00
Vincent Laporte edf3a8376e ocamlPackages.ppx_deriving_protobuf: 2.7 → 3.0.0 2021-02-12 09:00:11 +01:00
Vincent Laporte 3c34795935 ocamlPackages.kafka: 0.4 → 0.5 2021-02-07 14:07:54 +01:00
Vincent Laporte f12fb9fbe6 ocamlPackages.ocaml-migrate-parsetree: use Dune 2 2021-02-06 21:40:25 +01:00
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