about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2022-12-17treewide: fix typosfigsoda3-3/+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-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-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
2022-12-03Merge staging-next into staginggithub-actions[bot]2-6/+101
2022-12-03flopoco: init at 4.1.3 (#200459)Weijia Wang1-0/+93
2022-12-02xcircuit: 3.10.12 -> 3.10.37, maintainJohn Shaffer1-6/+8
2022-12-03treewide: drop wxGTK30-gtk2Weijia Wang1-2/+2
2022-12-03Merge remote-tracking branch 'origin/staging-next' into stagingMartin Weinelt7-68/+70
2022-12-03Merge pull request #191966 from jvanbruegge/isabelle-2022Sandro4-60/+61
2022-12-03Merge pull request #204149 from wegank/viennarna-bumpPavol Rusnak1-5/+3
2022-12-03alt-ergo: fix version stringVincent Laporte1-0/+3