From 3f32b87498d844b8c87bd99d30d2c130031e2c78 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 7 Feb 2023 17:50:12 +0100
Subject: [PATCH] [nix] use standard ocp-indent nix package
---
nix/pkgs.nix | 1 -
1 file changed, 1 deletion(-)
diff --git a/nix/pkgs.nix b/nix/pkgs.nix
index 466e9d95a73..672adb93968 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 {};
--
GitLab