Merge pull request #155173: framac: Update to GTK 3
commitf25b876cbb206ea1491017ce799c06cf8349354c
authorpiegames <git@piegames.de>
dateMon 24 Jan 2022, 00:45 (5 years ago)
parente639c04701dcec
pkgs/development/tools/analysis/frama-c/default.nix+2−2
@@ -44,8 +44,8 @@ stdenv.mkDerivation rec {
4444 nativeBuildInputs = [ autoconf wrapGAppsHook ];
4545
4646 buildInputs = with ocamlPackages; [
47− ncurses ocaml findlib ltl2ba ocamlgraph ocamlgraph_gtk yojson menhirLib camlzip
48− lablgtk coq graphviz zarith apron why3 mlgmpidl doxygen
47+ ncurses ocaml findlib ltl2ba ocamlgraph yojson menhirLib camlzip
48+ lablgtk3 lablgtk3-sourceview3 coq graphviz zarith apron why3 mlgmpidl doxygen
4949 gdk-pixbuf
5050 ];
5151