summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2022-08-06 09:48:04 +0200
committerJulien Lepiller <julien@lepiller.eu>2022-08-10 23:32:03 +0200
commit8c5af3376266117fb52555e77d4221a3d69342b7 (patch)
tree6cc1bfeef3dc1e1e88d2be9c5a97803563ad98a9 /gnu/packages/maths.scm
parentb21d05d232ec0aba5abec20e83cc52c1d5163cc3 (diff)
gnu: frama-c: Use lablgtk3.
* gnu/packages/maths.scm (frama-c): Build the graphical interface.
Diffstat (limited to 'gnu/packages/maths.scm')
-rw-r--r--gnu/packages/maths.scm1
1 files changed, 1 insertions, 0 deletions
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