Make Coq buildable on any Unix
This commit is contained in:
parent
66bcd77f0e
commit
0a6b317071
|
@ -55,6 +55,6 @@ stdenv.mkDerivation {
|
||||||
homepage = "http://coq.inria.fr";
|
homepage = "http://coq.inria.fr";
|
||||||
license = "LGPL";
|
license = "LGPL";
|
||||||
maintainers = with stdenv.lib.maintainers; [ roconnor thoughtpolice ];
|
maintainers = with stdenv.lib.maintainers; [ roconnor thoughtpolice ];
|
||||||
platforms = stdenv.lib.platforms.linux;
|
platforms = stdenv.lib.platforms.unix;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue