summaryrefslogtreecommitdiffstats
path: root/pkgs/development/ocaml-modules/cil
AgeCommit message (Expand)Author
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid
2021-11-10pkgs/development: followup fmtFelix Buehler
2021-11-10pkgs/development: rename name to pname&versionFelix Buehler
2021-01-12ocamlPackages: stdenv.lib → libsternenseemann
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2018-08-29ocamlPackages.cil: disable for OCaml ≥ 4.06Vincent Laporte
2018-02-21ocamlPackages.cil: fix build on DarwinVincent Laporte
2016-10-09OCaml modules: make explicit some dependencies to ocamlbuildVincent Laporte
2016-03-13Ensure that we can evaluate the platform attribute of ocaml packages.Nicolas B. Pierron
2014-11-22ocaml-cil: update from 1.3.2 to 1.7.3Vincent Laporte