01/03: gnu: frama-c: Use lablgtk3.

[guix-commits]

roptat pushed a commit to branch master
in repository guix.

commit 8c5af3376266117fb52555e77d4221a3d69342b7
Author: Julien Lepiller <julien@lepiller.eu>
AuthorDate: Sat Aug 6 09:48:04 2022 +0200

    gnu: frama-c: Use lablgtk3.
    
    * gnu/packages/maths.scm (frama-c): Build the graphical interface.
---
 gnu/packages/maths.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 52a6d6259f..c79058ab42 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -7526,6 +7526,7 @@ of C, Java, or Ada programs.")
            ocaml-graph
            ocaml-yojson
            ocaml-zarith
+           lablgtk3
            why3))
     (native-search-paths
      (list (search-path-specification