ocamlPackages.frama-c-luncov: init at 0.2.4

{

  lib,

  buildDunePackage,

  dune-site,

  fetchzip,

  frama-c,

  menhir,

  unionFind,

  why3,

}:

buildDunePackage (finalAttrs: {

  pname = "frama-c-luncov";

  version = "0.2.4";

  src = fetchzip {

    url = "https://git.frama-c.com/pub/ltest/luncov/-/archive/${finalAttrs.version}/luncov-${finalAttrs.version}.tar.bz2";

    hash = "sha256-E7zzm9qs34V+sRHElpe1JKHjeyXGALXVj1DNMVzlWn0=";

  };

  nativeBuildInputs = [

    menhir

  ];

  propagatedBuildInputs = [

    dune-site

    frama-c

    unionFind

    why3

  ];

  meta = {

    description = "Luncov plugin of Frama-C, part of the LTest suite";

    homepage = "https://frama-c.com/fc-plugins/ltest.html";

    license = lib.licenses.lgpl2;

    maintainers = with lib.maintainers; [ redianthus ];

  };

})

        frama-c-lannotate = callPackage ../development/ocaml-modules/frama-c-lannotate { };

        frama-c-luncov = callPackage ../development/ocaml-modules/frama-c-luncov { };

        frei0r = callPackage ../development/ocaml-modules/frei0r {

          inherit (pkgs) frei0r;

        };