From d7232032b3d25e965c5265c5453fc609833317b5 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Fri, 9 Mar 2018 16:01:29 +0000
Subject: [default.nix] minor cleaning

---
 default.nix | 1 -
 1 file changed, 1 deletion(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index 2011bf574..eec82624d 100644
--- a/default.nix
+++ b/default.nix
@@ -46,7 +46,6 @@ stdenv.mkDerivation rec {
   ] else []) ++ (if buildDoc then [
 
     # Sphinx doc dependencies
-    ocamlPackages.lablgtk
     pkgconfig (python3.withPackages
       (ps: [ ps.sphinx ps.sphinx_rtd_theme ps.pexpect ps.beautifulsoup4
              ps.antlr4-python3-runtime ps.sphinxcontrib-bibtex ]))
-- 
cgit v1.2.3