{ pkgs ? import ./nixpkgs-pinned.nix {} }:
pkgs.stdenv.mkDerivation {
  name = "mininix-cloc";
  src = ./.;

  nativeBuildInputs = with pkgs; [ cloc jq ];

  buildPhase = ''
    bash cloc-rocq.sh > formalization-loc-report
  '';

  installPhase = ''
    mkdir -p $out
    cp formalization-loc-report $out/
  '';
}