Sandro
f37f0ad4e1
Merge pull request #168969 from SuperSandro2000/staging-next-sandro
...
Staging next fixes
2022-04-17 00:35:09 +02: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
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
