11 Commits

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