Vincent Laporte
c777cdf5c5
easycrypt-runtest: init at 2022.04
2 years ago
Vincent Laporte
b20934a65c
easycrypt: init at 2022.04
2 years ago
R. Ryantm
166b1378fe
snakemake: 7.5.0 -> 7.6.1
2 years ago
Luis Pedro Coelho
596c5e7ea2
Static bwa
...
AR needs to be passed specifically on the command line
2 years ago
Luis Pedro Coelho
4758873378
Static build for samtools
...
Curses is not supported (it may be possible to support it)
2 years ago
Luis Pedro Coelho
0b1c28d5a1
Static build for megahit
2 years ago
Fabian Affolter
8b176291d7
snakemake: 6.15.5 -> 7.5.0
2 years ago
Bruno Bzeznik
5661ca1a2d
adolc: init at 2.7.2
2 years ago
R. Ryantm
a82b1b63c3
blast: 2.12.0 -> 2.13.0
2 years ago
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
2 years ago
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>
2 years ago
Jakub Dupak
773f7905b9
QtRVSim: 0.9.2 -> 0.9.3
2 years ago
R. Ryantm
0d56b692fa
gromacs: 2022 -> 2022.1
2 years ago
Gabriel Ebner
5838726cb9
calculix: 2.17 -> 2.19
2 years ago
Gabriel Ebner
94f1225197
calculix: fix build with gfortran 10
2 years ago
R. Ryantm
e66cf9c6c8
elan: 1.4.0 -> 1.4.1
2 years ago
Maximilian Bosch
7c2fd0ae5d
stellarium: 0.22.0 -> 0.22.1
...
ChangeLog: https://github.com/Stellarium/stellarium/releases/tag/v0.22.1
2 years ago
R. Ryantm
8914714916
mavproxy: 1.8.48 -> 1.8.49
2 years ago
Artturin
f1c7f19e49
treewide: testVersion -> testers.testVersion
2 years ago
Mauricio Collares
0f29ab871f
sage: update test expectations
2 years ago
Mauricio Collares
5029df7737
giac: 1.6.0-47 -> 1.9.0-5
2 years ago
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>
2 years ago
Jan van Brügge
2e52d5c892
naproche: 0.1.0.0 -> 2022-04-19
...
This fixes the build with GHC 9
2 years ago
R. Ryantm
9919952421
bada-bib: 0.6.1 -> 0.6.2
2 years ago
Rocky Breslow
d1c3fea7ec
dcm2niix: support usage of suggested Cloudflare zlib
2 years ago
Rocky Breslow
9019ce0106
dcm2niix: add maintainer
...
Also, fix grammatical error in long description.
2 years ago
Dmitry Kalinkin
81f9e28844
root5: fix for glibc
2 years ago
Sandro Jäckel
f1189d812e
fast-downward: substitute version, fix buildInputs, minor cleanup
2 years ago
Ben Siraphob
259fa13d53
treewide: remove nativeBuildInputs that are in stdenv
2 years ago
Fabián Heredia Montiel
5275050ab0
fityk: add `-std=c++11` flag for gcc11 and later
2 years ago
Fabián Heredia Montiel
8c5a58144d
fast-downward: 19.12 → 21.12.0
2 years ago
Dmitry Kalinkin
cdc17db882
xfitter: 2.0.1 -> 2.2.0
2 years ago
Fabián Heredia Montiel
8a9d5e296b
cmtk: add `-std=c++11` to fix build on gcc11
2 years ago
Malo Bourgon
0e802eafad
treewide: add meta.mainProgram to many packages
2 years ago
R. Ryantm
ae6932e7b9
elan: 1.3.1 -> 1.4.0
2 years ago
Luflosi
0a2f8109f4
abc-verifier: 2022.03.04 -> 2022.03.22
2 years ago
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>
2 years ago
Federico Beffa
2055f85304
wolfram-engine: init at 13.0.1
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2 years ago
R. Ryantm
6ebcd043e2
calc: 2.14.0.14 -> 2.14.1.0
2 years ago
alyaeanyx
0fc77bcb21
qalculate-gtk: 4.1.0 -> 4.1.1
2 years ago
R. Ryantm
2fd4f690a9
xmedcon: 0.21.2 -> 0.22.0
2 years ago
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.
2 years ago
yuu
7203cae13b
brmodelo: init at 3.31
...
Co-authored-by: Sandro Jäckel <sandro.jaeckel@gmail.com>
2 years ago
Mauricio Collares
79cc492ceb
sage: set CXXFLAGS to match CFLAGS in sage-env
2 years ago
Mauricio Collares
384117bb95
sage: import scipy 1.8 update patch
2 years ago
Mauricio Collares
9e80144a8b
sage: refresh ipython update patch for ipython 8.1 compat
2 years ago
Mauricio Collares
49cddf1a78
sage: import networkx 2.7 update patch
2 years ago
R. Ryantm
241de3da58
wxmaxima: 21.11.0 -> 22.03.0
2 years ago
Shadaj Laddad
74b7319023
cvc5: init at 1.0.0
2 years ago
Someone Serge
1b74f75b59
python310Packages.caffe: mark as broken
2 years ago