Commit graph

4151 commits

Author SHA1 Message Date
Jakub Kądziołka
df410f8de7
isabelle: provide perl LWP for remote_vampire 2021-01-28 11:05:39 +01:00
Ben Siraphob
82454e9df8 treewide: remove implicit use of stdenv.lib 2021-01-27 20:04:57 +07:00
Sandro
ad97ca4e51
Merge pull request #110912 from siraben/stdenv-lib-inherit
treewide: remove inherited stdenv.lib
2021-01-27 10:28:55 +01:00
Ben Siraphob
3bbad8b041 treewide: remove inherited stdenv.lib 2021-01-27 12:44:43 +07:00
Phillip Cloud
bba47f95f1 sortmerna: mark broken on darwin 2021-01-26 12:55:33 -05:00
Pavol Rusnak
a6ce00c50c
treewide: remove stdenv where not needed 2021-01-25 18:31:47 +01:00
Sandro
ad445d3728
Merge pull request #110735 from jbedo/bedtools
bedtools: 2.29.2 -> 2.30.0
2021-01-25 11:04:30 +01:00
Ryan Mulligan
afebf1cc9a
Merge pull request #110529 from r-ryantm/auto-update/picard-tools
picard-tools: 2.24.0 -> 2.24.1
2021-01-24 18:06:28 -08:00
Justin Bedo
d81e79af15
bedtools: 2.29.2 -> 2.30.0 2021-01-25 13:06:22 +11:00
Sandro
a36bf6faf9
Merge pull request #101796 from luc65r/pkg/tilp2 2021-01-25 01:11:50 +01:00
Mario Rodas
214d726b92
Merge pull request #110487 from r-ryantm/auto-update/lean
lean: 3.24.0 -> 3.25.0
2021-01-24 10:17:35 -05:00
luc65r
3c5f402e6e
tilp2: init at 1.18 2021-01-24 14:06:41 +01:00
luc65r
99d0610e03
gfm: init at 1.08 2021-01-24 14:06:41 +01:00
volth
bc0d605cf1 treewide: fix double quoted strings in meta.description
Signed-off-by: Ben Siraphob <bensiraphob@gmail.com>
2021-01-24 19:56:59 +07:00
Pavol Rusnak
90f7338112
treewide: stdenv.lib -> lib 2021-01-24 01:49:49 +01:00
Markus Kowalewski
6dba41fbcb
mpi: use mpi attribute consistently as the default MPI implementations
Use the attribute mpi to provide a system wide default MPI
implementation. The default is openmpi (as before).
This now allows for overriding the MPI implentation by using
the overlay mechanism. Build all packages with mpich instead
of the default openmpi can now be achived like this:
self: super:
 {
   mpi = super.mpich;
 }

All derivations that have been using "mpi ? null" to provide optional
building with MPI have been change in the following way to allow for
optional builds with MPI:
{ ...
, mpi
, useMpi ? false
}
2021-01-23 12:15:13 +01:00
R. RyanTM
e1ea0a237a picard-tools: 2.24.0 -> 2.24.1 2021-01-22 19:10:27 +00:00
R. RyanTM
0119128f9e lean: 3.24.0 -> 3.25.0 2021-01-22 14:11:46 +00:00
sternenseemann
9212e03c13 acgtk: use dune install 2021-01-21 11:26:26 +01:00
Ryan Mulligan
33784b7228
Merge pull request #110086 from r-ryantm/auto-update/marvin
marvin: 20.20.0 -> 20.21.0
2021-01-20 23:38:00 -08:00
zowoq
932941b79c treewide: editorconfig fixes
- remove trailing whitespace
- use spaces for indentation
2021-01-21 13:29:54 +10:00
R. RyanTM
427bbe059a picard-tools: 2.23.9 -> 2.24.0 2021-01-20 20:42:01 +00:00
R. RyanTM
26dba9209f marvin: 20.20.0 -> 20.21.0 2021-01-20 05:27:37 +00:00
zowoq
759a2cd563 ecopcr: use spaces for indentation 2021-01-20 10:53:10 +10:00
zowoq
31f5dd3f36 treewide: editorconfig fixes
- remove trailing whitespace
- use spaces for indentation
2021-01-20 09:11:11 +10:00
R. RyanTM
5eeafdb3ad kstars: 3.5.0 -> 3.5.1 2021-01-19 18:56:23 +00:00
Jonathan Ringer
9bb3fccb5b treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
continuation of #109595

pkgconfig was aliased in 2018, however, it remained in
all-packages.nix due to its wide usage. This cleans
up the remaining references to pkgs.pkgsconfig and
moves the entry to aliases.nix.

python3Packages.pkgconfig remained unchanged because
it's the canonical name of the upstream package
on pypi.
2021-01-19 01:16:25 -08:00
Jonathan Ringer
200bb8c977 cd-hit: remove non-existent package 2021-01-19 01:16:25 -08:00
Sandro
ed2dbbba22
Merge pull request #109771 from r-ryantm/auto-update/delly
delly: 0.8.6 -> 0.8.7
2021-01-18 17:36:01 +01:00
R. RyanTM
e776f923e4 elan: 0.10.2 -> 0.10.3 2021-01-18 15:20:28 +00:00
R. RyanTM
a0e1bb6a4b delly: 0.8.6 -> 0.8.7 2021-01-18 14:22:30 +00:00
Sandro
0b6f223eec
Merge pull request #104756 from Mazurel/qucs-s
qucs-s: init at 0.0.22
2021-01-18 01:30:34 +01:00
Sandro
fe2882e5d3
Merge pull request #107845 from danielbarter/openbabel3 2021-01-18 00:37:32 +01:00
Sandro Jäckel
197eace081
avogadro: update maintainers 2021-01-18 00:21:49 +01:00
Mauricio Scheffer
f8b69fa6d2 starspace: init at unstable-2021-01-17 2021-01-17 21:31:55 +00:00
Ben Siraphob
badf51221d treewide: stdenv.lib -> lib 2021-01-16 17:58:11 +07:00
yangm2
c7ebdc8123
verilator: 4.100 -> 4.108
Co-authored-by: Austin Seipp <aseipp@pobox.com>
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2021-01-15 21:10:37 -06:00
Sandro
403ea9f27c
Merge pull request #97101 from fricklerhandwerk/wxpython 2021-01-15 10:30:05 +01:00
Michael Raskin
d714c53f17
fix mis-merge 2021-01-14 15:26:10 +00:00
Michael Raskin
f2210b7287
Merge branch 'master' into remove-opensmt 2021-01-14 14:22:22 +00:00
fricklerhandwerk
bb2879d593 mavproxy: fix darwin build 2021-01-14 09:26:12 +01:00
Sandro Jäckel
55444ed07f
nasc: Fix compilation with gcc10 2021-01-11 12:08:20 +01:00
Profpatsch
4a7f99d55d 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
2021-01-11 10:38:22 +01:00
Jan Tojnar
dd72357155
Merge branch 'master' into staging-next 2021-01-10 23:24:33 +01:00
John Ericson
05b5b5491e
Merge pull request #108507 from Ericson2314/ott-mode
ott-mode: Factor our from ott
2021-01-10 14:30:59 -05:00
github-actions[bot]
433c7b069c
Merge master into staging-next 2021-01-10 01:03:35 +00:00
Markus Kowalewski
14caa4b2bf
octopus: 10.0 -> 10.3 2021-01-09 16:32:49 +01:00
Markus Kowalewski
0961d5b998
octopus: update licenses 2021-01-09 16:32:49 +01:00
Michael Weiss
8ae8602bf7
Merge branch 'master' into staging-next
Manually resolved a conflict in
pkgs/development/libraries/libbladeRF/default.nix.
2021-01-09 12:16:11 +01:00
Cyril Cohen
9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00