about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/cil
AgeCommit message (Expand)AuthorFilesLines
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid1-1/+3
2021-11-10pkgs/development: followup fmtFelix Buehler1-1/+1
2021-11-10pkgs/development: rename name to pname&versionFelix Buehler1-3/+5
2021-01-12ocamlPackages: stdenv.lib → libsternenseemann1-1/+1
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-2/+2
2018-08-29ocamlPackages.cil: disable for OCaml ≥ 4.06Vincent Laporte1-0/+5
2018-02-21ocamlPackages.cil: fix build on DarwinVincent Laporte1-0/+1
2016-10-09OCaml modules: make explicit some dependencies to ocamlbuildVincent Laporte1-2/+2
2016-03-13Ensure that we can evaluate the platform attribute of ocaml packages.Nicolas B. Pierron1-1/+1
2014-11-22ocaml-cil: update from 1.3.2 to 1.7.3Vincent Laporte1-0/+25