about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2022-12-18Merge pull request #206646 from figsoda/typosValentin Gagarin3-3/+3
2022-12-18Merge pull request #206302 from r-ryantm/auto-update/cvc5Robert Scott1-2/+2
2022-12-17Merge pull request #205394 from ShamrockLee/root-updateDmitry Kalinkin1-16/+22
2022-12-17treewide: fix typosfigsoda3-3/+3
2022-12-17root: move nlohmann_json to propagatedBuildInputsDmitry Kalinkin1-1/+3
2022-12-17Merge master into staging-nextgithub-actions[bot]1-3/+2
2022-12-16cudaPackages: add cudaFlags (#205351)Jason Miller1-3/+2
2022-12-16Merge branch 'master' into staging-nextVladimír Čunát4-17/+22
2022-12-16Merge pull request #205900 from pmiddend/crystfel-fix-patchSandro2-4/+14
2022-12-16Merge pull request #204270 from Luflosi/update/boincSandro1-8/+3
2022-12-16Merge pull request #203304 from panicgh/dataexplorer-373Sandro1-5/+5
2022-12-16Merge master into staging-nextgithub-actions[bot]2-2/+2
2022-12-15cvc5: 1.0.2 -> 1.0.3R. Ryantm1-2/+2
2022-12-15lib.replaceChars: warn about being a deprecated aliasArtturin2-2/+2
2022-12-15dataexplorer: 3.6.2 -> 3.7.3Nicolas Benes1-5/+5
2022-12-14Merge master into staging-nextgithub-actions[bot]1-6/+7
2022-12-14Merge pull request #205581 from mimame/weka/3.9.2-3.9.6Robert Scott1-6/+7
2022-12-14Merge master into staging-nextgithub-actions[bot]5-1/+10
2022-12-13treewide: mark packages broken that never built on PLATFORMRick van Schijndel5-1/+10
2022-12-13boinc: 7.20.2 -> 7.20.5Luflosi1-8/+3
2022-12-13crystfel: fix symlib hard-codingPhilipp Middendorf2-4/+14
2022-12-11weka: 3.9.2 -> 3.9.6Miguel Madrid-Mencía1-6/+7
2022-12-11Merge master into staging-nextgithub-actions[bot]2-6/+12
2022-12-11Merge pull request #205547 from r-ryantm/auto-update/primecountMauricio Collares1-4/+9
2022-12-11root: 6.26.8 -> 6.26.10Shamrock Lee1-7/+5
2022-12-11root: add xrootd support and workaround the xrootd runpath bugShamrock Lee1-3/+8
2022-12-11root: adjust formatShamrock Lee1-6/+7
2022-12-11primecount: add changelog to metaFabian Affolter1-2/+7
2022-12-10primesieve: add changelog to metaFabian Affolter1-0/+1
2022-12-10primesieve: 8.0 -> 11.0R. Ryantm1-2/+2
2022-12-10primecount: 7.4 -> 7.6R. Ryantm1-2/+2
2022-12-09Merge master into staging-nextgithub-actions[bot]3-3/+129
2022-12-09Merge branch 'staging-next' into stagingVladimír Čunát5-43/+36
2022-12-09Merge pull request #204832 from Luflosi/update/yosysSandro1-3/+3
2022-12-09Merge pull request #199078 from gdinh/add-timeloopSandro2-0/+126
2022-12-08timeloop: init at unstable-2022-11-29Grace Dinh1-0/+99
2022-12-08ecopcr: 0.8.0 -> 1.0.1Weijia Wang1-6/+8
2022-12-06Merge pull request #204214 from wegank/wxgtk30-gtk2-dropArtturi1-2/+2
2022-12-06Merge pull request #204330 from jvanbruegge/isabelle-fix-componentsSandro1-22/+17
2022-12-06isabelle: fix build on MacOSJan van Brügge1-2/+3
2022-12-06abc-verifier: unstable-2022-09-08 -> unstable-2022-11-09Luflosi1-3/+3
2022-12-05snakemake: rename GitPythonFabian Affolter1-1/+1
2022-12-05streamlit: rename GitPythonFabian Affolter1-12/+8
2022-12-05Merge remote-tracking branch 'origin/staging-next' into stagingMartin Weinelt1-0/+1
2022-12-05coq: 8.16.0 → 8.16.1Vincent Laporte1-0/+1
2022-12-04Merge remote-tracking branch 'origin/staging-next' into stagingMartin Weinelt3-15/+27
2022-12-04Merge pull request #203029 from sikmir/geogebraNikolay Korotkiy2-13/+25
2022-12-03Merge pull request #202805 from r-ryantm/auto-update/cbmcNikolay Korotkiy1-2/+2
2022-12-03isabelle: use prebuilt z3Jan van Brügge1-14/+8
2022-12-03isabelle: make withComponents function use finalAttrsJan van Brügge1-6/+6