Skip to content
Snippets Groups Projects
Commit 3f32b874 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[nix] use standard ocp-indent nix package

parent da2d50d1
No related branches found
No related tags found
No related merge requests found
...@@ -7,7 +7,6 @@ let ...@@ -7,7 +7,6 @@ let
headache = oself.callPackage ./headache.nix {}; headache = oself.callPackage ./headache.nix {};
menhirLib = oself.callPackage ./menhirLib.nix {}; menhirLib = oself.callPackage ./menhirLib.nix {};
mlmpfr = oself.callPackage ./mlmpfr.nix {}; mlmpfr = oself.callPackage ./mlmpfr.nix {};
ocp-indent = oself.callPackage ./ocp-indent.nix {};
psmt2-frontend = oself.callPackage ./psmt2-frontend.nix {}; psmt2-frontend = oself.callPackage ./psmt2-frontend.nix {};
why3 = oself.callPackage ./why3.nix {}; why3 = oself.callPackage ./why3.nix {};
......
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