diff --git a/nix/pkgs.nix b/nix/pkgs.nix
index 466e9d95a73f87e73e13f28da7c9a72d99d4e0c9..672adb93968ccacc91b9f250eddee2b0f572875b 100644
--- a/nix/pkgs.nix
+++ b/nix/pkgs.nix
@@ -7,7 +7,6 @@ let
     headache = oself.callPackage ./headache.nix {};
     menhirLib = oself.callPackage ./menhirLib.nix {};
     mlmpfr = oself.callPackage ./mlmpfr.nix {};
-    ocp-indent = oself.callPackage ./ocp-indent.nix {};
     psmt2-frontend = oself.callPackage ./psmt2-frontend.nix {};
     why3 = oself.callPackage ./why3.nix {};