b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Merge pull request #155173: framac: Update to GTK 3

Browse source
This commit is contained in:
piegames 2022-01-24 00:45:36 +01:00 committed by GitHub
parent e639c04196 701dcec351
commit f25b876cbb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/development/tools/analysis/frama-c/default.nix
View file

@ -44,8 +44,8 @@ stdenv.mkDerivation rec {
nativeBuildInputs = [ autoconf wrapGAppsHook ];
buildInputs = with ocamlPackages; [
ncurses ocaml findlib ltl2ba ocamlgraph ocamlgraph_gtk yojson menhirLib camlzip
lablgtk coq graphviz zarith apron why3 mlgmpidl doxygen
ncurses ocaml findlib ltl2ba ocamlgraph yojson menhirLib camlzip
lablgtk3 lablgtk3-sourceview3 coq graphviz zarith apron why3 mlgmpidl doxygen
gdk-pixbuf
];