mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-21 05:00:16 +00:00
Code Issues Wiki Activity

* libX11 dep MCRL2

Browse source 
svn path=/nixpkgs/trunk/; revision=15885
This commit is contained in:
Rob Vermaas 2009-06-07 16:17:49 +00:00
parent 86e3458dd7
commit 935d9f3610
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/tools/misc/mcrl2/default.nix
View file

@ -1,4 +1,4 @@
{stdenv, fetchurl, mesa, wxGTK}:
{stdenv, fetchurl, mesa, wxGTK, libX11}:
stdenv.mkDerivation {
name = "mcrl2-200901";
@ -7,7 +7,7 @@ stdenv.mkDerivation {
sha256 = "0lji31d7dv15q8092b8g01j023dd7miq3nw8klgc8jd136xpwdp9";
};
buildInputs = [ mesa wxGTK ] ;
buildInputs = [ mesa wxGTK libX11 ] ;
}