From 3936d07da2220c7a130f579f438f47862b69e1b8 Mon Sep 17 00:00:00 2001
From: Julien Lepiller <julien@lepiller.eu>
Date: Mon, 25 Dec 2023 11:47:33 +0100
Subject: [PATCH] gnu: Remove ocaml4.07-lablgtk.

* gnu/packages/ocaml.scm (ocaml4.07-lablgtk): Remove variable.
(lablgtk)[properties]: Remove variant.

Change-Id: I931b9316834d109fe291dbb8d1217690e129b9ee
---
 gnu/packages/ocaml.scm | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index f59bdb938d..7f891f34d0 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1332,7 +1332,6 @@ (define-public lablgtk
                  (substitute* "config.make"
                    ((ocaml) out))
                  #t))))))
-    (properties `((ocaml4.07-variant . ,(delay ocaml4.07-lablgtk))))
     (home-page "http://lablgtk.forge.ocamlcore.org/")
     (synopsis "GTK+ bindings for OCaml")
     (description
@@ -1346,16 +1345,6 @@ (define-public lablgtk
 libpanel, librsvg and quartz.")
     (license license:lgpl2.1)))
 
-(define-public ocaml4.07-lablgtk
-  (package
-    (inherit lablgtk)
-    (name "ocaml4.07-lablgtk")
-    (native-inputs
-     `(("ocaml" ,ocaml-4.07)
-       ("findlib" ,ocaml4.07-findlib)
-       ("pkg-config" ,pkg-config)))
-    (properties '())))
-
 (define-public unison
   (package
     (name "unison")