diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2021-01-15 20:21:58 +0700 |
|---|---|---|
| committer | Ben Siraphob <bensiraphob@gmail.com> | 2021-01-16 17:58:11 +0700 |
| commit | badf51221db8fae81bf9948c39eaf8342dfd5597 (patch) | |
| tree | 34eeb35ca97f0b081da465e9ddd6c120a9d2b7df /pkgs/applications/science/logic/petrinizer | |
| parent | a9bb54359eeedf2594fdf191de5b673fd1dd102d (diff) | |
| download | nixpkgs-badf51221db8fae81bf9948c39eaf8342dfd5597.tar nixpkgs-badf51221db8fae81bf9948c39eaf8342dfd5597.tar.gz nixpkgs-badf51221db8fae81bf9948c39eaf8342dfd5597.tar.bz2 nixpkgs-badf51221db8fae81bf9948c39eaf8342dfd5597.tar.lz nixpkgs-badf51221db8fae81bf9948c39eaf8342dfd5597.tar.xz nixpkgs-badf51221db8fae81bf9948c39eaf8342dfd5597.tar.zst nixpkgs-badf51221db8fae81bf9948c39eaf8342dfd5597.zip | |
treewide: stdenv.lib -> lib
Diffstat (limited to 'pkgs/applications/science/logic/petrinizer')
| -rw-r--r-- | pkgs/applications/science/logic/petrinizer/default.nix | 6 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/petrinizer/sbv-7.13.nix | 4 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/petrinizer/z3.nix | 4 |
3 files changed, 7 insertions, 7 deletions
diff --git a/pkgs/applications/science/logic/petrinizer/default.nix b/pkgs/applications/science/logic/petrinizer/default.nix index d277e0e1521..5118795978d 100644 --- a/pkgs/applications/science/logic/petrinizer/default.nix +++ b/pkgs/applications/science/logic/petrinizer/default.nix @@ -1,6 +1,6 @@ { mkDerivation, callPackage, buildPackages , async, base, bytestring, containers, fetchFromGitLab, mtl -, parallel-io, parsec, stdenv, stm, transformers +, parallel-io, parsec, lib, stdenv, stm, transformers }: let z3 = callPackage ./z3.nix { gomp = null; z3 = buildPackages.z3; }; @@ -26,6 +26,6 @@ mkDerivation rec { transformers ]; description = "Safety and Liveness Analysis of Petri Nets with SMT solvers"; - license = stdenv.lib.licenses.gpl3; - maintainers = with stdenv.lib.maintainers; [ raskin ]; + license = lib.licenses.gpl3; + maintainers = with lib.maintainers; [ raskin ]; } diff --git a/pkgs/applications/science/logic/petrinizer/sbv-7.13.nix b/pkgs/applications/science/logic/petrinizer/sbv-7.13.nix index ed10e9f3db1..96e216417df 100644 --- a/pkgs/applications/science/logic/petrinizer/sbv-7.13.nix +++ b/pkgs/applications/science/logic/petrinizer/sbv-7.13.nix @@ -1,7 +1,7 @@ { mkDerivation, array, async, base, bytestring, containers , crackNum, deepseq, directory, doctest, filepath, generic-deriving , ghc, Glob, hlint, mtl, pretty, process, QuickCheck, random -, stdenv, syb, tasty, tasty-golden, tasty-hunit, tasty-quickcheck +, lib, stdenv, syb, tasty, tasty-golden, tasty-hunit, tasty-quickcheck , template-haskell, time, z3 }: mkDerivation { @@ -22,5 +22,5 @@ mkDerivation { testSystemDepends = [ z3 ]; homepage = "http://leventerkok.github.com/sbv/"; description = "SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"; - license = stdenv.lib.licenses.bsd3; + license = lib.licenses.bsd3; } diff --git a/pkgs/applications/science/logic/petrinizer/z3.nix b/pkgs/applications/science/logic/petrinizer/z3.nix index 4d868054c09..3574954c376 100644 --- a/pkgs/applications/science/logic/petrinizer/z3.nix +++ b/pkgs/applications/science/logic/petrinizer/z3.nix @@ -1,5 +1,5 @@ { mkDerivation, fetchpatch -, base, containers, gomp, hspec, QuickCheck, stdenv +, base, containers, gomp, hspec, QuickCheck, lib, stdenv , transformers, z3 }: mkDerivation { @@ -13,7 +13,7 @@ mkDerivation { testHaskellDepends = [ base hspec QuickCheck ]; homepage = "https://github.com/IagoAbal/haskell-z3"; description = "Bindings for the Z3 Theorem Prover"; - license = stdenv.lib.licenses.bsd3; + license = lib.licenses.bsd3; doCheck = false; patches = [ (fetchpatch { |