Skip to content
Snippets Groups Projects
Commit d696785e authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[ci] Add OCP-indent

parent d7cc0274
No related branches found
No related tags found
No related merge requests found
{ lib
, fetchzip
, buildDunePackage
, cmdliner
}:
buildDunePackage rec {
version = "1.7.0";
pname = "ocp-indent";
src = fetchzip {
url = "https://github.com/OCamlPro/ocp-indent/archive/${version}.tar.gz";
sha256 = "006x3fsd61vxnxj4chlakyk3b2s10pb0bdl46g0ghf3j8h33x7hc";
};
minimumOCamlVersion = "4.02";
useDune2 = true;
buildInputs = [ cmdliner ];
meta = with lib; {
homepage = http://typerex.ocamlpro.com/ocp-indent.html;
description = "A customizable tool to indent OCaml code";
license = licenses.gpl3;
maintainers = [ maintainers.jirkamarsik ];
};
}
......@@ -4,6 +4,7 @@ let
# External Packages
alt-ergo = oself.callPackage ./alt-ergo.nix {};
camlzip = oself.callPackage ./camlzip.nix {};
ocp-indent = oself.callPackage ./ocp-indent.nix {};
psmt2-frontend = oself.callPackage ./psmt2-frontend.nix {};
why3 = oself.callPackage ./why3.nix {};
# Builds
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment