summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science
AgeCommit message (Expand)Author
2024-06-28Merge pull request #317828 from malob/unbreak-python3Packages-darwinMartin Weinelt
2024-06-28python311Packages.nnpdf: unbreak on `aarch64-{darwin,linux}`Malo Bourgon
2024-06-28coq_8_20: init at 8.20+rc1 (#323105)Pierre Roux
2024-06-28Merge pull request #322135 from kilianar/stellarium-24.2Artturin
2024-06-28Merge pull request #322754 from NixOS/revert-320417-auto-update/boincWeijia Wang
2024-06-27jbrowse: 2.11.2 -> 2.12.2R. Ryantm
2024-06-27Revert "boinc: 8.0.2 -> 8.0.3"Weijia Wang
2024-06-26Merge pull request #319985 from r-ryantm/auto-update/lastWeijia Wang
2024-06-26Merge pull request #320180 from r-ryantm/auto-update/sirilWeijia Wang
2024-06-25Merge pull request #322070 from jeremyschlatter/cmakeCudaArchitecturesStringSomeone
2024-06-25siril: 1.2.1 -> 1.2.3R. Ryantm
2024-06-25kent: 466 -> 467R. Ryantm
2024-06-24stellarium: 24.1 -> 24.2kilianar
2024-06-23Merge pull request #304204 from numinit/klee-llvm-overrideTristan Ross
2024-06-23treewide: use cmakeCudaArchitecturesStringJeremy Schlatter
2024-06-23Merge pull request #319641 from bachp/dsview-1.3.2Masum Reza
2024-06-23dsview: 1.3.1 -> 1.3.2Pascal Bach
2024-06-21Merge pull request #321398 from r-ryantm/auto-update/eigenmathNick Cao
2024-06-21Merge pull request #320775 from r-ryantm/auto-update/cbmcMasum Reza
2024-06-21eigenmath: 3.26-unstable-2024-06-09 -> 3.27-unstable-2024-06-20R. Ryantm
2024-06-20Merge pull request #320912 from r-ryantm/auto-update/gtkwaveWeijia Wang
2024-06-20Merge pull request #320417 from r-ryantm/auto-update/boincWeijia Wang
2024-06-20Merge pull request #315015 from NixOS/r-updatesJustin Bedő
2024-06-19Merge pull request #320534 from luochen1990/lean-4.8Nick Cao
2024-06-19gtkwave: 3.3.119 -> 3.3.120R. Ryantm
2024-06-18Merge pull request #317647 from r-ryantm/auto-update/kicadsuperherointj
2024-06-18openmolcas: 24.02 -> 24.06Phillip Seeber
2024-06-18cbmc: 5.95.1 -> 6.0.0R. Ryantm
2024-06-17klee: add mainProgramMorgan Jones
2024-06-17klee: add nix-update-scriptMorgan Jones
2024-06-17klee: make llvmPackages and uclibc overridableMorgan Jones
2024-06-18Merge pull request #316782 from aaronjheng/poretoolsAleksana
2024-06-17lean4: 4.7.0 -> 4.8.0LuoChen
2024-06-17R: 4.4.0 -> 4.4.1Justin Bedo
2024-06-17coq: 8.19.1 → 8.19.2Vincent Laporte
2024-06-17boinc: 8.0.2 -> 8.0.3R. Ryantm
2024-06-16SPAdes: refactorZitrone
2024-06-16Merge pull request #320080 from r-ryantm/auto-update/python311Packages.snakemakePol Dellaiera
2024-06-16Merge pull request #319520 from r-ryantm/auto-update/kenth7x4
2024-06-15treewide: remove myself from packages I don’t useEmily
2024-06-15python311Packages.snakemake: 8.13.0 -> 8.14.0R. Ryantm
2024-06-15last: 1544 -> 1548R. Ryantm
2024-06-13kent: 465 -> 466R. Ryantm
2024-06-12Merge pull request #319423 from r-ryantm/auto-update/eigenmathNick Cao
2024-06-13eigenmath: 3.26-unstable-2024-06-03 -> 3.26-unstable-2024-06-09R. Ryantm
2024-06-12professor: 2.3.3 -> 2.4.2 (#318911)Dmitry Kalinkin
2024-06-12cryptoverif: 2.08pl1 -> 2.09Martin Joerg
2024-06-11poretools: removeAaron Jheng
2024-06-10Merge pull request #315778 from r-ryantm/auto-update/gwyddionWeijia Wang
2024-06-10Merge pull request #318689 from r-ryantm/auto-update/antsWeijia Wang