diff options
author | Profpatsch <mail@profpatsch.de> | 2021-01-11 08:54:33 +0100 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2021-01-11 10:38:22 +0100 |
commit | 4a7f99d55d299453a9c2397f90b33d1120669775 (patch) | |
tree | 9fca8e9c9970d0a00ce56dfe11b63ae76b00cf01 /pkgs/applications/science | |
parent | e87aef06e00c42b26789321454d7bd609548cc12 (diff) | |
download | nixpkgs-4a7f99d55d299453a9c2397f90b33d1120669775.tar nixpkgs-4a7f99d55d299453a9c2397f90b33d1120669775.tar.gz nixpkgs-4a7f99d55d299453a9c2397f90b33d1120669775.tar.bz2 nixpkgs-4a7f99d55d299453a9c2397f90b33d1120669775.tar.lz nixpkgs-4a7f99d55d299453a9c2397f90b33d1120669775.tar.xz nixpkgs-4a7f99d55d299453a9c2397f90b33d1120669775.tar.zst nixpkgs-4a7f99d55d299453a9c2397f90b33d1120669775.zip |
treewide: with stdenv.lib; in meta -> with lib;
Part of: https://github.com/NixOS/nixpkgs/issues/108938 meta = with stdenv.lib; is a widely used pattern. We want to slowly remove the `stdenv.lib` indirection and encourage people to use `lib` directly. Thus let’s start with the meta field. This used a rewriting script to mostly automatically replace all occurances of this pattern, and add the `lib` argument to the package header if it doesn’t exist yet. The script in its current form is available at https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
Diffstat (limited to 'pkgs/applications/science')
213 files changed, 411 insertions, 411 deletions
diff --git a/pkgs/applications/science/astronomy/gpredict/default.nix b/pkgs/applications/science/astronomy/gpredict/default.nix index 1ae80c0b0aa..a089bf6534b 100644 --- a/pkgs/applications/science/astronomy/gpredict/default.nix +++ b/pkgs/applications/science/astronomy/gpredict/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, pkgconfig, intltool +{ lib, stdenv, fetchurl, pkgconfig, intltool , gtk3, glib, curl, goocanvas2, gpsd , hamlib, wrapGAppsHook }: @@ -17,7 +17,7 @@ in stdenv.mkDerivation { nativeBuildInputs = [ pkgconfig intltool wrapGAppsHook ]; buildInputs = [ curl glib gtk3 goocanvas2 gpsd hamlib ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Real time satellite tracking and orbit prediction"; longDescription = '' Gpredict is a real time satellite tracking and orbit prediction program diff --git a/pkgs/applications/science/astronomy/phd2/default.nix b/pkgs/applications/science/astronomy/phd2/default.nix index 7ddad385227..054a73dec7a 100644 --- a/pkgs/applications/science/astronomy/phd2/default.nix +++ b/pkgs/applications/science/astronomy/phd2/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, pkg-config, cmake, gtk3, wxGTK30-gtk3, +{ lib, stdenv, fetchFromGitHub, pkg-config, cmake, gtk3, wxGTK30-gtk3, curl, gettext, glib, indilib, libnova, wrapGAppsHook }: stdenv.mkDerivation rec { @@ -24,7 +24,7 @@ stdenv.mkDerivation rec { mv $out/bin/.phd2.bin-wrapped $out/bin/.phd2-wrapped.bin ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://openphdguiding.org/"; description = "Telescope auto-guidance application"; license = licenses.bsd3; diff --git a/pkgs/applications/science/astronomy/siril/default.nix b/pkgs/applications/science/astronomy/siril/default.nix index 7ae3e011973..cd78b644eb0 100644 --- a/pkgs/applications/science/astronomy/siril/default.nix +++ b/pkgs/applications/science/astronomy/siril/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitLab, fetchFromGitHub, pkg-config, meson, ninja, +{ lib, stdenv, fetchFromGitLab, fetchFromGitHub, pkg-config, meson, ninja, git, criterion, wrapGAppsHook, gtk3, libconfig, gnuplot, opencv, fftwFloat, cfitsio, gsl, exiv2, curl, librtprocess, ffmpeg, libraw, libtiff, libpng, libjpeg, libheif, ffms @@ -35,7 +35,7 @@ stdenv.mkDerivation rec { cd nixbld ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://www.siril.org/"; description = "Astronomical image processing tool"; license = licenses.gpl3; diff --git a/pkgs/applications/science/astronomy/xearth/default.nix b/pkgs/applications/science/astronomy/xearth/default.nix index 752e25b4d8d..57054cc491a 100644 --- a/pkgs/applications/science/astronomy/xearth/default.nix +++ b/pkgs/applications/science/astronomy/xearth/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, imake, gccmakedep, libXt, libXext }: +{ lib, stdenv, fetchurl, imake, gccmakedep, libXt, libXext }: stdenv.mkDerivation rec { pname = "xearth"; @@ -15,7 +15,7 @@ stdenv.mkDerivation rec { installFlags = [ "DESTDIR=$(out)/" "BINDIR=bin" "MANDIR=man/man1"]; installTargets = [ "install" "install.man" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "sets the X root window to an image of the Earth"; homepage = "http://xplanet.org"; longDescription = diff --git a/pkgs/applications/science/astronomy/xplanet/default.nix b/pkgs/applications/science/astronomy/xplanet/default.nix index a314678b6ea..63a1feab42f 100644 --- a/pkgs/applications/science/astronomy/xplanet/default.nix +++ b/pkgs/applications/science/astronomy/xplanet/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, fetchpatch, pkgconfig, freetype, pango, libpng, libtiff +{lib, stdenv, fetchurl, fetchpatch, pkgconfig, freetype, pango, libpng, libtiff , giflib, libjpeg, netpbm}: stdenv.mkDerivation rec { @@ -28,7 +28,7 @@ stdenv.mkDerivation rec { NIX_CFLAGS_COMPILE = stdenv.lib.optionalString stdenv.cc.isClang "-Wno-error=c++11-narrowing"; - meta = with stdenv.lib; { + meta = with lib; { description = "Renders an image of the earth or other planets into the X root window"; homepage = "http://xplanet.sourceforge.net"; license = licenses.gpl2; diff --git a/pkgs/applications/science/biology/EZminc/default.nix b/pkgs/applications/science/biology/EZminc/default.nix index f9d3e4d4e12..17d8944128e 100644 --- a/pkgs/applications/science/biology/EZminc/default.nix +++ b/pkgs/applications/science/biology/EZminc/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, pkgconfig, libminc, bicpl, itk4, fftwFloat, gsl }: +{ lib, stdenv, fetchFromGitHub, cmake, pkgconfig, libminc, bicpl, itk4, fftwFloat, gsl }: stdenv.mkDerivation rec { pname = "EZminc"; @@ -19,7 +19,7 @@ stdenv.mkDerivation rec { "-DEZMINC_BUILD_MRFSEG=TRUE" "-DEZMINC_BUILD_DD=TRUE" ]; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://github.com/BIC-MNI/${pname}"; description = "Collection of Perl and shell scripts for processing MINC files"; maintainers = with maintainers; [ bcdarwin ]; diff --git a/pkgs/applications/science/biology/N3/default.nix b/pkgs/applications/science/biology/N3/default.nix index 13ffc305d39..2f4aa4ce392 100644 --- a/pkgs/applications/science/biology/N3/default.nix +++ b/pkgs/applications/science/biology/N3/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, makeWrapper, +{ lib, stdenv, fetchFromGitHub, cmake, makeWrapper, perlPackages, libminc, EBTKS }: @@ -25,7 +25,7 @@ stdenv.mkDerivation rec { done ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://github.com/BIC-MNI/N3"; description = "MRI non-uniformity correction for MINC files"; maintainers = with maintainers; [ bcdarwin ]; diff --git a/pkgs/applications/science/biology/ants/default.nix b/pkgs/applications/science/biology/ants/default.nix index caf759ce7e3..7aa41bdf6f0 100644 --- a/pkgs/applications/science/biology/ants/default.nix +++ b/pkgs/applications/science/biology/ants/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, fetchpatch, cmake, makeWrapper, itk4, vtk_7, Cocoa }: +{ lib, stdenv, fetchFromGitHub, fetchpatch, cmake, makeWrapper, itk4, vtk_7, Cocoa }: stdenv.mkDerivation rec { pname = "ANTs"; @@ -30,7 +30,7 @@ stdenv.mkDerivation rec { done ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://github.com/ANTsX/ANTs"; description = "Advanced normalization toolkit for medical image registration and other processing"; maintainers = with maintainers; [ bcdarwin ]; diff --git a/pkgs/applications/science/biology/aragorn/default.nix b/pkgs/applications/science/biology/aragorn/default.nix index 168bd5c6aa6..fa0c10b00c2 100644 --- a/pkgs/applications/science/biology/aragorn/default.nix +++ b/pkgs/applications/science/biology/aragorn/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl }: +{ lib, stdenv, fetchurl }: stdenv.mkDerivation rec { version = "1.2.38"; @@ -18,7 +18,7 @@ stdenv.mkDerivation rec { mkdir -p $out/man/1 && cp aragorn.1 $out/man/1 ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Detects tRNA, mtRNA, and tmRNA genes in nucleotide sequences"; homepage = "http://mbio-serv2.mbioekol.lu.se/ARAGORN/"; license = licenses.gpl2; diff --git a/pkgs/applications/science/biology/bayescan/default.nix b/pkgs/applications/science/biology/bayescan/default.nix index 4e216fbdbe6..7c4f198b842 100644 --- a/pkgs/applications/science/biology/bayescan/default.nix +++ b/pkgs/applications/science/biology/bayescan/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, unzip, llvmPackages }: +{ lib, stdenv, fetchurl, unzip, llvmPackages }: stdenv.mkDerivation rec { pname = "bayescan"; @@ -29,7 +29,7 @@ stdenv.mkDerivation rec { cp -r ../*pdf ../input_examples ../"R functions" $out/share/doc/bayescan ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Detecting natural selection from population-based genetic data"; homepage = "http://cmpg.unibe.ch/software/BayeScan"; license = licenses.gpl3; diff --git a/pkgs/applications/science/biology/bcftools/default.nix b/pkgs/applications/science/biology/bcftools/default.nix index d1b033dc4e2..f4e2db01fbc 100644 --- a/pkgs/applications/science/biology/bcftools/default.nix +++ b/pkgs/applications/science/biology/bcftools/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, htslib, zlib, bzip2, lzma, curl, perl, python, bash }: +{ lib, stdenv, fetchurl, htslib, zlib, bzip2, lzma, curl, perl, python, bash }: stdenv.mkDerivation rec { pname = "bcftools"; @@ -27,7 +27,7 @@ stdenv.mkDerivation rec { doCheck = true; - meta = with stdenv.lib; { + meta = with lib; { description = "Tools for manipulating BCF2/VCF/gVCF format, SNP and short indel sequence variants"; license = licenses.mit; homepage = "http://www.htslib.org/"; diff --git a/pkgs/applications/science/biology/bedtools/default.nix b/pkgs/applications/science/biology/bedtools/default.nix index f92e912f680..cfa22ae5ac8 100644 --- a/pkgs/applications/science/biology/bedtools/default.nix +++ b/pkgs/applications/science/biology/bedtools/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchFromGitHub, zlib, python, bzip2, lzma}: +{lib, stdenv, fetchFromGitHub, zlib, python, bzip2, lzma}: stdenv.mkDerivation rec { pname = "bedtools"; @@ -17,7 +17,7 @@ stdenv.mkDerivation rec { buildPhase = "make prefix=$out SHELL=${stdenv.shell} CXX=${cxx} CC=${cc} -j $NIX_BUILD_CORES"; installPhase = "make prefix=$out SHELL=${stdenv.shell} CXX=${cxx} CC=${cc} install"; - meta = with stdenv.lib; { + meta = with lib; { description = "A powerful toolset for genome arithmetic"; license = licenses.gpl2; homepage = "https://bedtools.readthedocs.io/en/latest/"; diff --git a/pkgs/applications/science/biology/bftools/default.nix b/pkgs/applications/science/biology/bftools/default.nix index 2ecefee340f..89ebdcee65b 100644 --- a/pkgs/applications/science/biology/bftools/default.nix +++ b/pkgs/applications/science/biology/bftools/default.nix @@ -31,7 +31,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ makeWrapper ]; - meta = with stdenv.lib; { + meta = with lib; { description = "A bundle of scripts for using Bio-Formats on the command line with bioformats_package.jar already included"; license = licenses.gpl2; platforms = platforms.all; diff --git a/pkgs/applications/science/biology/blast/default.nix b/pkgs/applications/science/biology/blast/default.nix index 95a1b905e9e..a72f16938d4 100644 --- a/pkgs/applications/science/biology/blast/default.nix +++ b/pkgs/applications/science/biology/blast/default.nix @@ -94,7 +94,7 @@ stdenv.mkDerivation rec { # Many tests require either network access or locally available databases doCheck = false; - meta = with stdenv.lib; { + meta = with lib; { description = ''Basic Local Alignment Search Tool (BLAST) finds regions of similarity between biological sequences''; homepage = "https://blast.ncbi.nlm.nih.gov/Blast.cgi"; diff --git a/pkgs/applications/science/biology/bowtie/default.nix b/pkgs/applications/science/biology/bowtie/default.nix index 964eeddb461..916bba5c051 100644 --- a/pkgs/applications/science/biology/bowtie/default.nix +++ b/pkgs/applications/science/biology/bowtie/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, zlib }: +{ lib, stdenv, fetchFromGitHub, zlib }: stdenv.mkDerivation rec { pname = "bowtie"; @@ -15,7 +15,7 @@ stdenv.mkDerivation rec { installFlags = [ "prefix=$(out)" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "An ultrafast memory-efficient short read aligner"; license = licenses.artistic2; homepage = "http://bowtie-bio.sf.net/bowtie"; diff --git a/pkgs/applications/science/biology/bowtie2/default.nix b/pkgs/applications/science/biology/bowtie2/default.nix index 603e5892ff1..715f5bb8bfa 100644 --- a/pkgs/applications/science/biology/bowtie2/default.nix +++ b/pkgs/applications/science/biology/bowtie2/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, tbb, zlib }: +{ lib, stdenv, fetchFromGitHub, cmake, tbb, zlib }: stdenv.mkDerivation rec { pname = "bowtie2"; @@ -15,7 +15,7 @@ stdenv.mkDerivation rec { buildInputs = [ tbb zlib ]; - meta = with stdenv.lib; { + meta = with lib; { description = "An ultrafast and memory-efficient tool for aligning sequencing reads to long reference sequences"; license = licenses.gpl3; homepage = "http://bowtie-bio.sf.net/bowtie2"; diff --git a/pkgs/applications/science/biology/bwa/default.nix b/pkgs/applications/science/biology/bwa/default.nix index 10859d9e8c1..a2a11b1d451 100644 --- a/pkgs/applications/science/biology/bwa/default.nix +++ b/pkgs/applications/science/biology/bwa/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, zlib }: +{ lib, stdenv, fetchurl, zlib }: stdenv.mkDerivation rec { pname = "bwa"; @@ -28,7 +28,7 @@ stdenv.mkDerivation rec { install -vD -t $out/include bwt.h ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A software package for mapping low-divergent sequences against a large reference genome, such as the human genome"; license = licenses.gpl3; homepage = "http://bio-bwa.sourceforge.net/"; diff --git a/pkgs/applications/science/biology/cd-hit/default.nix b/pkgs/applications/science/biology/cd-hit/default.nix index 0db788b0f74..94012b1c2ff 100644 --- a/pkgs/applications/science/biology/cd-hit/default.nix +++ b/pkgs/applications/science/biology/cd-hit/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, makeWrapper, zlib, perl, perlPackages }: +{ lib, stdenv, fetchFromGitHub, makeWrapper, zlib, perl, perlPackages }: stdenv.mkDerivation rec { version = "4.8.1"; @@ -24,7 +24,7 @@ stdenv.mkDerivation rec { wrapProgram $out/bin/plot_2d.pl --prefix PERL5LIB : $PERL5LIB wrapProgram $out/bin/clstr_list_sort.pl --prefix PERL5LIB : $PERL5LIB ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Clustering and comparing protein or nucleotide sequences"; homepage = "http://weizhongli-lab.org/cd-hit/"; license = licenses.gpl2; diff --git a/pkgs/applications/science/biology/clustal-omega/default.nix b/pkgs/applications/science/biology/clustal-omega/default.nix index 71cf8798537..6377e1fce85 100644 --- a/pkgs/applications/science/biology/clustal-omega/default.nix +++ b/pkgs/applications/science/biology/clustal-omega/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, argtable }: +{ lib, stdenv, fetchurl, argtable }: stdenv.mkDerivation rec { version = "1.2.4"; @@ -22,7 +22,7 @@ stdenv.mkDerivation rec { done ''; - meta = with stdenv.lib; { + meta = with lib; { description = "General purpose multiple sequence alignment program for protein and DNA/RNA"; homepage = "http://www.clustal.org/omega/"; license = licenses.gpl2; diff --git a/pkgs/applications/science/biology/cmtk/default.nix b/pkgs/applications/science/biology/cmtk/default.nix index 7aef4c07281..ea4f55ba475 100644 --- a/pkgs/applications/science/biology/cmtk/default.nix +++ b/pkgs/applications/science/biology/cmtk/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, cmake}: +{lib, stdenv, fetchurl, cmake}: stdenv.mkDerivation { name = "cmtk-3.3.1"; @@ -13,7 +13,7 @@ stdenv.mkDerivation { NIX_CFLAGS_COMPILE = stdenv.lib.optionalString stdenv.cc.isClang "-Wno-error=c++11-narrowing"; - meta = with stdenv.lib; { + meta = with lib; { description = "Computational Morphometry Toolkit "; longDescription = ''A software toolkit for computational morphometry of biomedical images, CMTK comprises a set of command line tools and a diff --git a/pkgs/applications/science/biology/conglomerate/default.nix b/pkgs/applications/science/biology/conglomerate/default.nix index 8fb8e17eef8..592ab2cd663 100644 --- a/pkgs/applications/science/biology/conglomerate/default.nix +++ b/pkgs/applications/science/biology/conglomerate/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, coreutils, perlPackages, bicpl, libminc, zlib, minc_tools, +{ lib, stdenv, fetchFromGitHub, cmake, coreutils, perlPackages, bicpl, libminc, zlib, minc_tools, makeWrapper }: stdenv.mkDerivation rec { @@ -27,7 +27,7 @@ stdenv.mkDerivation rec { done ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://github.com/BIC-MNI/conglomerate"; description = "More command-line utilities for working with MINC files"; maintainers = with maintainers; [ bcdarwin ]; diff --git a/pkgs/applications/science/biology/dcm2niix/default.nix b/pkgs/applications/science/biology/dcm2niix/default.nix index a59e5d2be2d..7ec5476cb82 100644 --- a/pkgs/applications/science/biology/dcm2niix/default.nix +++ b/pkgs/applications/science/biology/dcm2niix/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromGitHub , cmake , libyamlcpp @@ -19,7 +19,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ cmake git ]; buildInputs = [ libyamlcpp ]; - meta = with stdenv.lib; { + meta = with lib; { description = "DICOM to NIfTI converter"; longDescription = '' dcm2niix is a designed to convert neuroimaging data from the diff --git a/pkgs/applications/science/biology/delly/default.nix b/pkgs/applications/science/biology/delly/default.nix index 8f4dd774526..7a7e3f13c7a 100644 --- a/pkgs/applications/science/biology/delly/default.nix +++ b/pkgs/applications/science/biology/delly/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchpatch, fetchFromGitHub, htslib, zlib, bzip2, lzma, ncurses, boost }: +{ lib, stdenv, fetchpatch, fetchFromGitHub, htslib, zlib, bzip2, lzma, ncurses, boost }: stdenv.mkDerivation rec { pname = "delly"; @@ -23,7 +23,7 @@ stdenv.mkDerivation rec { runHook postInstall ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Structural variant caller for mapped DNA sequenced data"; license = licenses.bsd3; maintainers = with maintainers; [ scalavision ]; diff --git a/pkgs/applications/science/biology/diamond/default.nix b/pkgs/applications/science/biology/diamond/default.nix index dd1e13ec716..2e11c1d8c58 100644 --- a/pkgs/applications/science/biology/diamond/default.nix +++ b/pkgs/applications/science/biology/diamond/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, cmake, zlib }: +{ lib, stdenv, fetchurl, cmake, zlib }: stdenv.mkDerivation { name = "diamond-0.8.36"; @@ -15,7 +15,7 @@ stdenv.mkDerivation { nativeBuildInputs = [ cmake ]; buildInputs = [ zlib ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Accelerated BLAST compatible local sequence aligner"; longDescription = '' A sequence aligner for protein and translated DNA diff --git a/pkgs/applications/science/biology/ecopcr/default.nix b/pkgs/applications/science/biology/ecopcr/default.nix index 2e744c7b2b9..b3029f586ad 100644 --- a/pkgs/applications/science/biology/ecopcr/default.nix +++ b/pkgs/applications/science/biology/ecopcr/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, gcc, zlib, python27 }: +{ lib, stdenv, fetchurl, gcc, zlib, python27 }: stdenv.mkDerivation rec { name = "ecopcr-0.8.0"; @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { chmod a+x $out/bin/ecoPCRFormat ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Electronic PCR software tool"; longDescription = '' ecoPCR is an electronic PCR software developed by the LECA. It diff --git a/pkgs/applications/science/biology/eggnog-mapper/default.nix b/pkgs/applications/science/biology/eggnog-mapper/default.nix index 3ef52e54393..c6defb245c7 100644 --- a/pkgs/applications/science/biology/eggnog-mapper/default.nix +++ b/pkgs/applications/science/biology/eggnog-mapper/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, fetchpatch, makeWrapper, python27Packages, wget, diamond, hmmer }: +{ lib, stdenv, fetchFromGitHub, fetchpatch, makeWrapper, python27Packages, wget, diamond, hmmer }: python27Packages.buildPythonApplication rec { pname = "eggnog-mapper"; @@ -30,7 +30,7 @@ python27Packages.buildPythonApplication rec { # the user can download only those that interest them. doCheck = false; - meta = with stdenv.lib; { + meta = with lib; { description = "Fast genome-wide functional annotation through orthology assignment"; license = licenses.gpl2; homepage = "https://github.com/eggnogdb/eggnog-mapper/wiki"; diff --git a/pkgs/applications/science/biology/est-sfs/default.nix b/pkgs/applications/science/biology/est-sfs/default.nix index 1b15c06c670..814baa45d8c 100644 --- a/pkgs/applications/science/biology/est-sfs/default.nix +++ b/pkgs/applications/science/biology/est-sfs/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, gsl }: +{ lib, stdenv, fetchurl, gsl }: stdenv.mkDerivation rec { pname = "est-sfs"; @@ -18,7 +18,7 @@ stdenv.mkDerivation rec { cp est-sfs-documentation.pdf $out/share/doc/${pname} ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://sourceforge.net/projects/est-usfs"; description = "Estimate the unfolded site frequency spectrum and ancestral states"; license = licenses.gpl3; diff --git a/pkgs/applications/science/biology/exonerate/default.nix b/pkgs/applications/science/biology/exonerate/default.nix index b2c49ab0076..9f87d0117df 100644 --- a/pkgs/applications/science/biology/exonerate/default.nix +++ b/pkgs/applications/science/biology/exonerate/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, glib, pkgconfig }: +{ lib, stdenv, fetchurl, glib, pkgconfig }: stdenv.mkDerivation rec { version = "2.4.0"; @@ -15,7 +15,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ pkgconfig ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Generic tool for sequence alignment"; homepage = "https://www.ebi.ac.uk/about/vertebrate-genomics/software/exonerate"; license = licenses.gpl3; diff --git a/pkgs/applications/science/biology/fastp/default.nix b/pkgs/applications/science/biology/fastp/default.nix index c68486dbcd6..e396c8597d2 100644 --- a/pkgs/applications/science/biology/fastp/default.nix +++ b/pkgs/applications/science/biology/fastp/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromGitHub , zlib }: @@ -20,7 +20,7 @@ stdenv.mkDerivation rec { install -D fastp $out/bin/fastp ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Ultra-fast all-in-one FASTQ preprocessor"; license = licenses.mit; homepage = "https://github.com/OpenGene/fastp"; diff --git a/pkgs/applications/science/biology/freebayes/default.nix b/pkgs/applications/science/biology/freebayes/default.nix index bd80df56cb9..32ab614b968 100644 --- a/pkgs/applications/science/biology/freebayes/default.nix +++ b/pkgs/applications/science/biology/freebayes/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, zlib, bzip2, lzma }: +{ lib, stdenv, fetchFromGitHub, zlib, bzip2, lzma }: stdenv.mkDerivation rec { pname = "freebayes"; @@ -19,7 +19,7 @@ stdenv.mkDerivation rec { install -vD bin/freebayes bin/bamleftalign scripts/* -t $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Bayesian haplotype-based polymorphism discovery and genotyping"; license = licenses.mit; homepage = "https://github.com/ekg/freebayes"; diff --git a/pkgs/applications/science/biology/hisat2/default.nix b/pkgs/applications/science/biology/hisat2/default.nix index e641489b86c..ab8e26f92a0 100644 --- a/pkgs/applications/science/biology/hisat2/default.nix +++ b/pkgs/applications/science/biology/hisat2/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchFromGitHub, unzip, which, python3, perl}: +{lib, stdenv, fetchFromGitHub, unzip, which, python3, perl}: stdenv.mkDerivation rec { pname = "hisat2"; @@ -35,7 +35,7 @@ stdenv.mkDerivation rec { $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Graph based aligner"; license = licenses.gpl3; homepage = "https://ccb.jhu.edu/software/hisat2/index.shtml"; diff --git a/pkgs/applications/science/biology/hmmer/default.nix b/pkgs/applications/science/biology/hmmer/default.nix index 3b1420a1881..0f83178626b 100644 --- a/pkgs/applications/science/biology/hmmer/default.nix +++ b/pkgs/applications/science/biology/hmmer/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl }: +{ lib, stdenv, fetchurl }: stdenv.mkDerivation rec { version = "3.3.2"; @@ -9,7 +9,7 @@ stdenv.mkDerivation rec { sha256 = "0s9wf6n0qanbx8qs6igfl3vyjikwbrvh4d9d6mv54yp3xysykzlj"; }; - meta = with stdenv.lib; { + meta = with lib; { description = "Biosequence analysis using profile hidden Markov models"; longDescription = '' HMMER is used for searching sequence databases for sequence homologs, and for making sequence alignments. It implements methods using probabilistic models called profile hidden Markov models (profile HMMs). diff --git a/pkgs/applications/science/biology/igv/default.nix b/pkgs/applications/science/biology/igv/default.nix index 3f9cb1a288b..ff05ef4b8df 100644 --- a/pkgs/applications/science/biology/igv/default.nix +++ b/pkgs/applications/science/biology/igv/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchzip, jdk11 }: +{ lib, stdenv, fetchzip, jdk11 }: stdenv.mkDerivation rec { pname = "igv"; @@ -25,7 +25,7 @@ stdenv.mkDerivation rec { chmod +x $out/bin/igvtools ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://www.broadinstitute.org/igv/"; description = "A visualization tool for interactive exploration of genomic datasets"; license = licenses.mit; diff --git a/pkgs/applications/science/biology/inormalize/default.nix b/pkgs/applications/science/biology/inormalize/default.nix index e6293bb90ef..8ea115c6b25 100644 --- a/pkgs/applications/science/biology/inormalize/default.nix +++ b/pkgs/applications/science/biology/inormalize/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, makeWrapper, +{ lib, stdenv, fetchFromGitHub, cmake, makeWrapper, perlPackages, libminc, EBTKS }: @@ -27,7 +27,7 @@ stdenv.mkDerivation rec { done ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://github.com/BIC-MNI/${pname}"; description = "Program to normalize intensity of MINC files"; maintainers = with maintainers; [ bcdarwin ]; diff --git a/pkgs/applications/science/biology/itsx/default.nix b/pkgs/applications/science/biology/itsx/default.nix index 6f66cfc9cc3..843f0df5792 100644 --- a/pkgs/applications/science/biology/itsx/default.nix +++ b/pkgs/applications/science/biology/itsx/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, hmmer, perl }: +{ lib, stdenv, fetchurl, hmmer, perl }: stdenv.mkDerivation rec { version = "1.1.1"; @@ -24,7 +24,7 @@ stdenv.mkDerivation rec { cp -r ITSx_db $out/share ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Improved software detection and extraction of ITS1 and ITS2 from ribosomal ITS sequences of fungi and other eukaryotes for use in environmental sequencing"; homepage = "https://microbiology.se/software/itsx/"; license = licenses.gpl3; diff --git a/pkgs/applications/science/biology/kallisto/default.nix b/pkgs/applications/science/biology/kallisto/default.nix index 014ae14cc79..203d0520660 100644 --- a/pkgs/applications/science/biology/kallisto/default.nix +++ b/pkgs/applications/science/biology/kallisto/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, autoconf, cmake, hdf5, zlib }: +{ lib, stdenv, fetchFromGitHub, autoconf, cmake, hdf5, zlib }: stdenv.mkDerivation rec { pname = "kallisto"; @@ -20,7 +20,7 @@ stdenv.mkDerivation rec { # Parallel build fails in some cases: https://github.com/pachterlab/kallisto/issues/160 enableParallelBuilding = false; - meta = with stdenv.lib; { + meta = with lib; { description = "Program for quantifying abundances of transcripts from RNA-Seq data"; homepage = "https://pachterlab.github.io/kallisto"; license = licenses.bsd2; diff --git a/pkgs/applications/science/biology/kent/default.nix b/pkgs/applications/science/biology/kent/default.nix index 2ca5ad191d9..26c55d3dc38 100644 --- a/pkgs/applications/science/biology/kent/default.nix +++ b/pkgs/applications/science/biology/kent/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , libpng , libuuid , zlib @@ -66,7 +66,7 @@ stdenv.mkDerivation rec { cp $NIX_BUILD_TOP/bin/x86_64/* $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "UCSC Genome Bioinformatics Group's suite of biological analysis tools, i.e. the kent utilities"; license = licenses.unfree; maintainers = with maintainers; [ scalavision ]; diff --git a/pkgs/applications/science/biology/kssd/default.nix b/pkgs/applications/science/biology/kssd/default.nix index 621a8ce1576..ef853d0cd47 100644 --- a/pkgs/applications/science/biology/kssd/default.nix +++ b/pkgs/applications/science/biology/kssd/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, zlib, automake, autoconf, libtool }: +{ lib, stdenv, fetchurl, zlib, automake, autoconf, libtool }: stdenv.mkDerivation rec { pname = "kssd"; @@ -15,7 +15,7 @@ stdenv.mkDerivation rec { install -vD kssd $out/bin/kssd ''; - meta = with stdenv.lib; { + meta = with lib; { description = "K-mer substring space decomposition"; license = licenses.asl20; homepage = "https://github.com/yhg926/public_kssd"; diff --git a/pkgs/applications/science/biology/last/default.nix b/pkgs/applications/science/biology/last/default.nix index 6db7ae55da8..3a36a2194a1 100644 --- a/pkgs/applications/science/biology/last/default.nix +++ b/pkgs/applications/science/biology/last/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, unzip, zlib, python3, parallel }: +{ lib, stdenv, fetchurl, unzip, zlib, python3, parallel }: stdenv.mkDerivation rec { pname = "last"; @@ -20,7 +20,7 @@ stdenv.mkDerivation rec { done ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Genomic sequence aligner"; homepage = "http://last.cbrc.jp/"; license = licenses.gpl3; diff --git a/pkgs/applications/science/biology/lumpy/default.nix b/pkgs/applications/science/biology/lumpy/default.nix index f6267a2e017..91a00174447 100644 --- a/pkgs/applications/science/biology/lumpy/default.nix +++ b/pkgs/applications/science/biology/lumpy/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, htslib, zlib, curl, openssl, samblaster, sambamba +{ lib, stdenv, fetchFromGitHub, htslib, zlib, curl, openssl, samblaster, sambamba , samtools, hexdump, python2Packages, which }: let @@ -39,7 +39,7 @@ in stdenv.mkDerivation rec { sed -i 's|/build/source|'$out'|' $out/bin/lumpyexpress.config ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Probabilistic structural variant caller"; homepage = "https://github.com/arq5x/lumpy-sv"; maintainers = with maintainers; [ jbedo ]; diff --git a/pkgs/applications/science/biology/macse/default.nix b/pkgs/applications/science/biology/macse/default.nix index 59938addbe8..c78e142dcc6 100644 --- a/pkgs/applications/science/biology/macse/default.nix +++ b/pkgs/applications/science/biology/macse/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, jre, makeWrapper }: +{ lib, stdenv, fetchurl, jre, makeWrapper }: stdenv.mkDerivation rec { pname = "macse"; @@ -22,7 +22,7 @@ stdenv.mkDerivation rec { runHook postInstall ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Multiple alignment of coding sequences"; homepage = "https://bioweb.supagro.inra.fr/macse/"; license = licenses.gpl2; diff --git a/pkgs/applications/science/biology/manta/default.nix b/pkgs/applications/science/biology/manta/default.nix index f0f0575e055..1f46e0141da 100644 --- a/pkgs/applications/science/biology/manta/default.nix +++ b/pkgs/applications/science/biology/manta/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, zlib, python2 }: +{ lib, stdenv, fetchFromGitHub, cmake, zlib, python2 }: stdenv.mkDerivation rec { pname = "manta"; @@ -25,7 +25,7 @@ stdenv.mkDerivation rec { PYTHONPATH=$out/lib/python/pyflow:$PYTHONPATH python -c 'import pyflowTaskWrapper; import pyflow' ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Structural variant caller"; license = licenses.gpl3; homepage = "https://github.com/Illumina/manta"; diff --git a/pkgs/applications/science/biology/megahit/default.nix b/pkgs/applications/science/biology/megahit/default.nix index 3168ecb1cf8..ee2f16f389b 100644 --- a/pkgs/applications/science/biology/megahit/default.nix +++ b/pkgs/applications/science/biology/megahit/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, zlib }: +{ lib, stdenv, fetchFromGitHub, cmake, zlib }: stdenv.mkDerivation rec { pname = "megahit"; @@ -14,7 +14,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ cmake ]; buildInputs = [ zlib ]; - meta = with stdenv.lib; { + meta = with lib; { description = "An ultra-fast single-node solution for large and complex metagenomics assembly via succinct de Bruijn graph"; license = licenses.gpl3; homepage = "https://github.com/voutcn/megahit"; diff --git a/pkgs/applications/science/biology/minc-tools/default.nix b/pkgs/applications/science/biology/minc-tools/default.nix index 897c1994a50..3dece25915b 100644 --- a/pkgs/applications/science/biology/minc-tools/default.nix +++ b/pkgs/applications/science/biology/minc-tools/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, makeWrapper, flex, bison, perl, TextFormat, +{ lib, stdenv, fetchFromGitHub, cmake, makeWrapper, flex, bison, perl, TextFormat, libminc, libjpeg, nifticlib, zlib }: stdenv.mkDerivation rec { @@ -26,7 +26,7 @@ stdenv.mkDerivation rec { done ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://github.com/BIC-MNI/minc-tools"; description = "Command-line utilities for working with MINC files"; maintainers = with maintainers; [ bcdarwin ]; diff --git a/pkgs/applications/science/biology/minc-widgets/default.nix b/pkgs/applications/science/biology/minc-widgets/default.nix index 497c39a52a4..3af227d70a5 100644 --- a/pkgs/applications/science/biology/minc-widgets/default.nix +++ b/pkgs/applications/science/biology/minc-widgets/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, makeWrapper, +{ lib, stdenv, fetchFromGitHub, cmake, makeWrapper, perlPackages, libminc, octave, coreutils, minc_tools }: @@ -24,7 +24,7 @@ stdenv.mkDerivation rec { done ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://github.com/BIC-MNI/${pname}"; description = "Collection of Perl and shell scripts for processing MINC files"; maintainers = with maintainers; [ bcdarwin ]; diff --git a/pkgs/applications/science/biology/minia/default.nix b/pkgs/applications/science/biology/minia/default.nix index 2a80de733b0..6b6bc300e0d 100644 --- a/pkgs/applications/science/biology/minia/default.nix +++ b/pkgs/applications/science/biology/minia/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, hdf5, boost }: +{ lib, stdenv, fetchFromGitHub, cmake, hdf5, boost }: stdenv.mkDerivation rec { pname = "minia"; @@ -23,7 +23,7 @@ stdenv.mkDerivation rec { rm -rf thirdparty/gatb-core/gatb-core/thirdparty/{hdf5,boost} ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Short read genome assembler"; homepage = "https://github.com/GATB/minia"; license = licenses.agpl3; diff --git a/pkgs/applications/science/biology/minimap2/default.nix b/pkgs/applications/science/biology/minimap2/default.nix index e33a1753791..ae327e2c43f 100644 --- a/pkgs/applications/science/biology/minimap2/default.nix +++ b/pkgs/applications/science/biology/minimap2/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, zlib }: +{ lib, stdenv, fetchFromGitHub, zlib }: stdenv.mkDerivation rec { pname = "minimap2"; @@ -20,7 +20,7 @@ stdenv.mkDerivation rec { cp minimap2.1 $out/share/man/man1 ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A versatile pairwise aligner for genomic and spliced nucleotide sequences"; homepage = "https://lh3.github.io/minimap2"; license = licenses.mit; diff --git a/pkgs/applications/science/biology/mni_autoreg/default.nix b/pkgs/applications/science/biology/mni_autoreg/default.nix index 40ec9e0de6d..b0ec8a70e14 100644 --- a/pkgs/applications/science/biology/mni_autoreg/default.nix +++ b/pkgs/applications/science/biology/mni_autoreg/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, makeWrapper, perlPackages, libminc }: +{ lib, stdenv, fetchFromGitHub, cmake, makeWrapper, perlPackages, libminc }: stdenv.mkDerivation rec { pname = "mni_autoreg"; @@ -25,7 +25,7 @@ stdenv.mkDerivation rec { done ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://github.com/BIC-MNI/mni_autoreg"; description = "Tools for automated registration using the MINC image format"; maintainers = with maintainers; [ bcdarwin ]; diff --git a/pkgs/applications/science/biology/mosdepth/default.nix b/pkgs/applications/science/biology/mosdepth/default.nix index d2b05943f7c..4815ddf2f75 100644 --- a/pkgs/applications/science/biology/mosdepth/default.nix +++ b/pkgs/applications/science/biology/mosdepth/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchFromGitHub, nim, htslib, pcre}: +{lib, stdenv, fetchFromGitHub, nim, htslib, pcre}: let hts-nim = fetchFromGitHub { @@ -36,7 +36,7 @@ in stdenv.mkDerivation rec { installPhase = "install -Dt $out/bin mosdepth"; - meta = with stdenv.lib; { + meta = with lib; { description = "fast BAM/CRAM depth calculation for WGS, exome, or targeted sequencing"; license = licenses.mit; homepage = "https://github.com/brentp/mosdepth"; diff --git a/pkgs/applications/science/biology/mrbayes/default.nix b/pkgs/applications/science/biology/mrbayes/default.nix index 0ebd1441121..9acfea1a146 100644 --- a/pkgs/applications/science/biology/mrbayes/default.nix +++ b/pkgs/applications/science/biology/mrbayes/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, readline}: +{lib, stdenv, fetchurl, readline}: stdenv.mkDerivation rec { # FIXME: replace Makefile so we can build MPI & MAC support @@ -11,7 +11,7 @@ stdenv.mkDerivation rec { builder = ./builder.sh; buildInputs = [readline]; - meta = with stdenv.lib; { + meta = with lib; { description = "Bayesian Inference of Phylogeny"; longDescription = '' Bayesian inference of phylogeny is based upon a diff --git a/pkgs/applications/science/biology/muscle/default.nix b/pkgs/applications/science/biology/muscle/default.nix index 7ed18349259..e7c1040e593 100644 --- a/pkgs/applications/science/biology/muscle/default.nix +++ b/pkgs/applications/science/biology/muscle/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl }: +{ lib, stdenv, fetchurl }: stdenv.mkDerivation rec { _name = "muscle"; @@ -23,7 +23,7 @@ stdenv.mkDerivation rec { install -vD muscle $out/bin/muscle ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A multiple sequence alignment method with reduced time and space complexity"; license = licenses.publicDomain; homepage = "https://www.drive5.com/muscle/"; diff --git a/pkgs/applications/science/biology/neuron/default.nix b/pkgs/applications/science/biology/neuron/default.nix index 8cad5f466c5..048a9a5644d 100644 --- a/pkgs/applications/science/biology/neuron/default.nix +++ b/pkgs/applications/science/biology/neuron/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchurl , pkgconfig , automake @@ -68,7 +68,7 @@ stdenv.mkDerivation rec { propagatedBuildInputs = [ readline ncurses which libtool ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Simulation environment for empirically-based simulations of neurons and networks of neurons"; longDescription = "NEURON is a simulation environment for developing and exercising models of diff --git a/pkgs/applications/science/biology/niftyreg/default.nix b/pkgs/applications/science/biology/niftyreg/default.nix index 4e965d70fe3..d5f625893e9 100644 --- a/pkgs/applications/science/biology/niftyreg/default.nix +++ b/pkgs/applications/science/biology/niftyreg/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, cmake, zlib }: +{ lib, stdenv, fetchurl, cmake, zlib }: stdenv.mkDerivation rec { pname = "niftyreg"; @@ -14,7 +14,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ cmake ]; buildInputs = [ zlib ]; - meta = with stdenv.lib; { + meta = with lib; { homepage = "http://cmictig.cs.ucl.ac.uk/wiki/index.php/NiftyReg"; description = "Medical image registration software"; maintainers = with maintainers; [ bcdarwin ]; diff --git a/pkgs/applications/science/biology/niftyseg/default.nix b/pkgs/applications/science/biology/niftyseg/default.nix index 98cca7815ea..215ee35d78a 100644 --- a/pkgs/applications/science/biology/niftyseg/default.nix +++ b/pkgs/applications/science/biology/niftyseg/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, cmake, eigen, zlib }: +{ lib, stdenv, fetchurl, cmake, eigen, zlib }: stdenv.mkDerivation rec { pname = "niftyseg"; @@ -11,7 +11,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ cmake ]; buildInputs = [ eigen zlib ]; - meta = with stdenv.lib; { + meta = with lib; { homepage = "http://cmictig.cs.ucl.ac.uk/research/software/software-nifty/niftyseg"; description = "Software for medical image segmentation, bias field correction, and cortical thickness calculation"; maintainers = with maintainers; [ bcdarwin ]; diff --git a/pkgs/applications/science/biology/octopus/default.nix b/pkgs/applications/science/biology/octopus/default.nix index 7dee07275a0..b7a4a4c1a2a 100644 --- a/pkgs/applications/science/biology/octopus/default.nix +++ b/pkgs/applications/science/biology/octopus/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchFromGitHub, cmake, boost, gmp, htslib, zlib, lzma, pkg-config}: +{lib, stdenv, fetchFromGitHub, cmake, boost, gmp, htslib, zlib, lzma, pkg-config}: stdenv.mkDerivation rec { pname = "octopus"; @@ -19,7 +19,7 @@ stdenv.mkDerivation rec { mv $out/octopus $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Bayesian haplotype-based mutation calling"; license = licenses.mit; homepage = "https://github.com/luntergroup/octopus"; diff --git a/pkgs/applications/science/biology/picard-tools/default.nix b/pkgs/applications/science/biology/picard-tools/default.nix index af29dd77ac2..d18ca2e2a4f 100644 --- a/pkgs/applications/science/biology/picard-tools/default.nix +++ b/pkgs/applications/science/biology/picard-tools/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, jre, makeWrapper}: +{lib, stdenv, fetchurl, jre, makeWrapper}: stdenv.mkDerivation rec { pname = "picard-tools"; @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { makeWrapper ${jre}/bin/java $out/bin/picard --add-flags "-jar $out/libexec/picard/picard.jar" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Tools for high-throughput sequencing (HTS) data and formats such as SAM/BAM/CRAM and VCF"; license = licenses.mit; homepage = "https://broadinstitute.github.io/picard/"; diff --git a/pkgs/applications/science/biology/platypus/default.nix b/pkgs/applications/science/biology/platypus/default.nix index 30e45d5af0e..30bc68fb0e8 100644 --- a/pkgs/applications/science/biology/platypus/default.nix +++ b/pkgs/applications/science/biology/platypus/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchFromGitHub, python27, htslib, zlib, makeWrapper}: +{lib, stdenv, fetchFromGitHub, python27, htslib, zlib, makeWrapper}: let python = python27.withPackages (ps: with ps; [ cython ]); @@ -28,7 +28,7 @@ in stdenv.mkDerivation { makeWrapper ${python}/bin/python $out/bin/platypus --add-flags "$out/libexec/platypus/bin/Platypus.py" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "The Platypus variant caller"; license = licenses.gpl3; homepage = "https://github.com/andyrimmer/Platypus"; diff --git a/pkgs/applications/science/biology/prodigal/default.nix b/pkgs/applications/science/biology/prodigal/default.nix index ba51c93c38c..70069fe541d 100644 --- a/pkgs/applications/science/biology/prodigal/default.nix +++ b/pkgs/applications/science/biology/prodigal/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub }: +{ lib, stdenv, fetchFromGitHub }: stdenv.mkDerivation rec { pname = "prodigal"; @@ -16,7 +16,7 @@ stdenv.mkDerivation rec { "INSTALLDIR=$(out)/bin" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Fast, reliable protein-coding gene prediction for prokaryotic genomes"; homepage = "https://github.com/hyattpd/Prodigal"; license = licenses.gpl3; diff --git a/pkgs/applications/science/biology/raxml/default.nix b/pkgs/applications/science/biology/raxml/default.nix index a77505c1b3f..e4019295ece 100644 --- a/pkgs/applications/science/biology/raxml/default.nix +++ b/pkgs/applications/science/biology/raxml/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromGitHub , pkgs , mpi ? false @@ -30,7 +30,7 @@ stdenv.mkDerivation rec { mkdir -p $out/bin && cp raxmlHPC-PTHREADS-SSE3 $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A tool for Phylogenetic Analysis and Post-Analysis of Large Phylogenies"; license = licenses.gpl3; homepage = "https://sco.h-its.org/exelixis/web/software/raxml/"; diff --git a/pkgs/applications/science/biology/sambamba/default.nix b/pkgs/applications/science/biology/sambamba/default.nix index 7e33a661218..8802736efac 100644 --- a/pkgs/applications/science/biology/sambamba/default.nix +++ b/pkgs/applications/science/biology/sambamba/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, python3, which, dmd, ldc, zlib }: +{ lib, stdenv, fetchFromGitHub, python3, which, dmd, ldc, zlib }: stdenv.mkDerivation rec { pname = "sambamba"; @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { cp bin/sambamba-${version} $out/bin/sambamba ''; - meta = with stdenv.lib; { + meta = with lib; { description = "SAM/BAM processing tool"; homepage = "https://lomereiter.github.io/sambamba/"; maintainers = with maintainers; [ jbedo ]; diff --git a/pkgs/applications/science/biology/samblaster/default.nix b/pkgs/applications/science/biology/samblaster/default.nix index 6846e3c84fa..48c19666ba0 100644 --- a/pkgs/applications/science/biology/samblaster/default.nix +++ b/pkgs/applications/science/biology/samblaster/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub }: +{ lib, stdenv, fetchFromGitHub }: stdenv.mkDerivation rec { pname = "samblaster"; @@ -16,7 +16,7 @@ stdenv.mkDerivation rec { cp samblaster $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Tool for marking duplicates and extracting discordant/split reads from SAM/BAM files"; maintainers = with maintainers; [ jbedo ]; license = licenses.mit; diff --git a/pkgs/applications/science/biology/samtools/default.nix b/pkgs/applications/science/biology/samtools/default.nix index 27ed79a1f6c..7dd78ee2e63 100644 --- a/pkgs/applications/science/biology/samtools/default.nix +++ b/pkgs/applications/science/biology/samtools/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, zlib, htslib, perl, ncurses ? null }: +{ lib, stdenv, fetchurl, zlib, htslib, perl, ncurses ? null }: stdenv.mkDerivation rec { pname = "samtools"; @@ -24,7 +24,7 @@ stdenv.mkDerivation rec { doCheck = true; - meta = with stdenv.lib; { + meta = with lib; { description = "Tools for manipulating SAM/BAM/CRAM format"; license = licenses.mit; homepage = "http://www.htslib.org/"; diff --git a/pkgs/applications/science/biology/samtools/samtools_0_1_19.nix b/pkgs/applications/science/biology/samtools/samtools_0_1_19.nix index d62c2a1fe7b..590f10dd87a 100644 --- a/pkgs/applications/science/biology/samtools/samtools_0_1_19.nix +++ b/pkgs/applications/science/biology/samtools/samtools_0_1_19.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, zlib }: +{ lib, stdenv, fetchurl, zlib }: stdenv.mkDerivation rec { pname = "samtools"; @@ -23,7 +23,7 @@ stdenv.mkDerivation rec { cp samtools.1 $out/share/man ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Tools for manipulating SAM/BAM/CRAM format"; license = licenses.mit; homepage = "http://samtools.sourceforge.net/"; diff --git a/pkgs/applications/science/biology/seaview/default.nix b/pkgs/applications/science/biology/seaview/default.nix index dfee9794782..27d83f3bf89 100644 --- a/pkgs/applications/science/biology/seaview/default.nix +++ b/pkgs/applications/science/biology/seaview/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, coreutils, fltk, libjpeg }: +{ lib, stdenv, fetchurl, coreutils, fltk, libjpeg }: stdenv.mkDerivation rec { version = "5.0.4"; @@ -14,7 +14,7 @@ stdenv.mkDerivation rec { patchPhase = "sed -i 's#PATH=/bin:/usr/bin rm#'${coreutils}/bin/rm'#' seaview.cxx"; installPhase = "mkdir -p $out/bin; cp seaview $out/bin"; - meta = with stdenv.lib; { + meta = with lib; { description = "GUI for molecular phylogeny"; longDescription = '' SeaView is a multiplatform, graphical user interface for multiple sequence alignment and molecular phylogeny. diff --git a/pkgs/applications/science/biology/snpeff/default.nix b/pkgs/applications/science/biology/snpeff/default.nix index 941f107a580..32701af8392 100644 --- a/pkgs/applications/science/biology/snpeff/default.nix +++ b/pkgs/applications/science/biology/snpeff/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, jre, unzip, makeWrapper}: +{lib, stdenv, fetchurl, jre, unzip, makeWrapper}: stdenv.mkDerivation rec { pname = "snpeff"; @@ -22,7 +22,7 @@ stdenv.mkDerivation rec { makeWrapper ${jre}/bin/java $out/bin/snpsift --add-flags "-jar $out/libexec/snpeff/SnpSift.jar" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Genetic variant annotation and effect prediction toolbox"; license = licenses.lgpl3; homepage = "http://snpeff.sourceforge.net/"; diff --git a/pkgs/applications/science/biology/somatic-sniper/default.nix b/pkgs/applications/science/biology/somatic-sniper/default.nix index 298bb98ec99..034409cfb01 100644 --- a/pkgs/applications/science/biology/somatic-sniper/default.nix +++ b/pkgs/applications/science/biology/somatic-sniper/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchFromGitHub, cmake, zlib, ncurses}: +{lib, stdenv, fetchFromGitHub, cmake, zlib, ncurses}: stdenv.mkDerivation rec { pname = "somatic-sniper"; @@ -18,7 +18,7 @@ stdenv.mkDerivation rec { enableParallelBuilding = false; - meta = with stdenv.lib; { + meta = with lib; { description = "Identify single nucleotide positions that are different between tumor and normal"; license = licenses.mit; homepage = "https://github.com/genome/somatic-sniper"; diff --git a/pkgs/applications/science/biology/sortmerna/default.nix b/pkgs/applications/science/biology/sortmerna/default.nix index 4e32669dfca..01c65f4bcff 100644 --- a/pkgs/applications/science/biology/sortmerna/default.nix +++ b/pkgs/applications/science/biology/sortmerna/default.nix @@ -1,4 +1,4 @@ -{ stdenv, cmake, rocksdb, rapidjson, pkgconfig, fetchFromGitHub, fetchpatch, zlib }: +{ lib, stdenv, cmake, rocksdb, rapidjson, pkgconfig, fetchFromGitHub, fetchpatch, zlib }: stdenv.mkDerivation rec { pname = "sortmerna"; @@ -35,7 +35,7 @@ stdenv.mkDerivation rec { "target_link_libraries(sortmerna Threads::Threads" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Tools for filtering, mapping, and OTU-picking from shotgun genomics data"; license = licenses.lgpl3; platforms = platforms.x86_64; diff --git a/pkgs/applications/science/biology/spades/default.nix b/pkgs/applications/science/biology/spades/default.nix index 776719579d9..ec381693aed 100644 --- a/pkgs/applications/science/biology/spades/default.nix +++ b/pkgs/applications/science/biology/spades/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, zlib, bzip2, cmake, python3 }: +{ lib, stdenv, fetchurl, zlib, bzip2, cmake, python3 }: stdenv.mkDerivation rec { pname = "SPAdes"; @@ -17,7 +17,7 @@ stdenv.mkDerivation rec { sourceRoot = "${pname}-${version}/src"; - meta = with stdenv.lib; { + meta = with lib; { description = "St. Petersburg genome assembler: assembly toolkit containing various assembly pipelines"; license = licenses.gpl2; homepage = "http://cab.spbu.ru/software/spades/"; diff --git a/pkgs/applications/science/biology/star/default.nix b/pkgs/applications/science/biology/star/default.nix index f2e1a2a8fee..a7fe948ecfd 100644 --- a/pkgs/applications/science/biology/star/default.nix +++ b/pkgs/applications/science/biology/star/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, zlib }: +{ lib, stdenv, fetchFromGitHub, zlib }: stdenv.mkDerivation rec { pname = "star"; @@ -29,7 +29,7 @@ stdenv.mkDerivation rec { runHook postInstall ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Spliced Transcripts Alignment to a Reference"; homepage = "https://github.com/alexdobin/STAR"; license = licenses.gpl3Plus; diff --git a/pkgs/applications/science/biology/strelka/default.nix b/pkgs/applications/science/biology/strelka/default.nix index a32eddcb1cd..8585f3770fb 100644 --- a/pkgs/applications/science/biology/strelka/default.nix +++ b/pkgs/applications/science/biology/strelka/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchFromGitHub, cmake, zlib, python2}: +{lib, stdenv, fetchFromGitHub, cmake, zlib, python2}: stdenv.mkDerivation rec { pname = "strelka"; @@ -32,7 +32,7 @@ stdenv.mkDerivation rec { popd ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Germline and small variant caller"; license = licenses.gpl3; homepage = "https://github.com/Illumina/strelka"; diff --git a/pkgs/applications/science/biology/sumatools/default.nix b/pkgs/applications/science/biology/sumatools/default.nix index 1e3b479d54f..2a30f33172b 100644 --- a/pkgs/applications/science/biology/sumatools/default.nix +++ b/pkgs/applications/science/biology/sumatools/default.nix @@ -1,8 +1,8 @@ -{ gccStdenv, fetchFromGitLab, zlib }: +{ lib, gccStdenv, fetchFromGitLab, zlib }: let stdenv = gccStdenv; - meta = with stdenv.lib; { + meta = with lib; { description = "Fast and exact comparison and clustering of sequences"; homepage = "https://metabarcoding.org/sumatra"; maintainers = [ maintainers.bzizou ]; diff --git a/pkgs/applications/science/biology/svaba/default.nix b/pkgs/applications/science/biology/svaba/default.nix index ae8dc95d6fe..87b77f6ac04 100644 --- a/pkgs/applications/science/biology/svaba/default.nix +++ b/pkgs/applications/science/biology/svaba/default.nix @@ -1,4 +1,4 @@ -{ stdenv, zlib, bzip2, lzma, fetchFromGitHub } : +{ lib, stdenv, zlib, bzip2, lzma, fetchFromGitHub } : stdenv.mkDerivation rec { version = "1.1.0"; @@ -20,7 +20,7 @@ stdenv.mkDerivation rec { runHook postInstall ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Structural variant and INDEL caller for DNA sequencing data, using genome-wide local assembly"; license = licenses.gpl3; homepage = "https://github.com/walaj/svaba"; diff --git a/pkgs/applications/science/biology/tebreak/default.nix b/pkgs/applications/science/biology/tebreak/default.nix index 82c624ba7cd..b70ac29e38f 100644 --- a/pkgs/applications/science/biology/tebreak/default.nix +++ b/pkgs/applications/science/biology/tebreak/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, last, exonerate, minia, python3Packages, bwa +{ lib, stdenv, fetchFromGitHub, last, exonerate, minia, python3Packages, bwa , samtools, findutils, python }: python3Packages.buildPythonApplication rec { @@ -38,7 +38,7 @@ python3Packages.buildPythonApplication rec { ${python.interpreter} checktest.py ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Find and characterise transposable element insertions"; homepage = "https://github.com/adamewing/tebreak"; license = licenses.mit; diff --git a/pkgs/applications/science/biology/trimal/default.nix b/pkgs/applications/science/biology/trimal/default.nix index 8d7e62b6143..b27a63a2135 100755 --- a/pkgs/applications/science/biology/trimal/default.nix +++ b/pkgs/applications/science/biology/trimal/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub }: +{ lib, stdenv, fetchFromGitHub }: stdenv.mkDerivation rec { pname = "trimal"; @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { cp -a trimal readal statal $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A tool for the automated removal of spurious sequences or poorly aligned regions from a multiple sequence alignment"; license = licenses.gpl3; platforms = platforms.linux; diff --git a/pkgs/applications/science/biology/varscan/default.nix b/pkgs/applications/science/biology/varscan/default.nix index 2c395650e17..65a19b83a70 100644 --- a/pkgs/applications/science/biology/varscan/default.nix +++ b/pkgs/applications/science/biology/varscan/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, jre, makeWrapper}: +{lib, stdenv, fetchurl, jre, makeWrapper}: stdenv.mkDerivation rec { pname = "varscan"; @@ -20,7 +20,7 @@ stdenv.mkDerivation rec { makeWrapper ${jre}/bin/java $out/bin/varscan --add-flags "-jar $out/libexec/varscan/varscan.jar" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Variant calling and somatic mutation/CNV detection for next-generation sequencing data"; # VarScan 2 is free for non-commercial use by academic, # government, and non-profit/not-for-profit institutions. A diff --git a/pkgs/applications/science/biology/vcftools/default.nix b/pkgs/applications/science/biology/vcftools/default.nix index 52957b58bc9..61b2ea143b8 100755 --- a/pkgs/applications/science/biology/vcftools/default.nix +++ b/pkgs/applications/science/biology/vcftools/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, zlib, autoreconfHook, pkgconfig, perl }: +{ lib, stdenv, fetchFromGitHub, zlib, autoreconfHook, pkgconfig, perl }: stdenv.mkDerivation rec { pname = "vcftools"; @@ -13,7 +13,7 @@ stdenv.mkDerivation rec { buildInputs = [ autoreconfHook pkgconfig zlib perl ]; - meta = with stdenv.lib; { + meta = with lib; { description = "A set of tools written in Perl and C++ for working with VCF files, such as those generated by the 1000 Genomes Project"; license = licenses.lgpl3; platforms = platforms.linux; diff --git a/pkgs/applications/science/biology/whisper/default.nix b/pkgs/applications/science/biology/whisper/default.nix index 9e336600202..8552eede170 100644 --- a/pkgs/applications/science/biology/whisper/default.nix +++ b/pkgs/applications/science/biology/whisper/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, fetchurl }: +{ lib, stdenv, fetchFromGitHub, fetchurl }: stdenv.mkDerivation rec { pname = "whisper"; @@ -24,7 +24,7 @@ stdenv.mkDerivation rec { runHook postInstall ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Short read sequence mapper"; license = licenses.gpl3; homepage = "https://github.com/refresh-bio/whisper"; diff --git a/pkgs/applications/science/chemistry/d-seams/default.nix b/pkgs/applications/science/chemistry/d-seams/default.nix index 72962455ac9..cbe73bb7edc 100644 --- a/pkgs/applications/science/chemistry/d-seams/default.nix +++ b/pkgs/applications/science/chemistry/d-seams/default.nix @@ -15,7 +15,7 @@ clangStdenv.mkDerivation rec { nativeBuildInputs = [ cmake lua luaPackages.luafilesystem ]; buildInputs = [ fmt rang libyamlcpp eigen catch2 boost gsl liblapack blas ]; - meta = with stdenv.lib; { + meta = with lib; { description = "d-SEAMS: Deferred Structural Elucidation Analysis for Molecular Simulations"; longDescription = '' diff --git a/pkgs/applications/science/chemistry/jmol/default.nix b/pkgs/applications/science/chemistry/jmol/default.nix index e09abccad12..aa52fee0890 100644 --- a/pkgs/applications/science/chemistry/jmol/default.nix +++ b/pkgs/applications/science/chemistry/jmol/default.nix @@ -43,7 +43,7 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; - meta = with stdenv.lib; { + meta = with lib; { description = "A Java 3D viewer for chemical structures"; homepage = "https://sourceforge.net/projects/jmol"; license = licenses.lgpl2; diff --git a/pkgs/applications/science/chemistry/molden/default.nix b/pkgs/applications/science/chemistry/molden/default.nix index 0d7e81cd9da..ac3dd513f34 100644 --- a/pkgs/applications/science/chemistry/molden/default.nix +++ b/pkgs/applications/science/chemistry/molden/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, which, gfortran, libGLU, xorg } : +{ lib, stdenv, fetchurl, which, gfortran, libGLU, xorg } : stdenv.mkDerivation rec { version = "6.3"; @@ -29,7 +29,7 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; - meta = with stdenv.lib; { + meta = with lib; { description = "Display and manipulate molecular structures"; homepage = "http://www.cmbi.ru.nl/molden/"; license = { diff --git a/pkgs/applications/science/chemistry/octopus/default.nix b/pkgs/applications/science/chemistry/octopus/default.nix index 05f93a1a205..74ed1873efe 100644 --- a/pkgs/applications/science/chemistry/octopus/default.nix +++ b/pkgs/applications/science/chemistry/octopus/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitLab, symlinkJoin, gfortran, perl, procps +{ lib, stdenv, fetchFromGitLab, symlinkJoin, gfortran, perl, procps , libyaml, libxc, fftw, blas, lapack, gsl, netcdf, arpack, autoreconfHook , python3 }: @@ -52,7 +52,7 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; - meta = with stdenv.lib; { + meta = with lib; { description = "Real-space time dependent density-functional theory code"; homepage = "https://octopus-code.org"; maintainers = with maintainers; [ markuskowa ]; diff --git a/pkgs/applications/science/chemistry/openmolcas/default.nix b/pkgs/applications/science/chemistry/openmolcas/default.nix index 334a85d3a5f..1297e595b9a 100644 --- a/pkgs/applications/science/chemistry/openmolcas/default.nix +++ b/pkgs/applications/science/chemistry/openmolcas/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitLab, cmake, gfortran, perl +{ lib, stdenv, fetchFromGitLab, cmake, gfortran, perl , openblas, hdf5-cpp, python3, texlive , armadillo, openmpi, globalarrays, openssh , makeWrapper, fetchpatch @@ -65,7 +65,7 @@ in stdenv.mkDerivation { wrapProgram $out/bin/pymolcas --set MOLCAS $out ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Advanced quantum chemistry software package"; homepage = "https://gitlab.com/Molcas/OpenMolcas"; maintainers = [ maintainers.markuskowa ]; diff --git a/pkgs/applications/science/chemistry/quantum-espresso/default.nix b/pkgs/applications/science/chemistry/quantum-espresso/default.nix index 071091f2ecf..717ff1dba82 100644 --- a/pkgs/applications/science/chemistry/quantum-espresso/default.nix +++ b/pkgs/applications/science/chemistry/quantum-espresso/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl +{ lib, stdenv, fetchurl , gfortran, fftw, blas, lapack , mpi ? null }: @@ -27,7 +27,7 @@ configureFlags = if (mpi != null) then [ "LD=${mpi}/bin/mpif90" ] else [ "LD=${g makeFlags = [ "all" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Electronic-structure calculations and materials modeling at the nanoscale"; longDescription = '' Quantum ESPRESSO is an integrated suite of Open-Source computer codes for diff --git a/pkgs/applications/science/chemistry/siesta/default.nix b/pkgs/applications/science/chemistry/siesta/default.nix index c053c0a09cd..cb4667adcab 100644 --- a/pkgs/applications/science/chemistry/siesta/default.nix +++ b/pkgs/applications/science/chemistry/siesta/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl +{ lib, stdenv, fetchurl , gfortran, blas, lapack , mpi ? null, scalapack }: @@ -46,7 +46,7 @@ stdenv.mkDerivation { cp -a siesta $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A first-principles materials simulation code using DFT"; longDescription = '' SIESTA is both a method and its computer program diff --git a/pkgs/applications/science/electronics/alliance/default.nix b/pkgs/applications/science/electronics/alliance/default.nix index 861f6cea0b4..081a4cab1df 100644 --- a/pkgs/applications/science/electronics/alliance/default.nix +++ b/pkgs/applications/science/electronics/alliance/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl +{ lib, stdenv, fetchurl , xorgproto, motif, libX11, libXt, libXpm, bison , flex, automake, autoconf, libtool, runtimeShell }: @@ -63,7 +63,7 @@ stdenv.mkDerivation rec { chmod +x $out/bin/alliance-uninstall ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Complete set of free CAD tools and portable libraries for VLSI design"; homepage = "http://www-asim.lip6.fr/recherche/alliance/"; license = with licenses; gpl2Plus; diff --git a/pkgs/applications/science/electronics/bitscope/common.nix b/pkgs/applications/science/electronics/bitscope/common.nix index acbdeb8cfaa..8aade9dd2c8 100644 --- a/pkgs/applications/science/electronics/bitscope/common.nix +++ b/pkgs/applications/science/electronics/bitscope/common.nix @@ -7,7 +7,7 @@ , gtk2-x11 , makeWrapper , pango -, stdenv +, lib, stdenv , xorg }: @@ -22,7 +22,7 @@ let name = "${toolName}-${version}"; - meta = with stdenv.lib; { + meta = with lib; { homepage = "http://bitscope.com/software/"; license = licenses.unfree; platforms = [ "x86_64-linux" ]; diff --git a/pkgs/applications/science/electronics/csxcad/default.nix b/pkgs/applications/science/electronics/csxcad/default.nix index f1ea9376003..d9953a78573 100644 --- a/pkgs/applications/science/electronics/csxcad/default.nix +++ b/pkgs/applications/science/electronics/csxcad/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromGitHub , cmake , fparser @@ -37,7 +37,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ cmake ]; - meta = with stdenv.lib; { + meta = with lib; { description = "A C++ library to describe geometrical objects"; homepage = "https://github.com/thliebig/CSXCAD"; license = licenses.lgpl3; diff --git a/pkgs/applications/science/electronics/diylc/default.nix b/pkgs/applications/science/electronics/diylc/default.nix index 28f12ee2214..70d07460a75 100644 --- a/pkgs/applications/science/electronics/diylc/default.nix +++ b/pkgs/applications/science/electronics/diylc/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, makeDesktopItem, unzip, bash, jre8 }: +{ lib, stdenv, fetchurl, makeDesktopItem, unzip, bash, jre8 }: let pname = "diylc"; @@ -61,7 +61,7 @@ stdenv.mkDerivation rec { chmod +x $out/bin/diylc ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Multi platform circuit layout and schematic drawing tool"; homepage = "https://bancika.github.io/diy-layout-creator/"; changelog = "https://github.com/bancika/diy-layout-creator/releases"; diff --git a/pkgs/applications/science/electronics/dsview/libsigrok4dsl.nix b/pkgs/applications/science/electronics/dsview/libsigrok4dsl.nix index 7915cb0ba4a..a2fcb9a929d 100644 --- a/pkgs/applications/science/electronics/dsview/libsigrok4dsl.nix +++ b/pkgs/applications/science/electronics/dsview/libsigrok4dsl.nix @@ -1,4 +1,4 @@ -{ stdenv, pkgconfig, autoreconfHook, +{ lib, stdenv, pkgconfig, autoreconfHook, glib, libzip, libserialport, check, libusb1, libftdi, systemd, alsaLib, dsview }: @@ -18,7 +18,7 @@ stdenv.mkDerivation { glib libzip libserialport libusb1 libftdi systemd check alsaLib ]; - meta = with stdenv.lib; { + meta = with lib; { description = "A fork of the sigrok library for usage with DSView"; homepage = "https://www.dreamsourcelab.com/"; license = licenses.gpl3Plus; diff --git a/pkgs/applications/science/electronics/dsview/libsigrokdecode4dsl.nix b/pkgs/applications/science/electronics/dsview/libsigrokdecode4dsl.nix index 72b2fa1b685..2bab4b681d3 100644 --- a/pkgs/applications/science/electronics/dsview/libsigrokdecode4dsl.nix +++ b/pkgs/applications/science/electronics/dsview/libsigrokdecode4dsl.nix @@ -1,4 +1,4 @@ -{ stdenv, pkgconfig, autoreconfHook, +{ lib, stdenv, pkgconfig, autoreconfHook, glib, check, python3, dsview }: @@ -17,7 +17,7 @@ stdenv.mkDerivation { python3 glib check ]; - meta = with stdenv.lib; { + meta = with lib; { description = "A fork of the sigrokdecode library for usage with DSView"; homepage = "https://www.dreamsourcelab.com/"; license = licenses.gpl3Plus; diff --git a/pkgs/applications/science/electronics/eagle/eagle.nix b/pkgs/applications/science/electronics/eagle/eagle.nix index 400e5e30097..130146e0d9a 100644 --- a/pkgs/applications/science/electronics/eagle/eagle.nix +++ b/pkgs/applications/science/electronics/eagle/eagle.nix @@ -1,4 +1,4 @@ -{ stdenv, mkDerivation, fetchurl, makeDesktopItem +{ lib, stdenv, mkDerivation, fetchurl, makeDesktopItem , libXrender, libXrandr, libXcursor, libX11, libXext, libXi, libxcb , libGL, glib, nss, nspr, expat, alsaLib , qtbase, qtdeclarative, qtsvg, qtlocation, qtwebchannel, qtwebengine @@ -70,7 +70,7 @@ let ln -s "$out/eagle-${version}/bin/eagle-logo.png" "$out"/share/icons/eagle.png ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Schematic editor and PCB layout tool from Autodesk (formerly CadSoft)"; homepage = "https://www.autodesk.com/products/eagle/overview"; license = licenses.unfree; diff --git a/pkgs/applications/science/electronics/eagle/eagle7.nix b/pkgs/applications/science/electronics/eagle/eagle7.nix index 5546bb91045..d826d2d2c24 100644 --- a/pkgs/applications/science/electronics/eagle/eagle7.nix +++ b/pkgs/applications/science/electronics/eagle/eagle7.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, makeDesktopItem, patchelf, zlib, freetype, fontconfig +{ lib, stdenv, fetchurl, makeDesktopItem, patchelf, zlib, freetype, fontconfig , openssl, libXrender, libXrandr, libXcursor, libX11, libXext, libXi , libxcb, cups, xkeyboardconfig, runtimeShell }: @@ -87,7 +87,7 @@ stdenv.mkDerivation rec { ln -s "$out/eagle-${version}/bin/eagleicon50.png" "$out"/share/icons/eagle.png ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Schematic editor and PCB layout tool from CadSoft"; homepage = "http://www.cadsoftusa.com/"; license = licenses.unfree; diff --git a/pkgs/applications/science/electronics/fparser/default.nix b/pkgs/applications/science/electronics/fparser/default.nix index 55e40ca2b00..73db0575d0b 100644 --- a/pkgs/applications/science/electronics/fparser/default.nix +++ b/pkgs/applications/science/electronics/fparser/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromGitHub , cmake }: @@ -16,7 +16,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ cmake ]; - meta = with stdenv.lib; { + meta = with lib; { description = "C++ Library for Evaluating Mathematical Functions"; homepage = "https://github.com/thliebig/fparser"; license = licenses.lgpl3; diff --git a/pkgs/applications/science/electronics/geda/default.nix b/pkgs/applications/science/electronics/geda/default.nix index 54ab7ec57e2..c9a3dcf1aa0 100644 --- a/pkgs/applications/science/electronics/geda/default.nix +++ b/pkgs/applications/science/electronics/geda/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, pkgconfig, guile, gtk2, flex, gawk, perl }: +{ lib, stdenv, fetchurl, pkgconfig, guile, gtk2, flex, gawk, perl }: stdenv.mkDerivation { pname = "geda"; @@ -15,7 +15,7 @@ stdenv.mkDerivation { nativeBuildInputs = [ pkgconfig ]; buildInputs = [ guile gtk2 flex gawk perl ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Full GPL'd suite of Electronic Design Automation tools"; homepage = "http://www.geda-project.org/"; maintainers = with maintainers; [ pjones ]; diff --git a/pkgs/applications/science/electronics/gerbv/default.nix b/pkgs/applications/science/electronics/gerbv/default.nix index b0317551df8..a44a892eabe 100644 --- a/pkgs/applications/science/electronics/gerbv/default.nix +++ b/pkgs/applications/science/electronics/gerbv/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchgit, pkgconfig, gettext, libtool, automake, autoconf, cairo, gtk2, autoreconfHook }: +{ lib, stdenv, fetchgit, pkgconfig, gettext, libtool, automake, autoconf, cairo, gtk2, autoreconfHook }: stdenv.mkDerivation { pname = "gerbv"; @@ -15,7 +15,7 @@ stdenv.mkDerivation { configureFlags = ["--disable-update-desktop-database"]; - meta = with stdenv.lib; { + meta = with lib; { description = "A Gerber (RS-274X) viewer"; homepage = "http://gerbv.geda-project.org/"; maintainers = with maintainers; [ mog ]; diff --git a/pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix b/pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix index 896a2a01084..47f901c0ba5 100644 --- a/pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix +++ b/pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, ninja, pkgconfig, python3Packages +{ lib, stdenv, fetchFromGitHub, cmake, ninja, pkgconfig, python3Packages , boost, rapidjson, qtbase, qtsvg, igraph, spdlog, wrapQtAppsHook , fmt, graphviz, llvmPackages ? null }: @@ -42,7 +42,7 @@ stdenv.mkDerivation rec { # the qt mkDerivation - the latter forcibly overrides this. cmakeBuildType = "MinSizeRel"; - meta = with stdenv.lib; { + meta = with lib; { description = "A comprehensive reverse engineering and manipulation framework for gate-level netlists"; homepage = "https://github.com/emsec/hal"; license = licenses.mit; diff --git a/pkgs/applications/science/electronics/hyp2mat/default.nix b/pkgs/applications/science/electronics/hyp2mat/default.nix index 154b68dd5aa..01d587fc172 100644 --- a/pkgs/applications/science/electronics/hyp2mat/default.nix +++ b/pkgs/applications/science/electronics/hyp2mat/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromGitHub , bison , flex @@ -43,7 +43,7 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; - meta = with stdenv.lib; { + meta = with lib; { description = "Import Hyperlynx Boardsim files to openEMS, an open source 3D full-wave electromagnetic field solver"; homepage = "https://github.com/koendv/hyp2mat"; license = licenses.gpl3Plus; diff --git a/pkgs/applications/science/electronics/kicad/i18n.nix b/pkgs/applications/science/electronics/kicad/i18n.nix index 95cea4fd7fc..9a93e4ca7ce 100644 --- a/pkgs/applications/science/electronics/kicad/i18n.nix +++ b/pkgs/applications/science/electronics/kicad/i18n.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , cmake , gettext , src @@ -11,7 +11,7 @@ stdenv.mkDerivation { pname = "kicad-i18n"; nativeBuildInputs = [ cmake gettext ]; - meta = with stdenv.lib; { + meta = with lib; { license = licenses.gpl2; # https://github.com/KiCad/kicad-i18n/issues/3 platforms = platforms.all; }; diff --git a/pkgs/applications/science/electronics/librepcb/default.nix b/pkgs/applications/science/electronics/librepcb/default.nix index 4b0a4108ab2..394a1787615 100644 --- a/pkgs/applications/science/electronics/librepcb/default.nix +++ b/pkgs/applications/science/electronics/librepcb/default.nix @@ -37,7 +37,7 @@ stdenv.mkDerivation rec { wrapQtApp $out/bin/librepcb ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A free EDA software to develop printed circuit boards"; homepage = "https://librepcb.org/"; maintainers = with maintainers; [ luz thoughtpolice ]; diff --git a/pkgs/applications/science/electronics/magic-vlsi/default.nix b/pkgs/applications/science/electronics/magic-vlsi/default.nix index d6c9011efa6..82d8dbd2ddc 100644 --- a/pkgs/applications/science/electronics/magic-vlsi/default.nix +++ b/pkgs/applications/science/electronics/magic-vlsi/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchurl , python3 , m4 @@ -51,7 +51,7 @@ stdenv.mkDerivation rec { ./0002-fix-format-security.patch ]; - meta = with stdenv.lib; { + meta = with lib; { description = "VLSI layout tool written in Tcl"; homepage = "http://opencircuitdesign.com/magic/"; license = licenses.mit; diff --git a/pkgs/applications/science/electronics/ngspice/default.nix b/pkgs/applications/science/electronics/ngspice/default.nix index 5113dc778f6..f8fbdffc634 100644 --- a/pkgs/applications/science/electronics/ngspice/default.nix +++ b/pkgs/applications/science/electronics/ngspice/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchurl , bison , flex @@ -26,7 +26,7 @@ stdenv.mkDerivation rec { configureFlags = [ "--enable-x" "--with-x" "--with-readline" "--enable-xspice" "--enable-cider" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "The Next Generation Spice (Electronic Circuit Simulator)"; homepage = "http://ngspice.sourceforge.net"; license = with licenses; [ "BSD" gpl2 ]; diff --git a/pkgs/applications/science/electronics/pcb/default.nix b/pkgs/applications/science/electronics/pcb/default.nix index 4309f52e8b1..47de2173947 100644 --- a/pkgs/applications/science/electronics/pcb/default.nix +++ b/pkgs/applications/science/electronics/pcb/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchurl , pkgconfig , gtk2 @@ -55,7 +55,7 @@ stdenv.mkDerivation rec { "--disable-update-desktop-database" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Printed Circuit Board editor"; homepage = "http://pcb.geda-project.org/"; maintainers = with maintainers; [ mog ]; diff --git a/pkgs/applications/science/electronics/verilator/default.nix b/pkgs/applications/science/electronics/verilator/default.nix index ce8ebe42ea8..27423e75308 100644 --- a/pkgs/applications/science/electronics/verilator/default.nix +++ b/pkgs/applications/science/electronics/verilator/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl +{ lib, stdenv, fetchurl , perl, flex, bison }: @@ -19,7 +19,7 @@ stdenv.mkDerivation rec { doCheck = false; checkTarget = "test"; - meta = with stdenv.lib; { + meta = with lib; { description = "Fast and robust (System)Verilog simulator/compiler"; homepage = "https://www.veripool.org/wiki/verilator"; license = licenses.lgpl3; diff --git a/pkgs/applications/science/electronics/verilog/default.nix b/pkgs/applications/science/electronics/verilog/default.nix index 6217df2db8f..081ca65f315 100644 --- a/pkgs/applications/science/electronics/verilog/default.nix +++ b/pkgs/applications/science/electronics/verilog/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromGitHub , autoconf , bison @@ -58,7 +58,7 @@ stdenv.mkDerivation rec { popd ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Icarus Verilog compiler"; homepage = "http://iverilog.icarus.com/"; # https does not work license = with licenses; [ gpl2Plus lgpl21Plus ]; diff --git a/pkgs/applications/science/electronics/vhd2vl/default.nix b/pkgs/applications/science/electronics/vhd2vl/default.nix index be9e890fc8d..4014f53f649 100644 --- a/pkgs/applications/science/electronics/vhd2vl/default.nix +++ b/pkgs/applications/science/electronics/vhd2vl/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromGitHub , fetchpatch , bison @@ -40,7 +40,7 @@ stdenv.mkDerivation rec { cp src/vhd2vl $out/bin/ ''; - meta = with stdenv.lib; { + meta = with lib; { description = "VHDL to Verilog converter"; homepage = "https://github.com/ldoolitt/vhd2vl"; license = licenses.gpl2Plus; diff --git a/pkgs/applications/science/electronics/xcircuit/default.nix b/pkgs/applications/science/electronics/xcircuit/default.nix index 52fe9b03741..d7bdf5c67c0 100644 --- a/pkgs/applications/science/electronics/xcircuit/default.nix +++ b/pkgs/applications/science/electronics/xcircuit/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, autoreconfHook, automake, pkgconfig +{ lib, stdenv, fetchurl, autoreconfHook, automake, pkgconfig , cairo, ghostscript, ngspice, tcl, tk, xorg, zlib }: let @@ -25,7 +25,7 @@ in stdenv.mkDerivation { buildInputs = with xorg; [ cairo ghostscript libSM libXt libICE libX11 libXpm tcl tk zlib ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Generic drawing program tailored to circuit diagrams"; homepage = "http://opencircuitdesign.com/xcircuit"; license = licenses.gpl2; diff --git a/pkgs/applications/science/geometry/antiprism/default.nix b/pkgs/applications/science/geometry/antiprism/default.nix index 4691291a425..8dee645646c 100644 --- a/pkgs/applications/science/geometry/antiprism/default.nix +++ b/pkgs/applications/science/geometry/antiprism/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromGitHub , autoreconfHook , libX11 @@ -20,7 +20,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ autoreconfHook ]; buildInputs = [ libX11 libGLU libGL.dev freeglut.dev ]; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://www.antiprism.com"; description = "A collection of programs for generating, manipulating, transforming and viewing polyhedra"; license = with licenses; [ mit ]; diff --git a/pkgs/applications/science/geometry/drgeo/default.nix b/pkgs/applications/science/geometry/drgeo/default.nix index 7bae3d414cb..a147cb305cc 100644 --- a/pkgs/applications/science/geometry/drgeo/default.nix +++ b/pkgs/applications/science/geometry/drgeo/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, libglade, gtk2, guile, libxml2, perl +{ lib, stdenv, fetchurl, libglade, gtk2, guile, libxml2, perl , intltool, libtool, pkgconfig }: stdenv.mkDerivation rec { @@ -20,7 +20,7 @@ stdenv.mkDerivation rec { cp drgeo.desktop.in drgeo.desktop ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Interactive geometry program"; homepage = "https://sourceforge.net/projects/ofset"; license = licenses.gpl2; diff --git a/pkgs/applications/science/logic/abc/default.nix b/pkgs/applications/science/logic/abc/default.nix index 0e60122a598..cbcd452033c 100644 --- a/pkgs/applications/science/logic/abc/default.nix +++ b/pkgs/applications/science/logic/abc/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub +{ lib, stdenv, fetchFromGitHub , readline, cmake }: @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { # needed by yosys passthru.rev = src.rev; - meta = with stdenv.lib; { + meta = with lib; { description = "A tool for squential logic synthesis and formal verification"; homepage = "https://people.eecs.berkeley.edu/~alanmi/abc"; license = licenses.mit; diff --git a/pkgs/applications/science/logic/acgtk/default.nix b/pkgs/applications/science/logic/acgtk/default.nix index ccd08000507..48563248773 100644 --- a/pkgs/applications/science/logic/acgtk/default.nix +++ b/pkgs/applications/science/logic/acgtk/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, dune, ocamlPackages }: +{ lib, stdenv, fetchurl, dune, ocamlPackages }: stdenv.mkDerivation { @@ -18,7 +18,7 @@ stdenv.mkDerivation { inherit (dune) installPhase; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://acg.loria.fr/"; description = "A toolkit for developing ACG signatures and lexicon"; license = licenses.cecill20; diff --git a/pkgs/applications/science/logic/aspino/default.nix b/pkgs/applications/science/logic/aspino/default.nix index c1cf9034c02..f9cc97893da 100644 --- a/pkgs/applications/science/logic/aspino/default.nix +++ b/pkgs/applications/science/logic/aspino/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, fetchFromGitHub, zlib, boost }: +{ lib, stdenv, fetchurl, fetchFromGitHub, zlib, boost }: let glucose' = fetchurl { @@ -38,7 +38,7 @@ stdenv.mkDerivation { runHook postInstall ''; - meta = with stdenv.lib; { + meta = with lib; { description = "SAT/PseudoBoolean/MaxSat/ASP solver using glucose"; maintainers = with maintainers; [ gebner ]; platforms = platforms.unix; diff --git a/pkgs/applications/science/logic/boolector/default.nix b/pkgs/applications/science/logic/boolector/default.nix index 0364a76639a..2898ce4e1f6 100644 --- a/pkgs/applications/science/logic/boolector/default.nix +++ b/pkgs/applications/science/logic/boolector/default.nix @@ -59,7 +59,7 @@ stdenv.mkDerivation rec { cp $out/include/boolector/btortypes.h $out/include/btortypes.h ''; - meta = with stdenv.lib; { + meta = with lib; { description = "An extremely fast SMT solver for bit-vectors and arrays"; homepage = "https://boolector.github.io"; license = licenses.mit; diff --git a/pkgs/applications/science/logic/btor2tools/default.nix b/pkgs/applications/science/logic/btor2tools/default.nix index 7d2aed7596e..355274d1e1c 100644 --- a/pkgs/applications/science/logic/btor2tools/default.nix +++ b/pkgs/applications/science/logic/btor2tools/default.nix @@ -1,4 +1,4 @@ -{ stdenv, cmake, fetchFromGitHub, fixDarwinDylibNames }: +{ lib, stdenv, cmake, fetchFromGitHub, fixDarwinDylibNames }: stdenv.mkDerivation rec { pname = "btor2tools"; @@ -23,7 +23,7 @@ stdenv.mkDerivation rec { outputs = [ "out" "dev" "lib" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "A generic parser and tool package for the BTOR2 format"; homepage = "https://github.com/Boolector/btor2tools"; license = licenses.mit; diff --git a/pkgs/applications/science/logic/cadical/default.nix b/pkgs/applications/science/logic/cadical/default.nix index e3707ff7dab..ca5e6b5c419 100644 --- a/pkgs/applications/science/logic/cadical/default.nix +++ b/pkgs/applications/science/logic/cadical/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub }: +{ lib, stdenv, fetchFromGitHub }: stdenv.mkDerivation rec { pname = "cadical"; @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { install -Dm0755 {LICEN?E,README*,VERSION} "$out/share/doc/${pname}-${version}/" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Simplified Satisfiability Solver"; maintainers = with maintainers; [ shnarazk ]; platforms = platforms.unix; diff --git a/pkgs/applications/science/logic/cedille/default.nix b/pkgs/applications/science/logic/cedille/default.nix index 7b181790f14..2b099e7664a 100644 --- a/pkgs/applications/science/logic/cedille/default.nix +++ b/pkgs/applications/science/logic/cedille/default.nix @@ -46,7 +46,7 @@ stdenv.mkDerivation rec { cp -r lib/ $out/lib/cedille/ ''; - meta = with stdenv.lib; { + meta = with lib; { description = "An interactive theorem-prover and dependently typed programming language, based on extrinsic (aka Curry-style) type theory"; homepage = "https://cedille.github.io/"; license = licenses.mit; diff --git a/pkgs/applications/science/logic/celf/default.nix b/pkgs/applications/science/logic/celf/default.nix index 9dc20a61a4d..044a6f3ca1c 100644 --- a/pkgs/applications/science/logic/celf/default.nix +++ b/pkgs/applications/science/logic/celf/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, smlnj }: +{ lib, stdenv, fetchFromGitHub, smlnj }: stdenv.mkDerivation rec { pname = "celf"; @@ -26,7 +26,7 @@ stdenv.mkDerivation rec { ./.mkexec ${smlnj}/bin/sml $out/bin celf ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Linear logic programming system"; homepage = "https://github.com/clf/celf"; license = licenses.gpl3; diff --git a/pkgs/applications/science/logic/clprover/clprover.nix b/pkgs/applications/science/logic/clprover/clprover.nix index e53bbe68837..f3049a659d1 100644 --- a/pkgs/applications/science/logic/clprover/clprover.nix +++ b/pkgs/applications/science/logic/clprover/clprover.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchzip }: +{ lib, stdenv, fetchzip }: stdenv.mkDerivation { pname = "clprover"; @@ -17,7 +17,7 @@ stdenv.mkDerivation { cp -r examples $out/share/clprover/examples ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Resolution-based theorem prover for Coalition Logic implemented in C++"; homepage = "http://cgi.csc.liv.ac.uk/~ullrich/CLProver++/"; license = licenses.gpl3; # Note that while the website states that it is GPLv2 but the file in the zip as well as the comments in the source state it is GPLv3 diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 9d0876d8d05..fae17a5e09f 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -5,10 +5,10 @@ # - The exact version can be specified through the `version` argument to # the derivation; it defaults to the latest stable version. -{ stdenv, fetchzip, writeText, pkgconfig, gnumake42 +{ lib, stdenv, fetchzip, writeText, pkgconfig, gnumake42 , customOCamlPackages ? null , ocamlPackages_4_05, ocamlPackages_4_09, ocamlPackages_4_10, ncurses -, buildIde ? !(stdenv.isDarwin && stdenv.lib.versionAtLeast version "8.10") +, buildIde ? !(stdenv.isDarwin && lib.versionAtLeast version "8.10") , glib, gnome3, wrapGAppsHook , csdp ? null , version, coq-version ? null, @@ -166,7 +166,7 @@ self = stdenv.mkDerivation { ln -s $out/lib/coq $OCAMLFIND_DESTDIR/coq ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Coq proof assistant"; longDescription = '' Coq is a formal proof management system. It provides a formal language diff --git a/pkgs/applications/science/logic/coq2html/default.nix b/pkgs/applications/science/logic/coq2html/default.nix index e53e8e7392c..46f2ebd775b 100644 --- a/pkgs/applications/science/logic/coq2html/default.nix +++ b/pkgs/applications/science/logic/coq2html/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchgit, ocaml }: +{ lib, stdenv, fetchgit, ocaml }: let version = "20170720"; @@ -21,7 +21,7 @@ stdenv.mkDerivation { cp coq2html $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "HTML documentation generator for Coq source files"; longDescription = '' coq2html is an HTML documentation generator for Coq source files. It is diff --git a/pkgs/applications/science/logic/cryptominisat/default.nix b/pkgs/applications/science/logic/cryptominisat/default.nix index ddbb140c9ba..042a4b23566 100644 --- a/pkgs/applications/science/logic/cryptominisat/default.nix +++ b/pkgs/applications/science/logic/cryptominisat/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, python3, xxd, boost, fetchpatch }: +{ lib, stdenv, fetchFromGitHub, cmake, python3, xxd, boost, fetchpatch }: stdenv.mkDerivation rec { pname = "cryptominisat"; @@ -22,7 +22,7 @@ stdenv.mkDerivation rec { buildInputs = [ python3 boost ]; nativeBuildInputs = [ cmake xxd ]; - meta = with stdenv.lib; { + meta = with lib; { description = "An advanced SAT Solver"; homepage = "https://github.com/msoos/cryptominisat"; license = licenses.mit; diff --git a/pkgs/applications/science/logic/cubicle/default.nix b/pkgs/applications/science/logic/cubicle/default.nix index bfb6a57fb33..aa3fba635ff 100644 --- a/pkgs/applications/science/logic/cubicle/default.nix +++ b/pkgs/applications/science/logic/cubicle/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, ocamlPackages }: +{ lib, stdenv, fetchurl, ocamlPackages }: stdenv.mkDerivation rec { pname = "cubicle"; @@ -14,7 +14,7 @@ stdenv.mkDerivation rec { buildInputs = with ocamlPackages; [ ocaml findlib functory ]; - meta = with stdenv.lib; { + meta = with lib; { description = "An open source model checker for verifying safety properties of array-based systems"; homepage = "http://cubicle.lri.fr/"; license = licenses.asl20; diff --git a/pkgs/applications/science/logic/cvc3/default.nix b/pkgs/applications/science/logic/cvc3/default.nix index be80565115f..63efe0a2d05 100644 --- a/pkgs/applications/science/logic/cvc3/default.nix +++ b/pkgs/applications/science/logic/cvc3/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, flex, bison, gmp, perl }: +{ lib, stdenv, fetchurl, flex, bison, gmp, perl }: stdenv.mkDerivation rec { pname = "cvc3"; @@ -23,7 +23,7 @@ stdenv.mkDerivation rec { done ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A prover for satisfiability modulo theory (SMT)"; maintainers = with maintainers; [ raskin ]; diff --git a/pkgs/applications/science/logic/cvc4/default.nix b/pkgs/applications/science/logic/cvc4/default.nix index 1a92247c54d..fd31a5732e3 100644 --- a/pkgs/applications/science/logic/cvc4/default.nix +++ b/pkgs/applications/science/logic/cvc4/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, cln, gmp, git, swig, pkgconfig +{ lib, stdenv, fetchFromGitHub, cmake, cln, gmp, git, swig, pkgconfig , readline, libantlr3c, boost, jdk, python3, antlr3_4 }: @@ -35,7 +35,7 @@ stdenv.mkDerivation rec { "-DCMAKE_BUILD_TYPE=Production" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "A high-performance theorem prover and SMT solver"; homepage = "http://cvc4.cs.stanford.edu/web/"; license = licenses.gpl3; diff --git a/pkgs/applications/science/logic/drat-trim/default.nix b/pkgs/applications/science/logic/drat-trim/default.nix index 81e20df3342..c58a29dc289 100644 --- a/pkgs/applications/science/logic/drat-trim/default.nix +++ b/pkgs/applications/science/logic/drat-trim/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub }: +{ lib, stdenv, fetchFromGitHub }: stdenv.mkDerivation { pname = "drat-trim-unstable"; @@ -19,7 +19,7 @@ stdenv.mkDerivation { install -Dt $out/bin drat-trim lrat-check ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A proof checker for unSAT proofs"; longDescription = '' DRAT-trim is a satisfiability proof checking and trimming diff --git a/pkgs/applications/science/logic/eprover/default.nix b/pkgs/applications/science/logic/eprover/default.nix index a3844dc3700..14c46f88b27 100644 --- a/pkgs/applications/science/logic/eprover/default.nix +++ b/pkgs/applications/science/logic/eprover/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, which }: +{ lib, stdenv, fetchurl, which }: stdenv.mkDerivation rec { pname = "eprover"; @@ -19,7 +19,7 @@ stdenv.mkDerivation rec { "--man-prefix=$(out)/share/man" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Automated theorem prover for full first-order logic with equality"; homepage = "http://www.eprover.org/"; license = licenses.gpl2; diff --git a/pkgs/applications/science/logic/fast-downward/default.nix b/pkgs/applications/science/logic/fast-downward/default.nix index cc14fd7706a..bc825703ee3 100644 --- a/pkgs/applications/science/logic/fast-downward/default.nix +++ b/pkgs/applications/science/logic/fast-downward/default.nix @@ -50,7 +50,7 @@ stdenv.mkDerivation { --replace 'args.build = "release"' "args.build = \"$out/libexec/fast-downward\"" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A domain-independent planning system"; homepage = "http://www.fast-downward.org/"; license = licenses.gpl3Plus; diff --git a/pkgs/applications/science/logic/glucose/default.nix b/pkgs/applications/science/logic/glucose/default.nix index 0a8fad484da..5ba8208d6e1 100644 --- a/pkgs/applications/science/logic/glucose/default.nix +++ b/pkgs/applications/science/logic/glucose/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, zlib }: +{ lib, stdenv, fetchurl, zlib }: stdenv.mkDerivation rec { pname = "glucose"; version = "4.1"; @@ -18,7 +18,7 @@ stdenv.mkDerivation rec { install -Dm0755 ../{LICEN?E,README*,Changelog*} "$out/share/doc/${pname}-${version}/" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Modern, parallel SAT solver (sequential version)"; license = licenses.mit; platforms = platforms.unix; diff --git a/pkgs/applications/science/logic/glucose/syrup.nix b/pkgs/applications/science/logic/glucose/syrup.nix index 816f8504a52..17342858fb8 100644 --- a/pkgs/applications/science/logic/glucose/syrup.nix +++ b/pkgs/applications/science/logic/glucose/syrup.nix @@ -1,4 +1,4 @@ -{ stdenv, zlib, glucose }: +{ lib, stdenv, zlib, glucose }: stdenv.mkDerivation rec { pname = "glucose-syrup"; version = glucose.version; @@ -15,7 +15,7 @@ stdenv.mkDerivation rec { install -Dm0755 ../{LICEN?E,README*,Changelog*} "$out/share/doc/${pname}-${version}/" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Modern, parallel SAT solver (parallel version)"; license = licenses.unfreeRedistributable; platforms = platforms.unix; diff --git a/pkgs/applications/science/logic/hol/default.nix b/pkgs/applications/science/logic/hol/default.nix index dbafee7d600..6fc7286154a 100644 --- a/pkgs/applications/science/logic/hol/default.nix +++ b/pkgs/applications/science/logic/hol/default.nix @@ -1,4 +1,4 @@ -{stdenv, pkgs, fetchurl, graphviz, fontconfig, liberation_ttf, +{lib, stdenv, pkgs, fetchurl, graphviz, fontconfig, liberation_ttf, experimentalKernel ? true}: let @@ -65,7 +65,7 @@ stdenv.mkDerivation { # ln -s $out/src/hol4.${version}/bin $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Interactive theorem prover based on Higher-Order Logic"; longDescription = '' HOL4 is the latest version of the HOL interactive proof diff --git a/pkgs/applications/science/logic/hol_light/default.nix b/pkgs/applications/science/logic/hol_light/default.nix index 9c3030517e3..24faa98f777 100644 --- a/pkgs/applications/science/logic/hol_light/default.nix +++ b/pkgs/applications/science/logic/hol_light/default.nix @@ -1,4 +1,4 @@ -{ stdenv, runtimeShell, fetchFromGitHub, fetchpatch, ocaml, num, camlp5 }: +{ lib, stdenv, runtimeShell, fetchFromGitHub, fetchpatch, ocaml, num, camlp5 }: let load_num = @@ -45,7 +45,7 @@ stdenv.mkDerivation { chmod a+x "$out/bin/hol_light" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Interactive theorem prover based on Higher-Order Logic"; homepage = "http://www.cl.cam.ac.uk/~jrh13/hol-light/"; license = licenses.bsd2; diff --git a/pkgs/applications/science/logic/iprover/default.nix b/pkgs/applications/science/logic/iprover/default.nix index 310a95d7e7a..1f02d30cf25 100644 --- a/pkgs/applications/science/logic/iprover/default.nix +++ b/pkgs/applications/science/logic/iprover/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, ocaml, eprover, zlib }: +{ lib, stdenv, fetchurl, ocaml, eprover, zlib }: stdenv.mkDerivation rec { pname = "iprover"; @@ -23,7 +23,7 @@ stdenv.mkDerivation rec { chmod a+x "$out"/bin/iprover ''; - meta = with stdenv.lib; { + meta = with lib; { description = "An automated first-order logic theorem prover"; homepage = "http://www.cs.man.ac.uk/~korovink/iprover/"; maintainers = with maintainers; [ raskin gebner ]; diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index a12d75eabbe..9472d4b9b29 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, perl, nettools, java, polyml, z3, rlwrap }: +{ lib, stdenv, fetchurl, perl, nettools, java, polyml, z3, rlwrap }: # nettools needed for hostname stdenv.mkDerivation rec { @@ -66,7 +66,7 @@ stdenv.mkDerivation rec { bin/isabelle install $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A generic proof assistant"; longDescription = '' diff --git a/pkgs/applications/science/logic/key/default.nix b/pkgs/applications/science/logic/key/default.nix index b08c4d84d1f..531081beafa 100644 --- a/pkgs/applications/science/logic/key/default.nix +++ b/pkgs/applications/science/logic/key/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchurl , unzip , jdk @@ -56,7 +56,7 @@ in stdenv.mkDerivation rec { touch $out ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Java formal verification tool"; homepage = "https://www.key-project.org"; # also https://formal.iti.kit.edu/key/ longDescription = '' diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index f5b7ccd76b1..5bf33a8a359 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, gmp, coreutils }: +{ lib, stdenv, fetchFromGitHub, cmake, gmp, coreutils }: stdenv.mkDerivation rec { pname = "lean"; @@ -27,7 +27,7 @@ stdenv.mkDerivation rec { --replace "greadlink" "${coreutils}/bin/readlink" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Automatic and interactive theorem prover"; homepage = "https://leanprover.github.io/"; changelog = "https://github.com/leanprover-community/lean/blob/v${version}/doc/changes.md"; diff --git a/pkgs/applications/science/logic/lean2/default.nix b/pkgs/applications/science/logic/lean2/default.nix index 9ac4f2a6c6b..b3c6a51d440 100644 --- a/pkgs/applications/science/logic/lean2/default.nix +++ b/pkgs/applications/science/logic/lean2/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, gmp, mpfr, python +{ lib, stdenv, fetchFromGitHub, cmake, gmp, mpfr, python , gperftools, ninja, makeWrapper }: stdenv.mkDerivation { @@ -26,7 +26,7 @@ stdenv.mkDerivation { wrapProgram $out/bin/linja --prefix PATH : $out/bin:${ninja}/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Automatic and interactive theorem prover (version with HoTT support)"; homepage = "http://leanprover.github.io"; license = licenses.asl20; diff --git a/pkgs/applications/science/logic/leo2/default.nix b/pkgs/applications/science/logic/leo2/default.nix index b43bfb80135..520c47d7500 100644 --- a/pkgs/applications/science/logic/leo2/default.nix +++ b/pkgs/applications/science/logic/leo2/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, makeWrapper, eprover, ocaml, perl, zlib }: +{ lib, stdenv, fetchurl, makeWrapper, eprover, ocaml, perl, zlib }: stdenv.mkDerivation rec { pname = "leo2"; @@ -27,7 +27,7 @@ stdenv.mkDerivation rec { --add-flags "--atprc $out/etc/leoatprc" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A high-performance typed higher order prover"; maintainers = [ maintainers.raskin ]; platforms = platforms.linux; diff --git a/pkgs/applications/science/logic/lingeling/default.nix b/pkgs/applications/science/logic/lingeling/default.nix index 1805f6cdcc8..08bd0e4d637 100644 --- a/pkgs/applications/science/logic/lingeling/default.nix +++ b/pkgs/applications/science/logic/lingeling/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub +{ lib, stdenv, fetchFromGitHub , aiger }: @@ -39,7 +39,7 @@ stdenv.mkDerivation { outputs = [ "out" "dev" "lib" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Fast SAT solver"; homepage = "http://fmv.jku.at/lingeling/"; license = licenses.mit; diff --git a/pkgs/applications/science/logic/mcrl2/default.nix b/pkgs/applications/science/logic/mcrl2/default.nix index 584988f2b40..56898f163b9 100644 --- a/pkgs/applications/science/logic/mcrl2/default.nix +++ b/pkgs/applications/science/logic/mcrl2/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, cmake, libGLU, libGL, qt5, boost}: +{lib, stdenv, fetchurl, cmake, libGLU, libGL, qt5, boost}: stdenv.mkDerivation rec { version = "201707"; @@ -13,7 +13,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ cmake ]; buildInputs = [ libGLU libGL qt5.qtbase boost ]; - meta = with stdenv.lib; { + meta = with lib; { description = "A toolset for model-checking concurrent systems and protocols"; longDescription = '' A formal specification language with an associated toolset, diff --git a/pkgs/applications/science/logic/metis-prover/default.nix b/pkgs/applications/science/logic/metis-prover/default.nix index 5755abfd907..e30a897e565 100644 --- a/pkgs/applications/science/logic/metis-prover/default.nix +++ b/pkgs/applications/science/logic/metis-prover/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, perl, mlton }: +{ lib, stdenv, fetchFromGitHub, perl, mlton }: stdenv.mkDerivation { pname = "metis-prover"; @@ -22,7 +22,7 @@ stdenv.mkDerivation { install -Dm0755 bin/mlton/metis $out/bin/metis ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Automatic theorem prover for first-order logic with equality"; homepage = "http://www.gilith.com/research/metis/"; license = licenses.mit; diff --git a/pkgs/applications/science/logic/minisat/default.nix b/pkgs/applications/science/logic/minisat/default.nix index df1800e6c31..10d38088274 100644 --- a/pkgs/applications/science/logic/minisat/default.nix +++ b/pkgs/applications/science/logic/minisat/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, zlib }: +{ lib, stdenv, fetchFromGitHub, cmake, zlib }: stdenv.mkDerivation rec { pname = "minisat"; @@ -14,7 +14,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ cmake ]; buildInputs = [ zlib ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Compact and readable SAT solver"; maintainers = with maintainers; [ gebner raskin ]; platforms = platforms.unix; diff --git a/pkgs/applications/science/logic/open-wbo/default.nix b/pkgs/applications/science/logic/open-wbo/default.nix index c314127e74b..77db8ae3384 100644 --- a/pkgs/applications/science/logic/open-wbo/default.nix +++ b/pkgs/applications/science/logic/open-wbo/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, zlib, gmp }: +{ lib, stdenv, fetchFromGitHub, zlib, gmp }: stdenv.mkDerivation { name = "open-wbo-2.0"; @@ -17,7 +17,7 @@ stdenv.mkDerivation { install -Dm0755 open-wbo_release $out/bin/open-wbo ''; - meta = with stdenv.lib; { + meta = with lib; { description = "State-of-the-art MaxSAT and Pseudo-Boolean solver"; maintainers = with maintainers; [ gebner ]; platforms = platforms.unix; diff --git a/pkgs/applications/science/logic/opensmt/default.nix b/pkgs/applications/science/logic/opensmt/default.nix index 03b3ce4ff0b..3b4dd20931c 100644 --- a/pkgs/applications/science/logic/opensmt/default.nix +++ b/pkgs/applications/science/logic/opensmt/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, automake, libtool, autoconf, intltool, perl +{ lib, stdenv, fetchurl, automake, libtool, autoconf, intltool, perl , gmpxx, flex, bison }: @@ -13,7 +13,7 @@ stdenv.mkDerivation rec { buildInputs = [ automake libtool autoconf intltool perl gmpxx flex bison ]; - meta = with stdenv.lib; { + meta = with lib; { description = "A satisfiability modulo theory (SMT) solver"; maintainers = [ maintainers.raskin ]; platforms = platforms.linux; diff --git a/pkgs/applications/science/logic/poly/default.nix b/pkgs/applications/science/logic/poly/default.nix index ee50a2d8504..db124c379ca 100644 --- a/pkgs/applications/science/logic/poly/default.nix +++ b/pkgs/applications/science/logic/poly/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchFromGitHub, gmp, cmake, python}: +{lib, stdenv, fetchFromGitHub, gmp, cmake, python}: stdenv.mkDerivation rec { pname = "libpoly"; @@ -16,7 +16,7 @@ stdenv.mkDerivation rec { buildInputs = [ gmp python ]; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://github.com/SRI-CSL/libpoly"; description = "C library for manipulating polynomials"; license = licenses.lgpl3; diff --git a/pkgs/applications/science/logic/prooftree/default.nix b/pkgs/applications/science/logic/prooftree/default.nix index 98313e48cb2..4db3c333e97 100644 --- a/pkgs/applications/science/logic/prooftree/default.nix +++ b/pkgs/applications/science/logic/prooftree/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, pkgconfig, ncurses, ocamlPackages }: +{ lib, stdenv, fetchurl, pkgconfig, ncurses, ocamlPackages }: stdenv.mkDerivation rec { pname = "prooftree"; @@ -16,7 +16,7 @@ stdenv.mkDerivation rec { dontAddPrefix = true; configureFlags = [ "--prefix" "$(out)" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "A program for proof-tree visualization"; longDescription = '' Prooftree is a program for proof-tree visualization during interactive diff --git a/pkgs/applications/science/logic/spass/default.nix b/pkgs/applications/science/logic/spass/default.nix index ece6f0b9f6a..77b297b4fbb 100644 --- a/pkgs/applications/science/logic/spass/default.nix +++ b/pkgs/applications/science/logic/spass/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, bison, flex }: +{ lib, stdenv, fetchurl, bison, flex }: let baseVersion="3"; @@ -29,7 +29,7 @@ stdenv.mkDerivation { install -m0755 SPASS ${extraTools} $out/bin/ ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Automated theorem prover for first-order logic"; maintainers = with maintainers; [ diff --git a/pkgs/applications/science/logic/stp/default.nix b/pkgs/applications/science/logic/stp/default.nix index fcffc239b48..42926a87081 100644 --- a/pkgs/applications/science/logic/stp/default.nix +++ b/pkgs/applications/science/logic/stp/default.nix @@ -1,4 +1,4 @@ -{ stdenv, cmake, boost, bison, flex, fetchFromGitHub, perl +{ lib, stdenv, cmake, boost, bison, flex, fetchFromGitHub, perl , python3, python3Packages, zlib, minisat, cryptominisat }: stdenv.mkDerivation rec { @@ -24,7 +24,7 @@ stdenv.mkDerivation rec { ) ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Simple Theorem Prover"; maintainers = with maintainers; [ ]; platforms = platforms.linux; diff --git a/pkgs/applications/science/logic/tptp/default.nix b/pkgs/applications/science/logic/tptp/default.nix index 4c63f8e72a3..9c91eaddfc4 100644 --- a/pkgs/applications/science/logic/tptp/default.nix +++ b/pkgs/applications/science/logic/tptp/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, yap, tcsh, perl, patchelf }: +{ lib, stdenv, fetchurl, yap, tcsh, perl, patchelf }: stdenv.mkDerivation rec { pname = "TPTP"; @@ -36,7 +36,7 @@ stdenv.mkDerivation rec { ln -s $sharedir/Scripts/tptp4X $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Thousands of problems for theorem provers and tools"; maintainers = with maintainers; [ raskin gebner ]; # 6.3 GiB of data. Installation is unpacking and editing a few files. diff --git a/pkgs/applications/science/logic/vampire/default.nix b/pkgs/applications/science/logic/vampire/default.nix index dca03823e9e..b8854454446 100644 --- a/pkgs/applications/science/logic/vampire/default.nix +++ b/pkgs/applications/science/logic/vampire/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, fetchpatch, z3, zlib }: +{ lib, stdenv, fetchFromGitHub, fetchpatch, z3, zlib }: stdenv.mkDerivation rec { pname = "vampire"; @@ -46,7 +46,7 @@ stdenv.mkDerivation rec { install -m0755 -D vampire_z3_rel* $out/bin/vampire ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://vprover.github.io/"; description = "The Vampire Theorem Prover"; platforms = platforms.unix; diff --git a/pkgs/applications/science/logic/verit/default.nix b/pkgs/applications/science/logic/verit/default.nix index f20a8324157..81acbe4f2d0 100644 --- a/pkgs/applications/science/logic/verit/default.nix +++ b/pkgs/applications/science/logic/verit/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, autoreconfHook, gmp, flex, bison }: +{ lib, stdenv, fetchurl, autoreconfHook, gmp, flex, bison }: stdenv.mkDerivation { pname = "veriT"; @@ -21,7 +21,7 @@ stdenv.mkDerivation { mkdir -p $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { description = "An open, trustable and efficient SMT-solver"; homepage = "http://www.verit-solver.org/"; license = licenses.bsd3; diff --git a/pkgs/applications/science/logic/why3/default.nix b/pkgs/applications/science/logic/why3/default.nix index eacff32bdf6..deb40c74284 100644 --- a/pkgs/applications/science/logic/why3/default.nix +++ b/pkgs/applications/science/logic/why3/default.nix @@ -1,4 +1,4 @@ -{ callPackage, fetchurl, fetchpatch, stdenv +{ callPackage, fetchurl, fetchpatch, lib, stdenv , ocamlPackages, coqPackages, rubber, hevea, emacs }: stdenv.mkDerivation { @@ -39,7 +39,7 @@ stdenv.mkDerivation { passthru.withProvers = callPackage ./with-provers.nix {}; - meta = with stdenv.lib; { + meta = with lib; { description = "A platform for deductive program verification"; homepage = "http://why3.lri.fr/"; license = licenses.lgpl21; diff --git a/pkgs/applications/science/logic/yices/default.nix b/pkgs/applications/science/logic/yices/default.nix index b8dd528a11c..a01a07b8954 100644 --- a/pkgs/applications/science/logic/yices/default.nix +++ b/pkgs/applications/science/logic/yices/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, gmp-static, gperf, autoreconfHook, libpoly }: +{ lib, stdenv, fetchFromGitHub, gmp-static, gperf, autoreconfHook, libpoly }: stdenv.mkDerivation rec { pname = "yices"; @@ -34,7 +34,7 @@ stdenv.mkDerivation rec { ln -sfr $out/lib/libyices.so.{${version},${ver_XdotY}} ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A high-performance theorem prover and SMT solver"; homepage = "http://yices.csl.sri.com"; license = licenses.gpl3; diff --git a/pkgs/applications/science/machine-learning/fasttext/default.nix b/pkgs/applications/science/machine-learning/fasttext/default.nix index 64124594e1e..d05f93a4653 100644 --- a/pkgs/applications/science/machine-learning/fasttext/default.nix +++ b/pkgs/applications/science/machine-learning/fasttext/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchFromGitHub, cmake}: +{lib, stdenv, fetchFromGitHub, cmake}: stdenv.mkDerivation rec { pname = "fasttext"; @@ -13,7 +13,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ cmake ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Library for text classification and representation learning"; homepage = "https://fasttext.cc/"; license = licenses.mit; diff --git a/pkgs/applications/science/machine-learning/finalfrontier/default.nix b/pkgs/applications/science/machine-learning/finalfrontier/default.nix index f1a2dbaa54f..f2468572101 100644 --- a/pkgs/applications/science/machine-learning/finalfrontier/default.nix +++ b/pkgs/applications/science/machine-learning/finalfrontier/default.nix @@ -42,7 +42,7 @@ rustPlatform.buildRustPackage rec { installShellCompletion finalfrontier.{bash,fish,zsh} ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Utility for training word and subword embeddings"; homepage = "https://github.com/finalfusion/finalfrontier/"; license = licenses.asl20; diff --git a/pkgs/applications/science/machine-learning/finalfusion-utils/default.nix b/pkgs/applications/science/machine-learning/finalfusion-utils/default.nix index eeeafdd3d98..d976431e554 100644 --- a/pkgs/applications/science/machine-learning/finalfusion-utils/default.nix +++ b/pkgs/applications/science/machine-learning/finalfusion-utils/default.nix @@ -46,7 +46,7 @@ rustPlatform.buildRustPackage rec { installShellCompletion finalfusion.{bash,fish,zsh} ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Utility for converting, quantizing, and querying word embeddings"; homepage = "https://github.com/finalfusion/finalfusion-utils/"; license = licenses.asl20; diff --git a/pkgs/applications/science/machine-learning/labelimg/default.nix b/pkgs/applications/science/machine-learning/labelimg/default.nix index 18c304e8316..4bfd4b9421f 100644 --- a/pkgs/applications/science/machine-learning/labelimg/default.nix +++ b/pkgs/applications/science/machine-learning/labelimg/default.nix @@ -1,4 +1,4 @@ -{ stdenv, python3Packages, fetchFromGitHub, qt5 }: +{ lib, stdenv, python3Packages, fetchFromGitHub, qt5 }: python3Packages.buildPythonApplication rec { pname = "labelImg"; version = "1.8.3"; @@ -27,7 +27,7 @@ preFixup = '' makeWrapperArgs+=("''${qtWrapperArgs[@]}") ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A graphical image annotation tool and label object bounding boxes in images"; homepage = "https://github.com/tzutalin/labelImg"; license = licenses.mit; diff --git a/pkgs/applications/science/machine-learning/shogun/default.nix b/pkgs/applications/science/machine-learning/shogun/default.nix index f448e66d94b..7d052c6c5e9 100644 --- a/pkgs/applications/science/machine-learning/shogun/default.nix +++ b/pkgs/applications/science/machine-learning/shogun/default.nix @@ -88,7 +88,7 @@ stdenv.mkDerivation rec { (flag "OpenCV" opencvSupport) ]; - meta = with stdenv.lib; { + meta = with lib; { description = "A toolbox which offers a wide range of efficient and unified machine learning methods"; homepage = "http://shogun-toolbox.org/"; license = licenses.gpl3; diff --git a/pkgs/applications/science/math/R/default.nix b/pkgs/applications/science/math/R/default.nix index e4fbe8a7f2d..2191511a9c5 100644 --- a/pkgs/applications/science/math/R/default.nix +++ b/pkgs/applications/science/math/R/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, bzip2, gfortran, libX11, libXmu, libXt, libjpeg, libpng +{ lib, stdenv, fetchurl, bzip2, gfortran, libX11, libXmu, libXt, libjpeg, libpng , libtiff, ncurses, pango, pcre2, perl, readline, tcl, texLive, tk, xz, zlib , less, texinfo, graphviz, icu, pkgconfig, bison, imake, which, jdk, blas, lapack , curl, Cocoa, Foundation, libobjc, libcxx, tzdata, fetchpatch @@ -86,7 +86,7 @@ stdenv.mkDerivation rec { setupHook = ./setup-hook.sh; - meta = with stdenv.lib; { + meta = with lib; { homepage = "http://www.r-project.org/"; description = "Free software environment for statistical computing and graphics"; license = licenses.gpl2Plus; diff --git a/pkgs/applications/science/math/almonds/default.nix b/pkgs/applications/science/math/almonds/default.nix index 9edb0747b31..7271b6d8755 100644 --- a/pkgs/applications/science/math/almonds/default.nix +++ b/pkgs/applications/science/math/almonds/default.nix @@ -1,4 +1,4 @@ -{ stdenv, python3, fetchFromGitHub, ncurses }: +{ lib, stdenv, python3, fetchFromGitHub, ncurses }: with python3.pkgs; buildPythonApplication rec { pname = "almonds"; @@ -17,7 +17,7 @@ with python3.pkgs; buildPythonApplication rec { checkPhase = "py.test"; - meta = with stdenv.lib; { + meta = with lib; { description = "Terminal Mandelbrot fractal viewer"; homepage = "https://github.com/Tenchi2xh/Almonds"; license = licenses.mit; diff --git a/pkgs/applications/science/math/bliss/default.nix b/pkgs/applications/science/math/bliss/default.nix index 9ab90134aad..fe68d9d245c 100644 --- a/pkgs/applications/science/math/bliss/default.nix +++ b/pkgs/applications/science/math/bliss/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, unzip, doxygen }: +{ lib, stdenv, fetchurl, unzip, doxygen }: stdenv.mkDerivation rec { pname = "bliss"; @@ -28,7 +28,7 @@ stdenv.mkDerivation rec { mv *.h *.hh $out/include/bliss ''; - meta = with stdenv.lib; { + meta = with lib; { description = "An open source tool for computing automorphism groups and canonical forms of graphs. It has both a command line user interface as well as C++ and C programming language APIs"; homepage = "http://www.tcs.hut.fi/Software/bliss/"; license = licenses.lgpl3; diff --git a/pkgs/applications/science/math/caffe/default.nix b/pkgs/applications/science/math/caffe/default.nix index c99adea9a64..565c6a17672 100644 --- a/pkgs/applications/science/math/caffe/default.nix +++ b/pkgs/applications/science/math/caffe/default.nix @@ -125,7 +125,7 @@ stdenv.mkDerivation rec { -weights "${test_model_weights}" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Deep learning framework"; longDescription = '' Caffe is a deep learning framework made with expression, speed, and diff --git a/pkgs/applications/science/math/calculix/default.nix b/pkgs/applications/science/math/calculix/default.nix index e37e9d0910c..e9766b32c2a 100644 --- a/pkgs/applications/science/math/calculix/default.nix +++ b/pkgs/applications/science/math/calculix/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, gfortran, arpack, spooles, blas, lapack }: +{ lib, stdenv, fetchurl, gfortran, arpack, spooles, blas, lapack }: stdenv.mkDerivation rec { pname = "calculix"; @@ -27,7 +27,7 @@ stdenv.mkDerivation rec { install -Dm0755 ccx_${version} $out/bin/ccx ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "http://www.calculix.de/"; description = "Three-dimensional structural finite element program"; license = licenses.gpl2Plus; diff --git a/pkgs/applications/science/math/cemu/default.nix b/pkgs/applications/science/math/cemu/default.nix index b41135229dd..65dd05d3d62 100644 --- a/pkgs/applications/science/math/cemu/default.nix +++ b/pkgs/applications/science/math/cemu/default.nix @@ -1,5 +1,5 @@ { fetchFromGitHub -, stdenv +, lib, stdenv , mkDerivation , SDL2 , libGL @@ -42,7 +42,7 @@ mkDerivation rec { "gui/qt" ]; - meta = with stdenv.lib; { + meta = with lib; { changelog = "https://github.com/CE-Programming/CEmu/releases/tag/v${version}"; description = "Third-party TI-84 Plus CE / TI-83 Premium CE emulator, focused on developer features"; homepage = "https://ce-programming.github.io/CEmu"; diff --git a/pkgs/applications/science/math/clp/default.nix b/pkgs/applications/science/math/clp/default.nix index 97ef3dd7543..26c277c2685 100644 --- a/pkgs/applications/science/math/clp/default.nix +++ b/pkgs/applications/science/math/clp/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, zlib }: +{ lib, stdenv, fetchurl, zlib }: stdenv.mkDerivation rec { version = "1.17.6"; @@ -12,7 +12,7 @@ stdenv.mkDerivation rec { doCheck = true; - meta = with stdenv.lib; { + meta = with lib; { license = licenses.epl10; homepage = "https://github.com/coin-or/Clp"; description = "An open-source linear programming solver written in C++"; diff --git a/pkgs/applications/science/math/colpack/default.nix b/pkgs/applications/science/math/colpack/default.nix index 13a75ce4db2..f203852c965 100644 --- a/pkgs/applications/science/math/colpack/default.nix +++ b/pkgs/applications/science/math/colpack/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, autoconf, automake, libtool, gettext }: +{ lib, stdenv, fetchFromGitHub, autoconf, automake, libtool, gettext }: stdenv.mkDerivation rec { @@ -19,7 +19,7 @@ stdenv.mkDerivation rec { ./configure --prefix=$out --enable-openmp ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A package comprising of implementations of algorithms for vertex coloring and derivative computation"; homepage = "http://cscapes.cs.purdue.edu/coloringpage/software.htm#functionalities"; diff --git a/pkgs/applications/science/math/cplex/default.nix b/pkgs/applications/science/math/cplex/default.nix index ec13f5252f1..39213aff09a 100644 --- a/pkgs/applications/science/math/cplex/default.nix +++ b/pkgs/applications/science/math/cplex/default.nix @@ -1,4 +1,4 @@ -{ stdenv, makeWrapper, openjdk, gtk2, xorg, glibcLocales, releasePath ? null }: +{ lib, stdenv, makeWrapper, openjdk, gtk2, xorg, glibcLocales, releasePath ? null }: # To use this package, you need to download your own cplex installer from IBM # and override the releasePath attribute to point to the location of the file. @@ -77,7 +77,7 @@ stdenv.mkDerivation rec { libSuffix = "${version}0"; }; - meta = with stdenv.lib; { + meta = with lib; { description = "Optimization solver for mathematical programming"; homepage = "https://www.ibm.com/be-en/marketplace/ibm-ilog-cplex"; license = licenses.unfree; diff --git a/pkgs/applications/science/math/form/default.nix b/pkgs/applications/science/math/form/default.nix index 09137279290..00f7d7e4536 100644 --- a/pkgs/applications/science/math/form/default.nix +++ b/pkgs/applications/science/math/form/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, gmp, zlib }: +{ lib, stdenv, fetchurl, gmp, zlib }: stdenv.mkDerivation { version = "4.2.1"; @@ -12,7 +12,7 @@ stdenv.mkDerivation { buildInputs = [ gmp zlib ]; - meta = with stdenv.lib; { + meta = with lib; { description = "The FORM project for symbolic manipulation of very big expressions"; homepage = "https://www.nikhef.nl/~form/"; license = licenses.gpl3; diff --git a/pkgs/applications/science/math/geogebra/default.nix b/pkgs/applications/science/math/geogebra/default.nix index a0548ffb232..a20b43c875e 100644 --- a/pkgs/applications/science/math/geogebra/default.nix +++ b/pkgs/applications/science/math/geogebra/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, jre, makeDesktopItem, makeWrapper, unzip, language ? "en_US" }: +{ lib, stdenv, fetchurl, jre, makeDesktopItem, makeWrapper, unzip, language ? "en_US" }: let pname = "geogebra"; version = "5-0-609-0"; @@ -19,7 +19,7 @@ let mimeType = "application/vnd.geogebra.file;application/vnd.geogebra.tool;"; }; - meta = with stdenv.lib; { + meta = with lib; { description = "Dynamic mathematics software with graphics, algebra and spreadsheets"; longDescription = '' Dynamic mathematics software for all levels of education that brings diff --git a/pkgs/applications/science/math/getdp/default.nix b/pkgs/applications/science/math/getdp/default.nix index ae93e89f141..915c7e1147f 100644 --- a/pkgs/applications/science/math/getdp/default.nix +++ b/pkgs/applications/science/math/getdp/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, cmake, gfortran, blas, lapack, openmpi, petsc, python3 }: +{ lib, stdenv, fetchurl, cmake, gfortran, blas, lapack, openmpi, petsc, python3 }: stdenv.mkDerivation rec { name = "getdp-${version}"; @@ -11,7 +11,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ cmake gfortran ]; buildInputs = [ blas lapack openmpi petsc python3 ]; - meta = with stdenv.lib; { + meta = with lib; { description = "A General Environment for the Treatment of Discrete Problems"; longDescription = '' GetDP is a free finite element solver using mixed elements to discretize diff --git a/pkgs/applications/science/math/giac/default.nix b/pkgs/applications/science/math/giac/default.nix index b090274919b..7825fc1d9a2 100644 --- a/pkgs/applications/science/math/giac/default.nix +++ b/pkgs/applications/science/math/giac/default.nix @@ -100,7 +100,7 @@ stdenv.mkDerivation rec { done; ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A free computer algebra system (CAS)"; homepage = "https://www-fourier.ujf-grenoble.fr/~parisse/giac.html"; license = licenses.gpl3Plus; diff --git a/pkgs/applications/science/math/ginac/default.nix b/pkgs/applications/science/math/ginac/default.nix index 3c129e8033b..e20e15edeff 100644 --- a/pkgs/applications/science/math/ginac/default.nix +++ b/pkgs/applications/science/math/ginac/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, cln, pkgconfig, readline, gmp, python }: +{ lib, stdenv, fetchurl, cln, pkgconfig, readline, gmp, python }: stdenv.mkDerivation rec { name = "ginac-1.8.0"; @@ -18,7 +18,7 @@ stdenv.mkDerivation rec { configureFlags = [ "--disable-rpath" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "GiNaC is Not a CAS"; homepage = "http://www.ginac.de/"; maintainers = with maintainers; [ lovek323 ]; diff --git a/pkgs/applications/science/math/gretl/default.nix b/pkgs/applications/science/math/gretl/default.nix index 7d77453cbab..b68a02e9ebb 100644 --- a/pkgs/applications/science/math/gretl/default.nix +++ b/pkgs/applications/science/math/gretl/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, curl, fftw, gmp, gnuplot, gtk3, gtksourceview3, json-glib +{ lib, stdenv, fetchurl, curl, fftw, gmp, gnuplot, gtk3, gtksourceview3, json-glib , lapack, libxml2, mpfr, openblas, pkg-config, readline }: stdenv.mkDerivation rec { @@ -29,7 +29,7 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; - meta = with stdenv.lib; { + meta = with lib; { description = "A software package for econometric analysis"; longDescription = '' gretl is a cross-platform software package for econometric analysis, diff --git a/pkgs/applications/science/math/gurobi/default.nix b/pkgs/applications/science/math/gurobi/default.nix index 1aa7bce07c5..f2f406991e3 100644 --- a/pkgs/applications/science/math/gurobi/default.nix +++ b/pkgs/applications/science/math/gurobi/default.nix @@ -48,7 +48,7 @@ in stdenv.mkDerivation rec { passthru.libSuffix = lib.replaceStrings ["."] [""] majorVersion; - meta = with stdenv.lib; { + meta = with lib; { description = "Optimization solver for mathematical programming"; homepage = "https://www.gurobi.com"; license = licenses.unfree; diff --git a/pkgs/applications/science/math/hmetis/default.nix b/pkgs/applications/science/math/hmetis/default.nix index b5e99a8dd75..f25a0f13c7f 100644 --- a/pkgs/applications/science/math/hmetis/default.nix +++ b/pkgs/applications/science/math/hmetis/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, ghostscript }: +{ lib, stdenv, fetchurl, ghostscript }: stdenv.mkDerivation rec { pname = "hmetis"; @@ -33,7 +33,7 @@ stdenv.mkDerivation rec { mv libhmetis.a $out/lib ''; - meta = with stdenv.lib; { + meta = with lib; { description = "hMETIS is a set of programs for partitioning hypergraphs"; homepage = "http://glaros.dtc.umn.edu/gkhome/metis/hmetis/overview"; license = licenses.unfree; diff --git a/pkgs/applications/science/math/jags/default.nix b/pkgs/applications/science/math/jags/default.nix index 122c6288847..2e598665134 100644 --- a/pkgs/applications/science/math/jags/default.nix +++ b/pkgs/applications/science/math/jags/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, gfortran, blas, lapack}: +{lib, stdenv, fetchurl, gfortran, blas, lapack}: stdenv.mkDerivation rec { name = "JAGS-4.3.0"; @@ -9,7 +9,7 @@ stdenv.mkDerivation rec { buildInputs = [gfortran blas lapack]; configureFlags = [ "--with-blas=-lblas" "--with-lapack=-llapack" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Just Another Gibbs Sampler"; license = licenses.gpl2; homepage = "http://mcmc-jags.sourceforge.net"; diff --git a/pkgs/applications/science/math/lp_solve/default.nix b/pkgs/applications/science/math/lp_solve/default.nix index 673c28ffa77..f944499af40 100644 --- a/pkgs/applications/science/math/lp_solve/default.nix +++ b/pkgs/applications/science/math/lp_solve/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl }: +{ lib, stdenv, fetchurl }: stdenv.mkDerivation rec { @@ -37,7 +37,7 @@ stdenv.mkDerivation rec { ) ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A Mixed Integer Linear Programming (MILP) solver"; homepage = "http://lpsolve.sourceforge.net"; license = licenses.gpl2Plus; diff --git a/pkgs/applications/science/math/lrcalc/default.nix b/pkgs/applications/science/math/lrcalc/default.nix index ddd470e621a..96eb7796451 100644 --- a/pkgs/applications/science/math/lrcalc/default.nix +++ b/pkgs/applications/science/math/lrcalc/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromBitbucket , fetchpatch , autoreconfHook @@ -30,7 +30,7 @@ stdenv.mkDerivation rec { }) ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Littlewood-Richardson calculator"; homepage = "http://math.rutgers.edu/~asbuch/lrcalc/"; license = licenses.gpl2Plus; diff --git a/pkgs/applications/science/math/mathematica/default.nix b/pkgs/applications/science/math/mathematica/default.nix index ea9a9c1b755..e91ad5e5f8c 100644 --- a/pkgs/applications/science/math/mathematica/default.nix +++ b/pkgs/applications/science/math/mathematica/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , coreutils , patchelf , requireFile @@ -154,7 +154,7 @@ stdenv.mkDerivation rec { # we did this in prefixup already dontPatchELF = true; - meta = with stdenv.lib; { + meta = with lib; { description = "Wolfram Mathematica computational software system"; homepage = "http://www.wolfram.com/mathematica/"; license = licenses.unfree; diff --git a/pkgs/applications/science/math/mxnet/default.nix b/pkgs/applications/science/math/mxnet/default.nix index 68df53aee39..ab360a96385 100644 --- a/pkgs/applications/science/math/mxnet/default.nix +++ b/pkgs/applications/science/math/mxnet/default.nix @@ -43,7 +43,7 @@ stdenv.mkDerivation rec { rm "$out"/lib/*.a ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler"; homepage = "https://mxnet.incubator.apache.org/"; maintainers = with maintainers; [ abbradar ]; diff --git a/pkgs/applications/science/math/nasc/default.nix b/pkgs/applications/science/math/nasc/default.nix index 9d14df5a798..40406cc4588 100644 --- a/pkgs/applications/science/math/nasc/default.nix +++ b/pkgs/applications/science/math/nasc/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromGitHub , pkgconfig , python3 @@ -70,7 +70,7 @@ stdenv.mkDerivation rec { }; }; - meta = with stdenv.lib; { + meta = with lib; { description = "Do maths like a normal person, designed for elementary OS"; longDescription = '' It’s an app where you do maths like a normal person. It lets you diff --git a/pkgs/applications/science/math/palp/default.nix b/pkgs/applications/science/math/palp/default.nix index 9ae4fe1ba92..b5b9577d493 100644 --- a/pkgs/applications/science/math/palp/default.nix +++ b/pkgs/applications/science/math/palp/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchurl , dimensions ? 6 # works for <= dimensions dimensions, but is only optimized for that exact value , doSymlink ? true # symlink the executables to the default location (without dimension postfix) @@ -53,7 +53,7 @@ stdenv.mkDerivation rec { done ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A Package for Analyzing Lattice Polytopes"; longDescription = '' A Package for Analyzing Lattice Polytopes (PALP) is a set of C diff --git a/pkgs/applications/science/math/pari/default.nix b/pkgs/applications/science/math/pari/default.nix index 7ec42d11ab1..dd965e17c73 100644 --- a/pkgs/applications/science/math/pari/default.nix +++ b/pkgs/applications/science/math/pari/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchurl , gmp , readline @@ -47,7 +47,7 @@ stdenv.mkDerivation rec { makeFlags = [ "all" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Computer algebra system for high-performance number theory computations"; longDescription = '' PARI/GP is a widely used computer algebra system designed for fast diff --git a/pkgs/applications/science/math/pari/gp2c.nix b/pkgs/applications/science/math/pari/gp2c.nix index 082ff60c3e8..23183f83b36 100644 --- a/pkgs/applications/science/math/pari/gp2c.nix +++ b/pkgs/applications/science/math/pari/gp2c.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , pari , fetchurl , perl }: @@ -18,7 +18,7 @@ stdenv.mkDerivation rec { "--with-paricfg=${pari}/lib/pari/pari.cfg" "--with-perl=${perl}/bin/perl" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "A compiler to translate GP scripts to PARI programs"; homepage = "http://pari.math.u-bordeaux.fr/"; downloadPage = "http://pari.math.u-bordeaux.fr/download.html"; diff --git a/pkgs/applications/science/math/pynac/default.nix b/pkgs/applications/science/math/pynac/default.nix index e3474d865e2..d49285c3e2f 100644 --- a/pkgs/applications/science/math/pynac/default.nix +++ b/pkgs/applications/science/math/pynac/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromGitHub , fetchurl , autoreconfHook @@ -42,7 +42,7 @@ stdenv.mkDerivation rec { }) ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Python is Not a CAS -- modified version of Ginac"; longDescription = '' Pynac -- "Python is Not a CAS" is a modified version of Ginac that diff --git a/pkgs/applications/science/math/qalculate-gtk/default.nix b/pkgs/applications/science/math/qalculate-gtk/default.nix index ba7ac5505e4..d7d880df040 100644 --- a/pkgs/applications/science/math/qalculate-gtk/default.nix +++ b/pkgs/applications/science/math/qalculate-gtk/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, intltool, autoreconfHook, pkgconfig, libqalculate, gtk3, wrapGAppsHook }: +{ lib, stdenv, fetchFromGitHub, intltool, autoreconfHook, pkgconfig, libqalculate, gtk3, wrapGAppsHook }: stdenv.mkDerivation rec { pname = "qalculate-gtk"; @@ -17,7 +17,7 @@ stdenv.mkDerivation rec { buildInputs = [ libqalculate gtk3 ]; enableParallelBuilding = true; - meta = with stdenv.lib; { + meta = with lib; { description = "The ultimate desktop calculator"; homepage = "http://qalculate.github.io"; maintainers = with maintainers; [ gebner ]; diff --git a/pkgs/applications/science/math/ries/default.nix b/pkgs/applications/science/math/ries/default.nix index 4adf3ef2096..e46553d7b09 100644 --- a/pkgs/applications/science/math/ries/default.nix +++ b/pkgs/applications/science/math/ries/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchzip }: +{ lib, stdenv, fetchzip }: stdenv.mkDerivation { name = "ries-2018-04-11"; @@ -10,7 +10,7 @@ stdenv.mkDerivation { makeFlags = [ "PREFIX=$(out)" ]; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://mrob.com/pub/ries/"; description = "Tool to produce a list of equations that approximately solve to a given number"; platforms = platforms.all; diff --git a/pkgs/applications/science/math/rofi-calc/default.nix b/pkgs/applications/science/math/rofi-calc/default.nix index ebf2d2f0475..e7cf98c7266 100644 --- a/pkgs/applications/science/math/rofi-calc/default.nix +++ b/pkgs/applications/science/math/rofi-calc/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromGitHub , autoreconfHook , pkgconfig @@ -43,7 +43,7 @@ stdenv.mkDerivation rec { sed "s|qalc_binary = \"qalc\"|qalc_binary = \"${libqalculate}/bin/qalc\"|" -i src/calc.c ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Do live calculations in rofi!"; homepage = "https://github.com/svenstaro/rofi-calc"; license = licenses.mit; diff --git a/pkgs/applications/science/math/sage/sage.nix b/pkgs/applications/science/math/sage/sage.nix index e2acef7b8eb..b9256e32f8b 100644 --- a/pkgs/applications/science/math/sage/sage.nix +++ b/pkgs/applications/science/math/sage/sage.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , makeWrapper , sage-tests , sage-with-env @@ -60,7 +60,7 @@ stdenv.mkDerivation rec { kernelspec = jupyter-kernel-definition; }; - meta = with stdenv.lib; { + meta = with lib; { description = "Open Source Mathematics Software, free alternative to Magma, Maple, Mathematica, and Matlab"; license = licenses.gpl2; maintainers = teams.sage.members; diff --git a/pkgs/applications/science/math/wxmaxima/default.nix b/pkgs/applications/science/math/wxmaxima/default.nix index 7a81a0d679a..89bdc415548 100644 --- a/pkgs/applications/science/math/wxmaxima/default.nix +++ b/pkgs/applications/science/math/wxmaxima/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub +{ lib, stdenv, fetchFromGitHub , wrapGAppsHook, cmake, gettext , maxima, wxGTK, gnome3 }: @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { gappsWrapperArgs+=(--prefix PATH ":" ${maxima}/bin) ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Cross platform GUI for the computer algebra system Maxima"; license = licenses.gpl2; homepage = "https://wxmaxima-developers.github.io/wxmaxima/"; diff --git a/pkgs/applications/science/math/zegrapher/default.nix b/pkgs/applications/science/math/zegrapher/default.nix index c9eb72cca43..32633eb8015 100644 --- a/pkgs/applications/science/math/zegrapher/default.nix +++ b/pkgs/applications/science/math/zegrapher/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchFromGitHub , qmake , wrapQtAppsHook @@ -23,7 +23,7 @@ stdenv.mkDerivation rec { boost ]; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://zegrapher.com/"; description = "An open source math plotter"; longDescription = '' diff --git a/pkgs/applications/science/misc/convertall/default.nix b/pkgs/applications/science/misc/convertall/default.nix index 63ed18c89b2..9a7ac2a8b13 100644 --- a/pkgs/applications/science/misc/convertall/default.nix +++ b/pkgs/applications/science/misc/convertall/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, python3, wrapQtAppsHook }: +{ lib, stdenv, fetchFromGitHub, python3, wrapQtAppsHook }: let inherit (python3.pkgs) wrapPython pyqt5; @@ -27,7 +27,7 @@ in stdenv.mkDerivation rec { makeQtWrapper $out/share/convertall/convertall.py $out/bin/convertall ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://convertall.bellz.org/"; description = "Graphical unit converter"; license = licenses.gpl2Plus; diff --git a/pkgs/applications/science/misc/gephi/default.nix b/pkgs/applications/science/misc/gephi/default.nix index b6b53013cb4..95112fa9098 100644 --- a/pkgs/applications/science/misc/gephi/default.nix +++ b/pkgs/applications/science/misc/gephi/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, jdk, maven, javaPackages }: +{ lib, stdenv, fetchFromGitHub, jdk, maven, javaPackages }: let version = "0.9.2"; @@ -55,7 +55,7 @@ stdenv.mkDerivation { echo "jdkhome=${jdk}" >> $out/etc/gephi.conf ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A platform for visualizing and manipulating large graphs"; homepage = "https://gephi.org"; license = licenses.gpl3; diff --git a/pkgs/applications/science/misc/gplates/default.nix b/pkgs/applications/science/misc/gplates/default.nix index ade58b28ab6..d0315d15967 100644 --- a/pkgs/applications/science/misc/gplates/default.nix +++ b/pkgs/applications/science/misc/gplates/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, qt4, qwt6_qt4, libGLU, libGL, glew, gdal, cgal +{ lib, stdenv, fetchurl, qt4, qwt6_qt4, libGLU, libGL, glew, gdal, cgal , proj, boost, cmake, python2, doxygen, graphviz, gmp, mpfr }: stdenv.mkDerivation rec { @@ -22,7 +22,7 @@ stdenv.mkDerivation rec { NIX_CFLAGS_LINK="-ldl -lpthread -lutil"; - meta = with stdenv.lib; { + meta = with lib; { description = "Desktop software for the interactive visualisation of plate-tectonics"; homepage = "https://www.gplates.org"; license = licenses.gpl2; diff --git a/pkgs/applications/science/misc/netlogo/default.nix b/pkgs/applications/science/misc/netlogo/default.nix index af892441a47..b22c6294fba 100644 --- a/pkgs/applications/science/misc/netlogo/default.nix +++ b/pkgs/applications/science/misc/netlogo/default.nix @@ -1,4 +1,4 @@ -{ jre, stdenv, fetchurl, makeWrapper, makeDesktopItem }: +{ jre, lib, stdenv, fetchurl, makeWrapper, makeDesktopItem }: let @@ -44,7 +44,7 @@ stdenv.mkDerivation rec { cp ${desktopItem}/share/applications/* $out/share/applications ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A multi-agent programmable modeling environment"; longDescription = '' NetLogo is a multi-agent programmable modeling environment. It is used by diff --git a/pkgs/applications/science/misc/openmodelica/default.nix b/pkgs/applications/science/misc/openmodelica/default.nix index 589b1370023..8b027b52687 100644 --- a/pkgs/applications/science/misc/openmodelica/default.nix +++ b/pkgs/applications/science/misc/openmodelica/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchgit, fetchsvn, autoconf, automake, libtool, gfortran, clang, cmake, gnumake, +{lib, stdenv, fetchgit, fetchsvn, autoconf, automake, libtool, gfortran, clang, cmake, gnumake, hwloc, jre, lapack, blas, hdf5, expat, ncurses, readline, qt4, webkitgtk, which, lp_solve, omniorb, sqlite, libatomic_ops, pkgconfig, file, gettext, flex, bison, doxygen, boost, openscenegraph, gnome2, xorg, git, bash, gtk2, makeWrapper }: @@ -42,7 +42,7 @@ stdenv.mkDerivation { done ''; - meta = with stdenv.lib; { + meta = with lib; { description = "An open-source Modelica-based modeling and simulation environment"; homepage = "https://openmodelica.org"; license = licenses.gpl3; diff --git a/pkgs/applications/science/misc/openmvs/default.nix b/pkgs/applications/science/misc/openmvs/default.nix index f8533677b7a..ec22aaa599b 100644 --- a/pkgs/applications/science/misc/openmvs/default.nix +++ b/pkgs/applications/science/misc/openmvs/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, pkgconfig, cmake +{ lib, stdenv, fetchFromGitHub, pkgconfig, cmake , eigen, opencv, ceres-solver, cgal, boost, vcg , gmp, mpfr, glog, gflags, libjpeg_turbo }: @@ -50,7 +50,7 @@ stdenv.mkDerivation { dontUseCmakeBuildDir = true; - meta = with stdenv.lib; { + meta = with lib; { description = "A library for computer-vision scientists and especially targeted to the Multi-View Stereo reconstruction community"; homepage = "http://cdcseacave.github.io/openMVS/"; license = licenses.agpl3; diff --git a/pkgs/applications/science/misc/rink/default.nix b/pkgs/applications/science/misc/rink/default.nix index 0b1ef2b16ea..5670969e7a2 100644 --- a/pkgs/applications/science/misc/rink/default.nix +++ b/pkgs/applications/science/misc/rink/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, rustPlatform, openssl, pkg-config, ncurses }: +{ lib, stdenv, fetchFromGitHub, rustPlatform, openssl, pkg-config, ncurses }: rustPlatform.buildRustPackage rec { version = "0.5.1"; @@ -19,7 +19,7 @@ rustPlatform.buildRustPackage rec { # Some tests fail and/or attempt to use internet servers. doCheck = false; - meta = with stdenv.lib; { + meta = with lib; { description = "Unit-aware calculator"; homepage = "https://rinkcalc.app"; license = with licenses; [ mpl20 gpl3 ]; diff --git a/pkgs/applications/science/misc/root/5.nix b/pkgs/applications/science/misc/root/5.nix index c42f80da352..d8e6ae06a24 100644 --- a/pkgs/applications/science/misc/root/5.nix +++ b/pkgs/applications/science/misc/root/5.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, fetchpatch, cmake, pcre, pkg-config, python2 +{ lib, stdenv, fetchurl, fetchpatch, cmake, pcre, pkg-config, python2 , libX11, libXpm, libXft, libXext, libGLU, libGL, zlib, libxml2, lz4, lzma, gsl_1, xxHash , Cocoa, OpenGL, noSplash ? false }: @@ -79,7 +79,7 @@ stdenv.mkDerivation rec { setupHook = ./setup-hook.sh; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://root.cern.ch/"; description = "A data analysis framework"; platforms = platforms.unix; diff --git a/pkgs/applications/science/misc/root/default.nix b/pkgs/applications/science/misc/root/default.nix index 2e9fcdb35a2..8bfde114beb 100644 --- a/pkgs/applications/science/misc/root/default.nix +++ b/pkgs/applications/science/misc/root/default.nix @@ -89,7 +89,7 @@ stdenv.mkDerivation rec { setupHook = ./setup-hook.sh; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://root.cern.ch/"; description = "A data analysis framework"; platforms = platforms.unix; diff --git a/pkgs/applications/science/misc/snakemake/default.nix b/pkgs/applications/science/misc/snakemake/default.nix index a03f7682a51..6b3c405a9ac 100644 --- a/pkgs/applications/science/misc/snakemake/default.nix +++ b/pkgs/applications/science/misc/snakemake/default.nix @@ -1,4 +1,4 @@ -{ stdenv, python3Packages }: +{ lib, stdenv, python3Packages }: python3Packages.buildPythonApplication rec { pname = "snakemake"; @@ -28,7 +28,7 @@ python3Packages.buildPythonApplication rec { doCheck = false; # Tests depend on Google Cloud credentials at ${HOME}/gcloud-service-key.json - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://snakemake.readthedocs.io"; license = licenses.mit; description = "Python-based execution environment for make-like workflows"; diff --git a/pkgs/applications/science/molecular-dynamics/dl-poly-classic/default.nix b/pkgs/applications/science/molecular-dynamics/dl-poly-classic/default.nix index 51978e95766..16d858b00be 100644 --- a/pkgs/applications/science/molecular-dynamics/dl-poly-classic/default.nix +++ b/pkgs/applications/science/molecular-dynamics/dl-poly-classic/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl +{ lib, stdenv, fetchurl , gfortran, mpi }: @@ -27,7 +27,7 @@ stdenv.mkDerivation { cp -v ../execute/DLPOLY.X $out/bin ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://www.ccp5.ac.uk/DL_POLY_C"; description = "DL_POLY Classic is a general purpose molecular dynamics simulation package"; license = licenses.bsdOriginal; diff --git a/pkgs/applications/science/molecular-dynamics/gromacs/default.nix b/pkgs/applications/science/molecular-dynamics/gromacs/default.nix index 84dd3b729b2..6a243c1d917 100644 --- a/pkgs/applications/science/molecular-dynamics/gromacs/default.nix +++ b/pkgs/applications/science/molecular-dynamics/gromacs/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchurl , cmake , hwloc @@ -54,7 +54,7 @@ in stdenv.mkDerivation rec { ] ); - meta = with stdenv.lib; { + meta = with lib; { homepage = "http://www.gromacs.org"; license = licenses.gpl2; description = "Molecular dynamics software package"; diff --git a/pkgs/applications/science/molecular-dynamics/lammps/default.nix b/pkgs/applications/science/molecular-dynamics/lammps/default.nix index 5dc31695c60..561bb119f12 100644 --- a/pkgs/applications/science/molecular-dynamics/lammps/default.nix +++ b/pkgs/applications/science/molecular-dynamics/lammps/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub +{ lib, stdenv, fetchFromGitHub , libpng, gzip, fftw, blas, lapack , mpi ? null }: @@ -50,7 +50,7 @@ stdenv.mkDerivation rec { cp -v liblammps* $out/lib/ ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Classical Molecular Dynamics simulation code"; longDescription = '' LAMMPS is a classical molecular dynamics simulation code designed to diff --git a/pkgs/applications/science/molecular-dynamics/viennarna/default.nix b/pkgs/applications/science/molecular-dynamics/viennarna/default.nix index a68feaea1ef..b3af602f578 100644 --- a/pkgs/applications/science/molecular-dynamics/viennarna/default.nix +++ b/pkgs/applications/science/molecular-dynamics/viennarna/default.nix @@ -1,4 +1,4 @@ -{ stdenv +{ lib, stdenv , fetchurl , gsl , mpfr @@ -27,7 +27,7 @@ stdenv.mkDerivation rec { "--with-kinwalker" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Prediction and comparison of RNA secondary structures"; homepage = "https://www.tbi.univie.ac.at/RNA/"; license = licenses.unfree; diff --git a/pkgs/applications/science/physics/elmerfem/default.nix b/pkgs/applications/science/physics/elmerfem/default.nix index 7e10ecaba36..6fa25ce66ae 100644 --- a/pkgs/applications/science/physics/elmerfem/default.nix +++ b/pkgs/applications/science/physics/elmerfem/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, cmake, git, gfortran, openmpi, blas, liblapack, qt4, qwt6_qt4, pkg-config }: +{ lib, stdenv, fetchFromGitHub, cmake, git, gfortran, openmpi, blas, liblapack, qt4, qwt6_qt4, pkg-config }: stdenv.mkDerivation rec { pname = "elmerfem"; @@ -36,7 +36,7 @@ stdenv.mkDerivation rec { ./fix-cmake.patch ]; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://elmerfem.org/"; description = "A finite element software for multiphysical problems"; platforms = platforms.unix; diff --git a/pkgs/applications/science/physics/quantomatic/default.nix b/pkgs/applications/science/physics/quantomatic/default.nix index a9c83310b2f..c1400869a25 100644 --- a/pkgs/applications/science/physics/quantomatic/default.nix +++ b/pkgs/applications/science/physics/quantomatic/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, jre, makeWrapper }: +{ lib, stdenv, fetchurl, jre, makeWrapper }: stdenv.mkDerivation rec { pname = "quantomatic"; @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { makeWrapper ${jre}/bin/java $out/bin/quantomatic --add-flags "-jar $out/libexec/quantomatic/quantomatic.jar" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "A piece of software for reasoning about monoidal theories; in particular, quantum information processing"; license = licenses.gpl3; homepage = "https://quantomatic.github.io/"; diff --git a/pkgs/applications/science/physics/sherpa/default.nix b/pkgs/applications/science/physics/sherpa/default.nix index 93e402ec3ce..9a3af78240e 100644 --- a/pkgs/applications/science/physics/sherpa/default.nix +++ b/pkgs/applications/science/physics/sherpa/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, gfortran, hepmc2, fastjet, lhapdf, rivet, sqlite }: +{ lib, stdenv, fetchurl, gfortran, hepmc2, fastjet, lhapdf, rivet, sqlite }: stdenv.mkDerivation rec { pname = "sherpa"; @@ -25,7 +25,7 @@ stdenv.mkDerivation rec { "--enable-rivet=${rivet}" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "Simulation of High-Energy Reactions of PArticles in lepton-lepton, lepton-photon, photon-photon, lepton-hadron and hadron-hadron collisions"; license = licenses.gpl2; homepage = "https://gitlab.com/sherpa-team/sherpa"; diff --git a/pkgs/applications/science/physics/xfitter/default.nix b/pkgs/applications/science/physics/xfitter/default.nix index cbb097350c7..0713825ccef 100644 --- a/pkgs/applications/science/physics/xfitter/default.nix +++ b/pkgs/applications/science/physics/xfitter/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, apfel, apfelgrid, applgrid, blas, gfortran, lhapdf, lapack, libyaml, lynx +{ lib, stdenv, fetchurl, apfel, apfelgrid, applgrid, blas, gfortran, lhapdf, lapack, libyaml, lynx , mela, root5, qcdnum, which, libtirpc }: @@ -52,7 +52,7 @@ stdenv.mkDerivation rec { NIX_CFLAGS_COMPILE = [ "-I${libtirpc.dev}/include/tirpc" ]; NIX_LDFLAGS = [ "-ltirpc" ]; - meta = with stdenv.lib; { + meta = with lib; { description = "The xFitter project is an open source QCD fit framework ready to extract PDFs and assess the impact of new data"; license = licenses.gpl3; homepage = "https://www.xfitter.org/xFitter"; diff --git a/pkgs/applications/science/programming/fdr/default.nix b/pkgs/applications/science/programming/fdr/default.nix index 4eeca5c1759..3ac8267d8ae 100644 --- a/pkgs/applications/science/programming/fdr/default.nix +++ b/pkgs/applications/science/programming/fdr/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, qtbase, qtx11extras, ncurses5, xorg, zlib, python27Packages}: +{lib, stdenv, fetchurl, qtbase, qtx11extras, ncurses5, xorg, zlib, python27Packages}: stdenv.mkDerivation { name = "fdr-4.2.3"; src = fetchurl { @@ -58,7 +58,7 @@ stdenv.mkDerivation { done ''; - meta = with stdenv.lib; { + meta = with lib; { homepage = "https://www.cs.ox.ac.uk/projects/fdr/"; description = "The CSP refinement checker"; license = licenses.unfreeRedistributable; diff --git a/pkgs/applications/science/programming/groove/default.nix b/pkgs/applications/science/programming/groove/default.nix index 87b7b02317a..958c452b9fc 100644 --- a/pkgs/applications/science/programming/groove/default.nix +++ b/pkgs/applications/science/programming/groove/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, unzip, makeWrapper, makeDesktopItem, icoutils, jre }: +{ lib, stdenv, fetchurl, unzip, makeWrapper, makeDesktopItem, icoutils, jre }: let desktopItem = makeDesktopItem { @@ -44,7 +44,7 @@ in stdenv.mkDerivation rec { icotool -x -i 2 -o $out/share/icons/hicolor/16x16/apps/groove.png groove-green-g.ico ''; - meta = with stdenv.lib; { + meta = with lib; { description = "GRaphs for Object-Oriented VErification"; homepage = "http://groove.cs.utwente.nl/"; license = licenses.asl20; diff --git a/pkgs/applications/science/programming/plm/default.nix b/pkgs/applications/science/programming/plm/default.nix index ebfb6471c63..852502e73b0 100644 --- a/pkgs/applications/science/programming/plm/default.nix +++ b/pkgs/applications/science/programming/plm/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, makeWrapper, jre, gcc, valgrind}: +{lib, stdenv, fetchurl, makeWrapper, jre, gcc, valgrind}: # gcc and valgrind are not strict dependencies, they could be made # optional. They are here because plm can only help you learn C if you # have them installed. @@ -26,7 +26,7 @@ stdenv.mkDerivation rec { --prefix PATH : "$PATH" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Free cross-platform programming exerciser"; license = licenses.gpl3; maintainers = [ ]; diff --git a/pkgs/applications/science/robotics/betaflight-configurator/default.nix b/pkgs/applications/science/robotics/betaflight-configurator/default.nix index 66b9a1ef63a..0b39c60b283 100644 --- a/pkgs/applications/science/robotics/betaflight-configurator/default.nix +++ b/pkgs/applications/science/robotics/betaflight-configurator/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl, unzip, makeDesktopItem, nwjs, wrapGAppsHook, gsettings-desktop-schemas, gtk3 }: +{lib, stdenv, fetchurl, unzip, makeDesktopItem, nwjs, wrapGAppsHook, gsettings-desktop-schemas, gtk3 }: let pname = "betaflight-configurator"; @@ -34,7 +34,7 @@ stdenv.mkDerivation rec { makeWrapper ${nwjs}/bin/nw $out/bin/${pname} --add-flags $out/opt/${pname} ''; - meta = with stdenv.lib; { + meta = with lib; { description = "The Betaflight flight control system configuration tool"; longDescription = '' A crossplatform configuration tool for the Betaflight flight control system. diff --git a/pkgs/applications/science/robotics/mission-planner/default.nix b/pkgs/applications/science/robotics/mission-planner/default.nix index 5ae04d8a84b..a299a66704d 100644 --- a/pkgs/applications/science/robotics/mission-planner/default.nix +++ b/pkgs/applications/science/robotics/mission-planner/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, makeDesktopItem, makeWrapper, unzip, mono6 }: +{ lib, stdenv, fetchurl, makeDesktopItem, makeWrapper, unzip, mono6 }: let pname = "mission-planner"; @@ -44,7 +44,7 @@ in stdenv.mkDerivation rec { runHook postInstall ''; - meta = with stdenv.lib; { + meta = with lib; { description = "An ArduPilot ground station"; longDescription = '' Full-featured ground station application for the ArduPilot open source diff --git a/pkgs/applications/science/robotics/sumorobot-manager/default.nix b/pkgs/applications/science/robotics/sumorobot-manager/default.nix index 68b91dafb73..bd056a2ec21 100644 --- a/pkgs/applications/science/robotics/sumorobot-manager/default.nix +++ b/pkgs/applications/science/robotics/sumorobot-manager/default.nix @@ -1,4 +1,4 @@ -{ stdenv, python3, qt5, fetchFromGitHub, wrapPython, pyqt5, pyserial }: +{ lib, stdenv, python3, qt5, fetchFromGitHub, wrapPython, pyqt5, pyserial }: stdenv.mkDerivation rec { pname = "sumorobot-manager"; @@ -34,7 +34,7 @@ stdenv.mkDerivation rec { wrapPythonProgramsIn "$out/opt" "$pythonPath" ''; - meta = with stdenv.lib; { + meta = with lib; { description = "Desktop App for managing SumoRobots"; homepage = "https://www.robokoding.com/kits/sumorobot/sumomanager/"; license = licenses.mit; |