Commit Graph

6123 Commits

Author SHA1 Message Date
github-actions[bot]
d79af4efe4
Merge staging-next into staging 2022-05-13 00:03:35 +00:00
Thiago Kenji Okada
5c5187646d
Merge pull request #172366 from ncfavier/wrappers-cleanup
make{,Binary}Wrapper: some cleanups
2022-05-12 22:17:34 +01:00
Thiago Kenji Okada
eae1669de5
Merge pull request #171836 from ncfavier/escape-wrapper-args
Fix wrapper arguments escaping
2022-05-12 21:55:06 +01:00
Thomas Gerbet
1ba72de384 ripser: 1.0.0 -> 1.2.1
https://github.com/Ripser/ripser/releases/tag/v1.0.1
https://github.com/Ripser/ripser/releases/tag/v1.1
https://github.com/Ripser/ripser/releases/tag/v1.2
https://github.com/Ripser/ripser/releases/tag/v1.2.1
2022-05-12 08:26:44 -07:00
Naïm Favier
3c77d361b5
makeShellWrapper: add explicitly named attribute
So that things that use the makeShellWrapper/wrapProgramShell
functions can depend on makeShellWrapper explicitly, which should ease
migration in the future.
2022-05-12 11:01:23 +02:00
Thiago Kenji Okada
1919e181fb
Merge pull request #172641 from WolfangAukang/monosat-fix
python3Packages.monosat: disable failing tests
2022-05-12 10:01:16 +01:00
Rick van Schijndel
716bc55f98
Merge pull request #172443 from a-m-joseph/pr/zhf/vhd2vl
vhd2vl: fix the tests
2022-05-12 10:06:04 +02:00
Adam Joseph
5d44c9a222 vhd2vl: fix the tests
The testing scheme for vhd2vl is sensitive to subtle shifts in
iverilog's parenthesization choices, meaning that the golden test
outputs require constant maintenance.

The patch previously applied in order to deal with this situation is
no longer sufficient, so a patch which is sufficient has been added.

Also, the `buildTargets` and `checkTarget` attributes have been set,
so future benign failures of this sort can be dealt with through
`doCheck=false` in a pinch.
2022-05-11 23:59:59 -07:00
Cyril Cohen
82440c9374 moving findlib to propagedNativeBuildInputs 2022-05-12 06:11:43 +02:00
Cyril Cohen
7e589a45ef coqPackages: etc
- use propagatedBuildInputs to make sure ocaml plugin stuff is in path
- updated coqPackage.heq (broken url)
- fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation
- adding `COQCORELIB` environement variable to put ocaml plugin files in the right place
- make metaFetch available from `coqPackages`
2022-05-12 06:11:43 +02:00
P. R. d. O
17be6f75ce
python3Packages.monosat: disable failing tests 2022-05-11 18:29:58 -06:00
Sandro
324a5be95c
Merge pull request #172580 from collares/singular-osx
singular: fix darwin build
2022-05-12 01:33:52 +02:00
Yu-Chen Ding
e98f71d477
wolfram-engine: fix quotes in installation script 2022-05-12 01:29:53 +08:00
Mauricio Collares
15cf12c0ac singular: fix darwin build 2022-05-11 12:08:20 -04:00
Markus Kowalewski
1e2065983e
octopus: 11.3 -> 11.4 2022-05-11 14:01:02 +02:00
Theodore Ni
81046b393b
bowtie: fix build on case insensitive file systems
Add a patch that removes the current source directory from the include
search path during compilation so that #include <version> does not end
up picking the VERSION source code file.
2022-05-11 03:20:03 -05:00
Theodore Ni
802a8416b6
bowtie: add arm64 patch to build on M1 Macs
This does not fix the build on Macs, but it brings the build on M1 Macs
to parity with non-M1 Macs.
2022-05-11 02:36:56 -05:00
davidak
7dd05c6052
Merge pull request #171662 from Hexadecimaaal/wolfram-engine
wolfram-engine: infinite loop on `WolframKernel`; `wolframscript` available in package but not installed
2022-05-11 02:53:23 +02:00
Artturi
6c7e0653c2
Merge pull request #172356 from zaninime/nanovna-zhf
nanovna-saver: 0.3.8 -> 0.4.0
2022-05-11 03:35:13 +03:00
Naïm Favier
62245943aa
makeWrapper,makeBinaryWrapper: introduce explicitly named functions
Because both versions might end up in a derivation's build inputs, it
might be useful to be able to explicitly select which function to use.
2022-05-10 22:07:56 +02:00
Mustafa Çalışkan
f24cf4422d maintainers: change musfay to muscaln 2022-05-10 21:34:19 +03:00
Francesco Zanini
d404697e7c nanovna-saver: 0.3.8 -> 0.4.0 2022-05-10 18:18:55 +02:00
Thiago Kenji Okada
c4956c85b4
Merge pull request #172320 from xaverdh/binary-wrapper-fixes
treewide: use non-binary wrapper for wrapGAppsHook where appropriate
2022-05-10 17:07:26 +01:00
Markus Kowalewski
5fd7f4ef82
molden: unbreak build, make compatible with gcc-10 2022-05-10 17:01:35 +02:00
Dominik Xaver Hörl
86e7fa945e tlaplusToolbox: use non-binary wrapper for wrapGAppsHook
The use of --add-flags in this derivation does not work with binary
    wrappers, which wrapGAppsHook uses since #164163.
2022-05-10 15:13:58 +02:00
Markus Kowalewski
de869f039d
siesta: fix hardcoded path to rm 2022-05-10 12:53:22 +02:00
Lassulus
d369c0c118
Merge pull request #163869 from r-ryantm/auto-update/gurobi
gurobi: 9.5.0 -> 9.5.1
2022-05-10 11:46:25 +02:00
Lassulus
5ed1d2ff8f
Merge pull request #163885 from r-ryantm/auto-update/ott
ott: 0.31 -> 0.32
2022-05-10 11:45:47 +02:00
Artturi
6d007b2ce4
Merge pull request #172250 from Artturin/ridofnulls
remove some useless null asserts
2022-05-10 04:24:31 +03:00
Artturin
5007ea281d gwyddion: remove useless nulls 2022-05-10 00:56:23 +03:00
davidak
0bc16c7f2b
Merge pull request #172182 from markuskowa/fix-siesta
siesta: fix build for gcc/gfortran-10/11
2022-05-09 15:16:40 +02:00
Markus Kowalewski
a5e2f0f410
siesta: fix build for gcc/gfortran-10/11 2022-05-09 14:31:16 +02:00
Sandro
c1daf2ae36
Merge pull request #170792 from grindhold/elmerfix
elmerfem: make elmerfem-9.0 run properly
2022-05-09 12:00:52 +02:00
grindhold
865d79bb5b elmerfem: make elmerfem-9.0 properly
0) ElmerGUI displays things in the Model tree on the
     left screen side again
  1) Enable the import of STEP- and other opencascade-
     based formats
  2) Patch the source to enable builds with gcc-11
  3) Build the Qt5 version instead of the Qt4 version
2022-05-09 10:41:56 +02:00
Sandro
20b3e2f83d
Merge pull request #172079 from lschuermann/dev/horizon-eda-2.3.0
horizon-eda: 2.2.0 -> 2.3.0
2022-05-09 01:16:46 +02:00
Sandro
5c1adf9ffd
Merge pull request #168576 from evils/kicad-unstable 2022-05-08 23:50:51 +02:00
Sandro
a0aeb0dc1e
Merge pull request #171765 from evils/kicad-6.0.5
kicad: 6.0.4 -> 6.0.5
2022-05-08 23:50:32 +02:00
Leon Schuermann
c353f171b9 horizon-eda: 2.2.0 -> 2.3.0
Signed-off-by: Leon Schuermann <leon@is.currently.online>
2022-05-08 20:57:06 +02:00
Bobby Rong
0542fa89a7
Merge pull request #171479 from tpwrules/fix-qgroundcontrol-build
qgroundcontrol: fix build
2022-05-08 20:26:58 +08:00
Sergei Trofimovich
428045f39b bwa: pull upstream fix for -fno-common tollchains
Without the change build fails on -fno-common toolchains like upstream
gcc-10 as:

    $ nix build -L --impure --expr 'with import ./. {}; bwa.overrideAttrs (oa: {   NIX_CFLAGS_COMPILE = (oa.NIX_CFLAGS_COMPILE or "") + "-fno-common"; })'
    ...
    ld: ./libbwa.a(rope.o):/build/bwa-0.7.17/rle.h:33:
      multiple definition of `rle_auxtab'; ./libbwa.a(bwtindex.o):/build/bwa-0.7.17/rle.h:33: first defined here
    ld: ./libbwa.a(rle.o):/build/bwa-0.7.17/rle.h:33:
      multiple definition of `rle_auxtab'; ./libbwa.a(bwtindex.o):/build/bwa-0.7.17/rle.h:33: first defined here
2022-05-08 08:56:43 +01:00
R. Ryantm
5b55f851ac snakemake: 7.6.1 -> 7.6.2 2022-05-07 16:16:09 +00:00
Hexadecimal
94c5433df2
wolfram-engine: fix wrappers 2022-05-07 10:13:57 +08:00
Naïm Favier
76f93323f2
qucs-s: fix wrapper arguments escaping 2022-05-06 18:29:50 +02:00
Evils
3592ccf6cc kicad-unstable: 2022-03-19 -> 2022-05-06 2022-05-06 06:20:03 +02:00
Evils
64436e0df5 kicad: 6.0.4 -> 6.0.5 2022-05-06 04:48:05 +02:00
Bernardo Meurer
e6b94ad07e
Merge pull request #171602 from malob/treewide-mainProgram
treewide: add meta.mainProgram to many packages
2022-05-05 18:16:09 -07:00
Will Dietz
4b79fa29a6 verilator: 4.220 -> 4.222 2022-05-05 12:15:54 -05:00
Fabian Affolter
ad619e60da
Merge pull request #171548 from r-ryantm/auto-update/snakemake
snakemake: 7.5.0 -> 7.6.1
2022-05-05 09:06:17 +02:00
Vincent Laporte
c777cdf5c5 easycrypt-runtest: init at 2022.04 2022-05-05 06:57:50 +02:00
Vincent Laporte
b20934a65c easycrypt: init at 2022.04 2022-05-05 06:57:50 +02:00
Malo Bourgon
16e15fa68f treewide: add meta.mainProgram to many packages 2022-05-04 18:08:19 -07:00
R. Ryantm
166b1378fe snakemake: 7.5.0 -> 7.6.1 2022-05-04 16:06:44 +00:00
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