From b7971ff798d2d400bac0293bd8d86175433fec6b Mon Sep 17 00:00:00 2001
From: Julien Lepiller <julien@lepiller.eu>
Date: Mon, 19 Sep 2022 19:38:16 +0200
Subject: gnu: lablgtk3: Update to 3.1.2.

* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.2.
[arguments]: Do not build extensions anymore (missing dependency)
* gnu/packages/games.scm (laby)[inputs]: Use
  `ocaml-lablgtk3-sourceview3'.
* gnu/packages/maths.scm (frama-c)[inputs]: Use
  `ocaml-lablgtk3-sourceview3'.
* gnu/packages/coq.scm (coq-ide)[inputs]: Use
  `ocaml-lablgtk3-sourceview3'.
---
 gnu/packages/ocaml.scm | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'gnu/packages/ocaml.scm')

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index a995ffe08a..2ac4459b4d 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -7998,7 +7998,7 @@ (define-public ocaml-mparser-pcre
 (define-public lablgtk3
   (package
     (name "lablgtk")
-    (version "3.1.1")
+    (version "3.1.2")
     (source (origin
               (method git-fetch)
               (uri (git-reference
@@ -8007,10 +8007,11 @@ (define-public lablgtk3
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "11qfc39cmwfwfpwmjh6wh98zwdv6p73bv8hqwcsss869vs1r7gmn"))))
+                "0b17w9qb1f02h3313cm62mrqlhwxficppzm72n7sf8mmwrylxbm7"))))
     (build-system dune-build-system)
     (arguments
-     `(#:test-target "."
+     `(#:package "lablgtk3"
+       #:test-target "."
        #:phases
        (modify-phases %standard-phases
          (add-before 'build 'make-writable
@@ -8026,7 +8027,7 @@ (define-public lablgtk3
     (propagated-inputs
      (list ocaml-cairo2))
     (inputs
-     (list camlp5 gtk+ gtksourceview-3 gtkspell3))
+     (list camlp5 gtk+))
     (native-inputs
      (list pkg-config))
     (home-page "https://github.com/garrigue/lablgtk")
-- 
cgit v1.2.3