kookie
/
nomicon
1
0
Fork 0
Code Issues Projects Releases 1 Activity

why3: use GTK3

Browse Source
launchpad/nixpkgs/master
Vincent Laporte 3 years ago committed by Vincent Laporte
parent 773bdf6998
commit d60534722e
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      pkgs/applications/science/logic/why3/default.nix

2
pkgs/applications/science/logic/why3/default.nix
Unescape View File

@ -17,7 +17,7 @@ stdenv.mkDerivation {
# Documentation
rubber hevea
# GUI
lablgtk
lablgtk3-sourceview3
# WebIDE
js_of_ocaml js_of_ocaml-ppx
# S-expression output for why3pp

Write Preview
Loading…
Cancel
Save