public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

treewide: stdenv.lib -> lib

Browse Source
This commit is contained in:
Ben Siraphob
2021-01-16 17:58:11 +07:00
parent a9bb54359e
commit badf51221d
977 changed files with 2613 additions and 2613 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/science/logic/z3/4.4.0.nix
+4 -4
View File
@@ -1,4 +1,4 @@
{ stdenv, fetchFromGitHub, python }:
{ lib, stdenv, fetchFromGitHub, python }:
stdenv.mkDerivation rec {
name = "z3-${version}";
@@ -34,8 +34,8 @@ stdenv.mkDerivation rec {
meta = {
description = "A high-performance theorem prover and SMT solver";
homepage = "https://github.com/Z3Prover/z3";
license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.x86_64;
maintainers = with stdenv.lib.maintainers; [ thoughtpolice ttuegel ];
license = lib.licenses.mit;
platforms = lib.platforms.x86_64;
maintainers = with lib.maintainers; [ thoughtpolice ttuegel ];
};
}
pkgs/applications/science/logic/z3/default.nix
+5 -5
View File
@@ -1,4 +1,4 @@
{ stdenv, fetchFromGitHub, python, fixDarwinDylibNames
{ lib, stdenv, fetchFromGitHub, python, fixDarwinDylibNames
, javaBindings ? false
, ocamlBindings ? false
, pythonBindings ? true
@@ -9,7 +9,7 @@
assert javaBindings -> jdk != null;
assert ocamlBindings -> ocaml != null && findlib != null && zarith != null;
with stdenv.lib;
with lib;
stdenv.mkDerivation rec {
pname = "z3";
@@ -59,8 +59,8 @@ stdenv.mkDerivation rec {
meta = {
description = "A high-performance theorem prover and SMT solver";
homepage = "https://github.com/Z3Prover/z3";
license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix;
maintainers = with stdenv.lib.maintainers; [ thoughtpolice ttuegel ];
license = lib.licenses.mit;
platforms = lib.platforms.unix;
maintainers = with lib.maintainers; [ thoughtpolice ttuegel ];
};
}
pkgs/applications/science/logic/z3/tptp.nix
+2 -2
View File
@@ -1,4 +1,4 @@
{stdenv, z3, cmake}:
{lib, stdenv, z3, cmake}:
stdenv.mkDerivation rec {
pname = "z3-tptp";
version = z3.version;
@@ -26,6 +26,6 @@ stdenv.mkDerivation rec {
inherit version;
inherit (z3.meta) license homepage platforms;
description = ''TPTP wrapper for Z3 prover'';
maintainers = [stdenv.lib.maintainers.raskin];
maintainers = [lib.maintainers.raskin];
};
}