summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/cil
Commit message (Expand)AuthorAge
* ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid2022-02-24
* pkgs/development: followup fmtFelix Buehler2021-11-10
* pkgs/development: rename name to pname&versionFelix Buehler2021-11-10
* ocamlPackages: stdenv.lib → libsternenseemann2021-01-12
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* ocamlPackages.cil: disable for OCaml ≥ 4.06Vincent Laporte2018-08-29
* ocamlPackages.cil: fix build on DarwinVincent Laporte2018-02-21
* OCaml modules: make explicit some dependencies to ocamlbuildVincent Laporte2016-10-09
* Ensure that we can evaluate the platform attribute of ocaml packages.Nicolas B. Pierron2016-03-13
* ocaml-cil: update from 1.3.2 to 1.7.3Vincent Laporte2014-11-22