diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2023-12-25 11:47:33 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2023-12-30 22:12:44 +0100 |
| commit | 3936d07da2220c7a130f579f438f47862b69e1b8 (patch) | |
| tree | 536201465a17c9f5a09b3688c31f37f03f5c341d /gnu/packages/ocaml.scm | |
| parent | ad5a1abec87d861b1d4c45a42fd754a3c5493e9c (diff) | |
gnu: Remove ocaml4.07-lablgtk.
* gnu/packages/ocaml.scm (ocaml4.07-lablgtk): Remove variable.
(lablgtk)[properties]: Remove variant.
Change-Id: I931b9316834d109fe291dbb8d1217690e129b9ee
Diffstat (limited to 'gnu/packages/ocaml.scm')
| -rw-r--r-- | gnu/packages/ocaml.scm | 11 |
1 files changed, 0 insertions, 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 @@ Knuthâs LR(1) parser construction technique.") (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 @@ libglade (and it an generate OCaml code from .glade files), 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") |