Sandro
e368149fcd
Merge pull request #111003 from NieDzejkob/isabelle-vampire
...
isabelle: provide perl LWP for remote_vampire
2021-01-28 18:32:27 +01:00
Jakub Kądziołka
df410f8de7
isabelle: provide perl LWP for remote_vampire
2021-01-28 11:05:39 +01:00
Roland Coeurjoly
cbad557fe2
saw-tools: update license ( #110920 )
2021-01-27 17:52:41 +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
