Commit Graph

6063 Commits (48a33d0bbeba6867e199e642676af09d281e794e)

Author SHA1 Message Date
Mauricio Collares 727e5a1473 sageWithDoc: cleanup sagedoc.nix 2 years ago
Mauricio Collares 21ae98f5f0 sageWithDoc: add sage-with-env to buildInputs 2 years ago
Vincent Laporte 4a87fcbc86
why3: 1.4.1 → 1.5.0 2 years ago
Vincent Laporte 6e3a86f2f7
why3.withProvers: fix #168644 2 years ago
Artturin cf7476804a treewide: convert string configureFlags to list of strings 2 years ago
Mauricio Collares 4b37f16232 lean: 3.42.1 -> 3.43.0 2 years ago
Mauricio Collares 0a449d8fff lean: 3.42.0 -> 3.42.1 2 years ago
Someone Serge b96c7caea6
mxnet: mark cuda build as broken 2 years ago
Ben Darwin 5cf446f41b ezminc: mark broken 2 years ago
R. Ryantm a52b64015a snakemake: 7.6.2 -> 7.7.0 2 years ago
Dmitry Kalinkin 1c78ce70fa
xfitter: fix for gfortran10+ 2 years ago
Dmitry Kalinkin fdf0806386
root5: fix build with recent gcc 2 years ago
Mauricio Collares 26a87ada65 sage: 9.5 -> 9.6 2 years ago
Dmitry Kalinkin 8e24a6db2e nnpdf: init at 4.0.4 2 years ago
Mauricio Collares 10b16ea5e7 sageWithDoc: make jupyter-sphinx available for docbuild 2 years ago
Mauricio Collares 09ab2aba13 lrcalc: 1.2 -> 2.1 2 years ago
AndersonTorres 91621176e0 primecount: 7.2 -> 7.3 2 years ago
AndersonTorres d488388cfc primesieve: 7.8 -> 7.9 2 years ago
Sergei Trofimovich d45dfee2d6 eukleides: add -fcommon workaround 2 years ago
Armeen Mahdian d912addd5a alliance: unstable-2021-09-15 -> unstable-2022-01-13 2 years ago
Sergei Trofimovich ff22bc1ff6 chemtool: add -fcommon workaround 2 years ago
Armeen Mahdian f779b60d20 aspino: 2017-03-09 -> 2018-03-24 2 years ago
Markus Kowalewski 45083c5d1d
openmolcas: 21.10 -> 22.02 2 years ago
Guanpeng Xu cefda1c7ca
Mathematica: refactored (#172136) 2 years ago
Thomas Gerbet 44c1590f1f bayescan: fix the build 2 years ago
Philipp Middendorf 93332c2779 CrystFEL: init at 0.10.1 2 years ago
Vincent Laporte 1f11888116 Revert "coqPackages: etc" 2 years ago
Vincent Laporte 215235cce5 Revert "moving findlib to propagedNativeBuildInputs" 2 years ago
Thomas Gerbet 1ba72de384 ripser: 1.0.0 -> 1.2.1 2 years ago
Adam Joseph 5d44c9a222 vhd2vl: fix the tests 2 years ago
Cyril Cohen 82440c9374 moving findlib to propagedNativeBuildInputs 2 years ago
Cyril Cohen 7e589a45ef coqPackages: etc 2 years ago
P. R. d. O 17be6f75ce
python3Packages.monosat: disable failing tests 2 years ago
Yu-Chen Ding e98f71d477
wolfram-engine: fix quotes in installation script 2 years ago
Mauricio Collares 15cf12c0ac singular: fix darwin build 2 years ago
Markus Kowalewski 1e2065983e
octopus: 11.3 -> 11.4 2 years ago
Theodore Ni 81046b393b
bowtie: fix build on case insensitive file systems 2 years ago
Theodore Ni 802a8416b6
bowtie: add arm64 patch to build on M1 Macs 2 years ago
Mustafa Çalışkan f24cf4422d maintainers: change musfay to muscaln 2 years ago
Francesco Zanini d404697e7c nanovna-saver: 0.3.8 -> 0.4.0 2 years ago
Markus Kowalewski 5fd7f4ef82
molden: unbreak build, make compatible with gcc-10 2 years ago
Dominik Xaver Hörl 86e7fa945e tlaplusToolbox: use non-binary wrapper for wrapGAppsHook 2 years ago
Markus Kowalewski de869f039d
siesta: fix hardcoded path to rm 2 years ago
Artturin 5007ea281d gwyddion: remove useless nulls 2 years ago
Markus Kowalewski a5e2f0f410
siesta: fix build for gcc/gfortran-10/11 2 years ago
grindhold 865d79bb5b elmerfem: make elmerfem-9.0 properly 2 years ago
Leon Schuermann c353f171b9 horizon-eda: 2.2.0 -> 2.3.0 2 years ago
Sergei Trofimovich 428045f39b bwa: pull upstream fix for -fno-common tollchains 2 years ago
R. Ryantm 5b55f851ac snakemake: 7.6.1 -> 7.6.2 2 years ago
Hexadecimal 94c5433df2
wolfram-engine: fix wrappers 2 years ago