Thomas Watson
8030981007
qgroundcontrol: fix build
...
Fixes build problems on x86_64 caused by a bug in their vendored version of
gst-plugins-good. Unfortunately I can't `fetchpatch` the fix because it just
changes a submodule pointer. The patch I added was generated from the fix at
https://github.com/mavlink/qgroundcontrol/issues/10140 .
2022-05-03 20:57:46 -05:00
Luis Pedro Coelho
596c5e7ea2
Static bwa
...
AR needs to be passed specifically on the command line
2022-05-04 02:20:50 +02:00
Luis Pedro Coelho
4758873378
Static build for samtools
...
Curses is not supported (it may be possible to support it)
2022-05-04 02:16:17 +02:00
Luis Pedro Coelho
0b1c28d5a1
Static build for megahit
2022-05-04 02:13:31 +02:00
Fabian Affolter
b10e012588
Merge pull request #171121 from fabaff/pathy-clean
...
python310Packages.smart-open: 5.2.1 -> 6.0.0, python39Packages.spacy: 3.2.4 -> 3.3.0, snakemake: 6.15.5 -> 7.5.0
2022-05-02 12:33:22 +02:00
Fabian Affolter
8b176291d7
snakemake: 6.15.5 -> 7.5.0
2022-05-01 13:02:10 +02:00
Vladimír Čunát
c480cc2895
Merge branch 'master' into staging-next-2022-04-23
2022-04-30 23:02:28 +02:00
Guillaume Girol
03e1b22740
Merge pull request #170413 from jdupak/master
...
QtRVSim: 0.9.2 -> 0.9.3
2022-04-29 18:42:50 +00:00
Bruno Bzeznik
5661ca1a2d
adolc: init at 2.7.2
2022-04-29 10:38:40 -05:00
R. Ryantm
a82b1b63c3
blast: 2.12.0 -> 2.13.0
2022-04-29 09:39:10 -05:00
Vladimír Čunát
8caa1418f6
Merge branch 'master' into staging-next-2022-04-23
2022-04-28 18:04:16 +02:00
Serge K
1248ea16e1
colmap: fix for cuda11.6/gcc11 ( #169623 )
...
* colmap: force nvcc std=c++14 after gcc11 bump
* colmap: optional -> optionals
* colmap: sha256 -> hash
* colmapWithCuda: force CUDA_ENABLED=ON safeguard
* colmapWithCuda: add opengl runpath
2022-04-27 16:09:30 -07:00
github-actions[bot]
8261a7aaba
Merge master into staging-next
2022-04-27 00:02:17 +00:00
Justin Bedo
5eb9f35c44
R: 4.1.3 -> 4.2.0
...
Patch needed to past test, as there are extra warnings
in a sandbox build due to lack of internet access.
x
2022-04-27 09:55:00 +10:00
Ryan Mulligan
9fc849704f
Merge pull request #169916 from r-ryantm/auto-update/mavproxy
...
mavproxy: 1.8.48 -> 1.8.49
2022-04-26 16:31:50 -07:00
github-actions[bot]
f8c265f433
Merge master into staging-next
2022-04-26 06:01:08 +00:00
Rick van Schijndel
4586388f85
Merge pull request #170320 from andersk/negated-version
...
treewide: Simplify negated uses of versionAtLeast, versionOlder
2022-04-26 07:50:15 +02:00
Sandro
7deb7b084d
Merge pull request #170020 from Ma27/bump-stellarium
...
stellarium: 0.22.0 -> 0.22.1
2022-04-26 02:37:56 +02:00
Anders Kaseorg
00e66f10fa
coq: Rename internal versionAtLeast helper to coqAtLeast
...
To avoid potential confusion with lib.versionAtLeast.
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2022-04-25 13:35:06 -07:00
github-actions[bot]
073cad8fd6
Merge master into staging-next
2022-04-25 12:04:02 +00:00
markuskowa
b656483a05
Merge pull request #170240 from r-ryantm/auto-update/gromacs
...
gromacs: 2022 -> 2022.1
2022-04-25 13:54:46 +02:00
Jakub Dupak
773f7905b9
QtRVSim: 0.9.2 -> 0.9.3
2022-04-25 14:38:39 +03:00
R. Ryantm
0d56b692fa
gromacs: 2022 -> 2022.1
2022-04-25 11:09:40 +00:00
Gabriel Ebner
5838726cb9
calculix: 2.17 -> 2.19
2022-04-25 12:56:36 +02:00
Gabriel Ebner
94f1225197
calculix: fix build with gfortran 10
2022-04-25 12:51:12 +02:00
Sandro
2f517412c4
Merge pull request #165477 from rbreslow/dcm2niix-optional-modules
2022-04-25 11:59:49 +02:00
github-actions[bot]
6a14b5834e
Merge master into staging-next
2022-04-25 00:02:35 +00:00
Ryan Mulligan
f05a748058
Merge pull request #169246 from r-ryantm/auto-update/bada-bib
...
bada-bib: 0.6.1 -> 0.6.2
2022-04-24 13:58:11 -07:00
R. Ryantm
e66cf9c6c8
elan: 1.4.0 -> 1.4.1
2022-04-24 14:14:48 -04:00
Maximilian Bosch
7c2fd0ae5d
stellarium: 0.22.0 -> 0.22.1
...
ChangeLog: https://github.com/Stellarium/stellarium/releases/tag/v0.22.1
2022-04-23 23:46:33 +02:00
Vladimír Čunát
82ec893b68
Merge branch 'staging' into staging-next
2022-04-23 18:10:57 +02:00
R. Ryantm
8914714916
mavproxy: 1.8.48 -> 1.8.49
2022-04-23 08:24:30 +00:00
Artturi
785373a76f
Merge pull request #166605 from siraben/remove-redundant-stdenv
2022-04-22 20:25:38 +03:00
Artturin
f1c7f19e49
treewide: testVersion -> testers.testVersion
2022-04-22 16:24:27 +03:00
Mauricio Collares
0f29ab871f
sage: update test expectations
2022-04-21 09:08:41 +02:00
Mauricio Collares
5029df7737
giac: 1.6.0-47 -> 1.9.0-5
2022-04-21 09:08:40 +02:00
Jan van Brügge
9aa4c5dbfc
isabelle: Make closer to upstream
...
This makes isabelle use the versions of polyml and z3 that are also used
upstream. Additionally it packages the sha1 library that isabelle uses.
Co-authored-by: 1000teslas <47207223+1000teslas@users.noreply.github.com>
2022-04-20 11:22:43 +02:00
Jan van Brügge
2e52d5c892
naproche: 0.1.0.0 -> 2022-04-19
...
This fixes the build with GHC 9
2022-04-20 09:14:24 +02:00
veprbl
2511bad8aa
Merge pull request #168973 from veprbl/pr/root5_glibc_fix
...
root5: fix for glibc
2022-04-19 14:56:09 -04:00
ajs124
7d59bd47d2
Merge pull request #165341 from r-ryantm/auto-update/verilator
...
verilator: 4.218 -> 4.220
2022-04-19 17:52:10 +01:00
R. Ryantm
9919952421
bada-bib: 0.6.1 -> 0.6.2
2022-04-19 00:53:01 +00:00
Rocky Breslow
d1c3fea7ec
dcm2niix: support usage of suggested Cloudflare zlib
2022-04-18 15:00:45 -04:00
Rocky Breslow
9019ce0106
dcm2niix: add maintainer
...
Also, fix grammatical error in long description.
2022-04-18 15:00:16 -04:00
Sandro
f37f0ad4e1
Merge pull request #168969 from SuperSandro2000/staging-next-sandro
...
Staging next fixes
2022-04-17 00:35:09 +02:00
Dmitry Kalinkin
81f9e28844
root5: fix for glibc
2022-04-16 17:20:16 -04:00
Martin Weinelt
fa1bb283d8
Merge remote-tracking branch 'origin/master' into staging-next
2022-04-16 23:14:55 +02:00
Sandro Jäckel
f1189d812e
fast-downward: substitute version, fix buildInputs, minor cleanup
2022-04-16 22:46:45 +02:00
veprbl
bb5678ef5f
Merge pull request #168733 from veprbl/pr/xfitter_2_2_0
...
xfitter: 2.0.1 -> 2.2.0
2022-04-16 16:01:10 -04:00
Ben Siraphob
259fa13d53
treewide: remove nativeBuildInputs that are in stdenv
2022-04-16 21:46:46 +03:00
Fabián Heredia Montiel
5275050ab0
fityk: add -std=c++11 flag for gcc11 and later
2022-04-16 11:11:46 -05:00
Fabián Heredia Montiel
8c5a58144d
fast-downward: 19.12 → 21.12.0
2022-04-16 11:11:46 -05:00
Dmitry Kalinkin
cdc17db882
xfitter: 2.0.1 -> 2.2.0
2022-04-15 22:24:52 -04:00
Fabián Heredia Montiel
8a9d5e296b
cmtk: add -std=c++11 to fix build on gcc11
2022-04-15 11:15:30 -05:00
Martin Weinelt
a7fc5aaa76
Merge remote-tracking branch 'origin/master' into staging-next
2022-04-15 13:30:48 +02:00
Lassulus
92734ac395
Merge pull request #166865 from malob/treewide-mainProgram
...
treewide: add meta.mainProgram to many packages
2022-04-15 09:28:00 +01:00
Malo Bourgon
0e802eafad
treewide: add meta.mainProgram to many packages
2022-04-14 10:24:01 -07:00
Vladimír Čunát
d5d94127fd
Merge branch 'staging-next' into staging
...
Minor conflicts; I hope I didn't mess up:
pkgs/development/tools/misc/binutils/default.nix
pkgs/games/openjk/default.nix
2022-04-14 09:53:21 +02:00
R. Ryantm
ae6932e7b9
elan: 1.3.1 -> 1.4.0
2022-04-13 20:56:11 -04:00
Luflosi
0a2f8109f4
abc-verifier: 2022.03.04 -> 2022.03.22
2022-04-12 08:38:25 -05:00
Lassulus
8ca12e04fe
Merge pull request #162172 from grnnja/init-jflap
...
jflap: init at 7.1
2022-04-12 12:08:26 +01:00
ajs124
9aa337095c
Merge pull request #164699 from r-ryantm/auto-update/mavproxy
...
mavproxy: 1.8.46 -> 1.8.48
2022-04-11 20:13:29 +01:00
Sandro
ab1640b19b
Merge pull request #166909 from fedeinthemix/wolfram-engine-2
2022-04-11 13:53:05 +02:00
Federico Beffa
55a070a616
wolfram-for-jupyter-kernel: init at 0.9.2
...
Also, add a script 'wolfram-notebook' to easily start a jupyter
notebook for working with the Wolfram Engine.
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-04-11 11:54:09 +02:00
Federico Beffa
2055f85304
wolfram-engine: init at 13.0.1
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-04-11 11:54:03 +02:00
Sandro
9b0ef251b3
Merge pull request #167729 from yuuyins/brmodelo
2022-04-10 21:19:44 +02:00
Fabian Affolter
394c9ba5e4
Merge pull request #168132 from r-ryantm/auto-update/calc
...
calc: 2.14.0.14 -> 2.14.1.0
2022-04-10 20:56:16 +02:00
github-actions[bot]
bf63dd7434
Merge staging-next into staging
2022-04-10 18:01:38 +00:00
Vladimír Čunát
5e845236f2
Merge branch 'staging-next' into staging
2022-04-10 17:11:36 +02:00
Doron Behar
357ca2e62c
Merge pull request #168130 from alyaeanyx/qalculate-gtk-4.1.1
2022-04-10 16:39:23 +03:00
Lassulus
973fa1917c
Merge pull request #162300 from r-ryantm/auto-update/cwltool
...
cwltool: 3.1.20220221074232 -> 3.1.20220224085855
2022-04-10 13:37:54 +01:00
R. Ryantm
6ebcd043e2
calc: 2.14.0.14 -> 2.14.1.0
2022-04-10 12:33:50 +00:00
alyaeanyx
0fc77bcb21
qalculate-gtk: 4.1.0 -> 4.1.1
2022-04-10 13:59:30 +02:00
Artturi
ebf6f84ea2
Merge pull request #164722 from armeenm/bump-eggnog-mapper
...
eggnog-mapper: 1.0.3 -> 2.1.7
2022-04-10 14:37:21 +03:00
R. Ryantm
2fd4f690a9
xmedcon: 0.21.2 -> 0.22.0
2022-04-10 05:36:08 +00:00
github-actions[bot]
28c6c88d42
Merge staging-next into staging
2022-04-10 00:02:52 +00:00
Thiago Kenji Okada
615e5e10c1
Merge pull request #166740 from shadaj/init-cvc5-symfpu
...
cvc5: init at 1.0.0 & symfpu: init at 8fbe139b
2022-04-09 20:07:29 +01:00
github-actions[bot]
f303d4de3b
Merge staging-next into staging
2022-04-09 12:02:07 +00:00
Frederik Rietdijk
1d63f89caa
cudaPackages: overhaul of how we package cuda packages
...
There are many different versions of the `cudatoolkit` and related
cuda packages, and it can be tricky to ensure they remain compatible.
- `cudaPackages` is now a package set with `cudatoolkit`, `cudnn`, `cutensor`, `nccl`, as well as `cudatoolkit` split into smaller packages ("redist");
- expressions should now use `cudaPackages` as parameter instead of the individual cuda packages;
- `makeScope` is now used, so it is possible to use `.overrideScope'` to set e.g. a different `cudnn` version;
- `release-cuda.nix` is introduced to easily evaluate cuda packages using hydra.
2022-04-09 08:50:22 +02:00
yuu
7203cae13b
brmodelo: init at 3.31
...
Co-authored-by: Sandro Jäckel <sandro.jaeckel@gmail.com>
2022-04-08 11:45:42 -03:00
github-actions[bot]
1266a252ca
Merge staging-next into staging
2022-04-08 00:02:53 +00:00
Artturi
f087013f8e
Merge pull request #167679 from collares/sage-networkx27
...
sage: post python-unstable/staging-next merge fixes
2022-04-07 23:29:10 +03:00
Mauricio Collares
79cc492ceb
sage: set CXXFLAGS to match CFLAGS in sage-env
2022-04-07 14:20:43 +02:00
Mauricio Collares
384117bb95
sage: import scipy 1.8 update patch
2022-04-07 14:20:42 +02:00
zowoq
3a70d5dc83
Merge remote-tracking branch 'origin/staging-next' into staging
...
Conflicts:
pkgs/development/compilers/go/2-dev.nix
2022-04-07 22:12:13 +10:00
Mauricio Collares
9e80144a8b
sage: refresh ipython update patch for ipython 8.1 compat
2022-04-07 14:06:55 +02:00
Mauricio Collares
49cddf1a78
sage: import networkx 2.7 update patch
2022-04-07 14:06:55 +02:00
Frederik Rietdijk
a7bbda4271
Merge pull request #167250 from SomeoneSerge/bump-cudatoolkit
...
cudatoolkit: 10.2 -> 11.5
2022-04-07 13:40:43 +02:00
R. Ryantm
241de3da58
wxmaxima: 21.11.0 -> 22.03.0
2022-04-07 01:42:41 +00:00
Shadaj Laddad
74b7319023
cvc5: init at 1.0.0
2022-04-06 21:20:40 +00:00
github-actions[bot]
241b3652c3
Merge staging-next into staging
2022-04-06 12:01:50 +00:00
Eelco Dolstra
9c60061edc
Merge pull request #165730 from ConnorBaker/z3_versions
...
z3: init 4.8.15, 4.7.1
2022-04-06 12:47:33 +02:00
Someone Serge
1b74f75b59
python310Packages.caffe: mark as broken
2022-04-06 00:44:37 +03:00
Someone Serge
565201d769
python310Packages.mxnet: mark cudaSupport broken
2022-04-06 00:44:36 +03:00
Someone Serge
226fabb1a6
python3Packages.mxnet: pass explicit cuda gencodes
2022-04-06 00:44:35 +03:00
Connor Baker
923fad863c
z3: Remove unused fetchpatch
2022-04-05 09:22:52 -04:00
github-actions[bot]
3063a8ea39
Merge staging-next into staging
2022-04-05 12:10:46 +00:00
github-actions[bot]
27a4e52731
Merge master into staging-next
2022-04-05 12:05:41 +00:00
7c6f434c
be0ceba455
Merge pull request #167252 from r-ryantm/auto-update/jmol
...
jmol: 14.32.39 -> 14.32.45
2022-04-05 10:18:22 +00:00
Martin Weinelt
bf1914e12a
Merge remote-tracking branch 'origin/staging-next' into staging
2022-04-05 04:05:02 +02:00
github-actions[bot]
120925b5cb
Merge master into staging-next
2022-04-05 00:02:06 +00:00
R. Ryantm
1f032adb49
jmol: 14.32.39 -> 14.32.45
2022-04-04 22:28:33 +00:00
Ryan Mulligan
b56cf0ed6a
Merge pull request #167069 from r-ryantm/auto-update/bada-bib
...
bada-bib: 0.6.0 -> 0.6.1
2022-04-04 13:51:15 -07:00
Shadaj Laddad
2d1621012c
symfpu: init at unstable-2019-05-17
2022-04-04 20:30:28 +00:00
Martin Weinelt
c6476294e1
Merge remote-tracking branch 'origin/master' into staging-next
2022-04-04 18:40:34 +02:00
ajs124
dcf19469a8
Merge pull request #167192 from jb55/remove-me
...
remove jb55 as maintainer from some packages
2022-04-04 17:36:00 +02:00
William Casarin
a1390787c3
remove jb55 as maintainer from some packages
...
I no longer use these and don't have much incentive to maintain them :(
2022-04-04 08:10:42 -07:00
Rocky Breslow
09b7444b82
dcm2niix: add support for configuring optional compile-time modules
...
Right now, the dcm2niix package produces a single binary without support for
dcm2niibatch, JPEG-LS, OpenJPEG, or an alternative zlib library. The official
build process for dcm2niix configures all these options (minus batch support). I
was motivated to make these changes so my organization could process JPEG 2000
imagery using the Nix binary.
2022-04-04 10:41:27 -04:00
ajs124
b52d39ee09
eagle7: drop
2022-04-04 15:10:44 +01:00
Martin Weinelt
f95a3d1140
Merge remote-tracking branch 'origin/staging-next' into staging
2022-04-04 00:46:25 +02:00
R. Ryantm
2a5b81d50f
bada-bib: 0.6.0 -> 0.6.1
2022-04-03 19:11:54 +00:00
github-actions[bot]
c46200d454
Merge master into staging-next
2022-04-03 18:01:07 +00:00
ajs124
672ea43d0e
otter: remove after being marked broken for over two years
...
It was marked in commit ca0e724266
2022-04-03 16:14:59 +01:00
ajs124
64a3d95fc1
openspace: remove after being marked broken for over two years
...
It was marked in commit e6223c022b
2022-04-03 16:14:56 +01:00
ajs124
f9ad6fb744
openmvs: remove after being marked broken for over two years
...
It was marked in commit 796050fedd
2022-04-03 16:14:19 +01:00
ajs124
60f1e6ffe2
ncbi_tools: remove after being marked broken for over two years
...
It was marked in commit b9948fedc6
2022-04-03 16:14:18 +01:00
ajs124
33e8308dbc
lean2: remove after being marked broken for over two years
...
It was marked in commit 5aa4b19946
2022-04-03 16:14:16 +01:00
ajs124
90c42fa33f
jonprl: remove after being marked broken for over two years
...
It was marked in commit 5aa4b19946
2022-04-03 16:14:16 +01:00
github-actions[bot]
9aa014c46a
Merge staging-next into staging
2022-03-31 12:02:10 +00:00
Alyssa Ross
ac5a927919
Merge remote-tracking branch 'nixpkgs/master' into staging-next
...
Conflicts:
pkgs/development/python-modules/einops/default.nix
pkgs/development/python-modules/elegy/default.nix
2022-03-31 11:46:46 +00:00
Alyssa Ross
22c23dbb8d
Merge remote-tracking branch 'nixpkgs/staging-next' into staging
...
Conflicts:
pkgs/development/python-modules/google-auth-oauthlib/default.nix
2022-03-31 11:42:24 +00:00
Ben Siraphob
5187709ff7
Merge pull request #166508 from siraben/automake-buildinputs
2022-03-31 03:15:41 -05:00
github-actions[bot]
3c526dbe2c
Merge master into staging-next
2022-03-31 06:01:18 +00:00
Ben Siraphob
cbbef27aa9
Merge pull request #166527 from siraben/nuxmv-darwin
2022-03-30 23:44:48 -05:00
Ben Siraphob
0535074d17
nuXmv: fix darwin build
2022-03-30 23:43:21 -05:00
Martin Weinelt
d0bfb3ccbb
Merge remote-tracking branch 'origin/master' into staging-next
2022-03-31 03:49:37 +02:00
Ben Siraphob
21faf9fc29
treewide: move autoconf, automake to nativeBuildInputs
2022-03-30 20:17:24 -05:00
Oleksii Filonenko
cade4603c3
Merge pull request #166120 from r-ryantm/auto-update/rink
2022-03-30 20:24:36 +03:00
Connor Baker
57961e1a5e
z3: remove 4.6.0 and 4.5.0
2022-03-29 23:46:27 -04:00
Sandro
71d8b69306
Merge pull request #166144 from alyaeanyx/gprojector-3.0.3
2022-03-30 02:17:50 +02:00
github-actions[bot]
5a9b6a3f1a
Merge master into staging-next
2022-03-29 12:06:05 +00:00
Sandro
1f6bdf4d93
Merge pull request #165458 from rbreslow/add-flywheel-cli
2022-03-29 13:33:54 +02:00
alyaeanyx
aa931a46e0
gprojector: 3.0.2 -> 3.0.3
2022-03-28 23:56:35 +02:00
Rocky Breslow
603e9d7b64
flywheel-cli: init at 16.2.0
2022-03-28 15:54:39 -04:00
R. Ryantm
53dff2f7c8
rink: 0.6.2 -> 0.6.3
2022-03-28 18:13:37 +00:00
Jan Tojnar
c8a5db3854
Merge branch 'staging-next' into staging
...
; Conflicts:
; pkgs/tools/archivers/rar/default.nix
2022-03-28 17:56:38 +02:00
Jan Tojnar
997bb5e42c
Merge branch 'master' into staging-next
...
; Conflicts:
; pkgs/development/python-modules/dnspython/default.nix
; pkgs/development/python-modules/googleapis-common-protos/default.nix
2022-03-28 17:55:31 +02:00
Sandro
a63a39e238
Merge pull request #165335 from willcohen/qwt-6.2
2022-03-28 14:19:09 +02:00
Sandro
2f1e03cb2b
Merge pull request #165691 from lucc/github-removed-unencrypted-git
2022-03-28 12:47:42 +02:00
Maximilian Bosch
f9dd150fbe
Merge pull request #165960 from Ma27/bump-stellarium
...
stellarium: 0.21.3 -> 0.22.0
2022-03-28 10:06:37 +02:00
7c6f434c
1dfd957336
Merge pull request #165570 from r-ryantm/auto-update/jmol
...
jmol: 14.32.33 -> 14.32.39
2022-03-28 07:52:03 +00:00
github-actions[bot]
36198fe197
Merge staging-next into staging
2022-03-27 18:01:40 +00:00
github-actions[bot]
e3d20dfaa5
Merge master into staging-next
2022-03-27 18:01:05 +00:00
Maximilian Bosch
c951914f43
stellarium: 0.21.3 -> 0.22.0
...
ChangeLog: https://github.com/Stellarium/stellarium/releases/tag/v0.22.0
2022-03-27 17:40:34 +02:00
Sandro
966dd84461
Merge pull request #165778 from Luz/ngspice
2022-03-27 16:13:39 +02:00
Martin Weinelt
d68657af92
Merge remote-tracking branch 'origin/master' into staging-next
2022-03-27 15:54:05 +02:00
Sandro
7d63d0891b
Merge pull request #156413 from numinit/klee-fixes
2022-03-27 13:36:16 +02:00
Sandro
08e8862bca
Merge pull request #159943 from evils/kicad-unstable
2022-03-27 11:58:39 +02:00
Sandro
2a581ac5e5
Merge pull request #164981 from evils/kicad-6.0.4
2022-03-27 11:58:31 +02:00
github-actions[bot]
77dc421883
Merge staging-next into staging
2022-03-26 18:01:56 +00:00
github-actions[bot]
3b6f03e497
Merge master into staging-next
2022-03-26 18:01:22 +00:00
Will Cohen
f405c59874
libsForQt5.qwt: 6.1.6 -> 6.2.0
2022-03-26 13:35:18 -04:00
Sandro
f338d0737c
Merge pull request #159997 from jvanbruegge/isabelle-linter
2022-03-26 15:58:08 +01:00
Luz
793d40b8df
ngspice: 34 -> 36
2022-03-25 19:19:48 +01:00
github-actions[bot]
84962daf66
Merge staging-next into staging
2022-03-25 18:01:48 +00:00
github-actions[bot]
c6dd9fd65d
Merge master into staging-next
2022-03-25 18:01:14 +00:00
Silvan Mosberger
3180037c84
Merge pull request #164616 from TilCreator/update-inav-configurator
...
inav-configurator: 3.0.2 -> 4.1.0
2022-03-25 18:19:45 +01:00
github-actions[bot]
8357b101a5
Merge staging-next into staging
2022-03-25 12:02:05 +00:00
Lucas Hoffmann
f3bda2f2c0
docs: replace defunct git://github.com urls with https://
2022-03-25 11:21:42 +01:00
Vladimír Čunát
0a8b4eddd2
Merge branch 'master' into staging-next
2022-03-25 10:16:56 +01:00
Ben Siraphob
1cf5591a99
Merge pull request #165303 from Stunkymonkey/treewide-pname-version-18
2022-03-24 22:55:34 -05:00
Connor Baker
0489a21577
z3: init 4.8.15, 4.7.1, 4.6.0, 4.5.0
2022-03-24 16:44:24 -04:00
davidak
6ea8d5ee71
Merge pull request #165297 from Stunkymonkey/treewide-pname-version-17
...
treewide: rename name to pname&version
2022-03-24 16:38:33 +01:00
Ryan Mulligan
994642544e
Merge pull request #165594 from r-ryantm/auto-update/marvin
...
marvin: 22.7.0 -> 22.8.0
2022-03-24 07:57:52 -07:00
Doron Behar
4a02c56a7d
Merge pull request #164746 from ncfavier/makeWrapper-chdir
2022-03-24 13:51:27 +02:00
R. Ryantm
a7f7b6977f
marvin: 22.7.0 -> 22.8.0
2022-03-24 10:35:36 +00:00
Vincent Laporte
3d0a9d1668
coq_8_15: 8.15.0 → 8.15.1
2022-03-24 10:17:42 +01:00
R. Ryantm
a4bf7fed59
jmol: 14.32.33 -> 14.32.39
2022-03-24 06:38:50 +00:00
Felix Buehler
3bc5196252
treewide: rename name to pname&version
2022-03-23 22:55:50 +01:00
Felix Buehler
e0476d93fe
treewide: rename name to pname&version
2022-03-23 22:34:54 +01:00
Jan van Brügge
0391279c24
isabelle: Add isabelle-linter as optional component
2022-03-23 14:47:21 +01:00
markuskowa
3095b43655
Merge pull request #165368 from sikmir/gnuastro
...
gnuastro: init at 0.17
2022-03-23 13:04:04 +01:00
github-actions[bot]
c80dabe3b1
Merge staging-next into staging
2022-03-23 06:01:55 +00:00
Nikolay Korotkiy
d9d3fe9b7c
gnuastro: init at 0.17
2022-03-23 07:37:18 +03:00
Sandro
50715837d6
Merge pull request #165277 from mpoquet/simgrid-3.30-to-3.31
2022-03-23 04:18:06 +01:00
ajs124
6324abc93e
libpng_apng: drop
...
It's been the same as libpng since 8164d28
2022-03-23 03:20:11 +01:00
zowoq
be98149597
Merge remote-tracking branch 'origin/staging-next' into staging
...
Conflicts:
pkgs/servers/isso/default.nix
2022-03-23 10:04:17 +10:00
R. Ryantm
8fd85d6940
verilator: 4.218 -> 4.220
2022-03-22 23:21:05 +00:00
Franz Pletz
9dd3e78f7e
Merge pull request #165194 from q3k/q3k/magic-vlsi-8.7.277
...
magic-vlsi: 8.3.109 -> 8.3.277
2022-03-22 22:00:17 +01:00
Millian Poquet
9ff032c291
simgrid: 3.30 -> 3.31
...
- addition of the optional eigen dependency, used by a new simulation
model (bmf) that looks very promising to take interference phenomena
into account while remaining coarse-grained.
- enabled the new dependency by default as I think this is interesting
for most users.
2022-03-22 14:52:22 +01:00
github-actions[bot]
c62314becb
Merge staging-next into staging
2022-03-22 06:01:42 +00:00
Serge Bazanski
8171e0a24e
magic-vlsi: 8.3.109 -> 8.3.277
2022-03-22 02:14:44 +01:00
Sandro
4348e36456
Merge pull request #164248 from Stunkymonkey/treewide-fetchFromGitHub-2
2022-03-22 02:13:45 +01:00
github-actions[bot]
03c279d7ea
Merge staging-next into staging
2022-03-22 00:02:58 +00:00
Jörg Thalheim
800d3e733c
Merge pull request #165100 from armeenm/remove-golly-beta
...
golly-beta: remove
2022-03-21 20:20:31 +00:00
github-actions[bot]
6ae26bb3c8
Merge staging-next into staging
2022-03-21 18:07:51 +00:00
Ryan Mulligan
0ecdc95822
Merge pull request #165002 from r-ryantm/auto-update/kstars
...
kstars: 3.5.7 -> 3.5.8
2022-03-21 10:02:16 -07:00
Armeen Mahdian
858e03cf1f
golly-beta: remove
...
Golly is more up to date
2022-03-21 07:08:53 -05:00
Vladimír Čunát
a519740b4c
Merge branch 'staging-next' into staging
2022-03-21 11:57:43 +01:00
R. Ryantm
142a76c412
kstars: 3.5.7 -> 3.5.8
2022-03-20 17:43:56 +00:00
Gabriel Ebner
3aa72cc471
Merge pull request #157515 from jvanbruegge/isabelle-naproche
...
isabelle: Enable and use naproche from nixpkgs
2022-03-20 18:26:33 +01:00
Evils
dfb7d36e7a
kicad-unstable: 2022-01-13 -> 2022-03-19
2022-03-20 16:32:32 +01:00
Evils
fc6f267e5d
kicad: 6.0.2 -> 6.0.4
...
6.0.3 was tagged but never released due to an issue
2022-03-20 15:36:44 +01:00
Doron Behar
6f227f03cb
qalculate-gtk: 4.0.0 -> 4.1.0
2022-03-20 16:04:47 +08:00
Bobby Rong
b3549ba290
Merge pull request #164837 from bobby285271/pantheon-eco
...
various: remove elementary-icon-theme from buildInputs & vala 0.56 fixes
2022-03-20 13:34:08 +08:00
Martin Weinelt
f4f3622cb1
Merge remote-tracking branch 'origin/staging-next' into staging
2022-03-20 00:00:32 +01:00
Bobby Rong
88aee703c2
various: remove elementary-icon-theme from buildInputs
...
These apps don't hardcode their icon themes and the icon theme
is no longer picked up by wrapGAppsHook by default. User may
also able to choose to use icon themes of their choice so pulling
them to XDG_DATA_DIRS is mostly no use.
2022-03-19 17:16:30 +08:00
Naïm Favier
9160044f5f
treewide/makeWrapper: replace --run cd with --chdir
...
Lay the groundwork for switching to binary wrappers by reducing uses
of `--run` (which is not supported by `makeBinaryWrapper`).
2022-03-19 09:46:31 +01:00
7c6f434c
c8677c4da2
Merge pull request #164193 from NixOS/r-updates
...
R 4.1.2 -> 4.1.3 and rPackages bump
2022-03-18 17:27:53 +00:00
Ryan Mulligan
bfe3a6f08a
Merge pull request #164022 from r-ryantm/auto-update/jmol
...
jmol: 14.32.30 -> 14.32.33
2022-03-18 10:25:57 -07:00
Sandro
957075fd6d
Merge pull request #164375 from fedeinthemix/gaw-update
2022-03-18 17:58:40 +01:00
