Commit Graph

15 Commits

Author SHA1 Message Date
Vincent Laporte
4abd5e93bd
ocamlPackages.ppx_import: use Dune 3 2023-05-02 16:25:00 +02:00
Ulrik Strid
376e9ceead treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
Guillaume Girol
33afbf39f6 treewide: switch to nativeCheckInputs
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
2023-01-21 12:00:00 +00:00
José Romildo
b1e1e9cbb5 ocamlPackages.ppx_import: add version 1.10.0 2022-10-23 18:02:20 -03:00
José Romildo Malaquias
a01cad0d0f
ocamlPackages.ppx_import: 1.8.0 -> 1.9.1 (#156399)
* ocamlPackages.ppx_import: 1.8.0 -> 1.9.1

* coqPackages.serapi: fix compilation with ppx_import-1.9.1
2022-01-26 13:16:24 +01:00
Vincent Laporte
fdeeb2630b ocamlPackages.ppx_import: disable checks 2021-06-04 04:51:38 +02:00
Vincent Laporte
1bb03d47cd ocamlPackages.ppx_import: 1.7.1 → 1.8.0 2021-03-19 08:17:03 +01:00
sternenseemann
a080e9b9ff
ocamlPackages.ppx_import: use dependencies as listed in opam file 2021-01-04 22:10:08 +01:00
Vincent Laporte
db4ccde60d ocamlPackages.ppx_import: 1.5-3 → 1.7.1
Support for OCaml ≥ 4.08
2020-03-07 21:44:03 +01:00
Vincent Laporte
ee843ee86e ocamlPackages.ppx_import: 1.5 -> 1.5-3 2018-12-12 09:34:38 +00:00
Vincent Laporte
66842c9a72 ocamlPackages.ppx_import: 1.4 -> 1.5 2018-09-18 05:00:51 +00:00
volth
52f53c69ce pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
Vincent Laporte
8e0100ba85
ocamlPackages.ppx_import: use opaline 2018-06-06 07:14:22 +00:00
Vincent Laporte
620b93f10a
ocamlPackages.ppx_import: 1.1 -> 1.4 2017-11-26 20:52:17 +00:00
Théo Zimmermann
01910b1801 ocamlPackage.ppx_import: init at 1.1 2016-11-08 15:38:45 +01:00