about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
7 daysMerge pull request #319985 from r-ryantm/auto-update/lastWeijia Wang1-2/+2
7 daysMerge pull request #320180 from r-ryantm/auto-update/sirilWeijia Wang1-2/+2
8 daysMerge pull request #322070 from jeremyschlatter/cmakeCudaArchitecturesStringSomeone1-3/+3
8 dayssiril: 1.2.1 -> 1.2.3R. Ryantm1-2/+2
8 dayskent: 466 -> 467R. Ryantm1-2/+2
9 daysMerge pull request #304204 from numinit/klee-llvm-overrideTristan Ross2-31/+59
9 daystreewide: use cmakeCudaArchitecturesStringJeremy Schlatter1-3/+3
10 daysMerge pull request #319641 from bachp/dsview-1.3.2Masum Reza1-3/+3
10 daysdsview: 1.3.1 -> 1.3.2Pascal Bach1-3/+3
12 daysMerge pull request #321398 from r-ryantm/auto-update/eigenmathNick Cao1-3/+3
12 daysMerge pull request #320775 from r-ryantm/auto-update/cbmcMasum Reza1-2/+2
12 dayseigenmath: 3.26-unstable-2024-06-09 -> 3.27-unstable-2024-06-20R. Ryantm1-3/+3
13 daysMerge pull request #320912 from r-ryantm/auto-update/gtkwaveWeijia Wang1-2/+2
13 daysMerge pull request #320417 from r-ryantm/auto-update/boincWeijia Wang1-2/+2
13 daysMerge pull request #315015 from NixOS/r-updatesJustin Bedő1-9/+3
13 daysMerge pull request #320534 from luochen1990/lean-4.8Nick Cao1-2/+2
14 daysgtkwave: 3.3.119 -> 3.3.120R. Ryantm1-2/+2
2024-06-18Merge pull request #317647 from r-ryantm/auto-update/kicadsuperherointj1-12/+12
2024-06-18openmolcas: 24.02 -> 24.06Phillip Seeber1-2/+2
2024-06-18cbmc: 5.95.1 -> 6.0.0R. Ryantm1-2/+2
2024-06-17klee: add mainProgramMorgan Jones1-0/+1
2024-06-17klee: add nix-update-scriptMorgan Jones2-0/+6
2024-06-17klee: make llvmPackages and uclibc overridableMorgan Jones2-31/+52
2024-06-18Merge pull request #316782 from aaronjheng/poretoolsAleksana1-23/+0
2024-06-17lean4: 4.7.0 -> 4.8.0LuoChen1-2/+2
2024-06-17R: 4.4.0 -> 4.4.1Justin Bedo1-2/+2
2024-06-17coq: 8.19.1 → 8.19.2Vincent Laporte1-0/+1
2024-06-17boinc: 8.0.2 -> 8.0.3R. Ryantm1-2/+2
2024-06-16SPAdes: refactorZitrone1-32/+0
2024-06-16Merge pull request #320080 from r-ryantm/auto-update/python311Packages.snakemakePol Dellaiera1-2/+2
2024-06-16Merge pull request #319520 from r-ryantm/auto-update/kenth7x41-2/+2
2024-06-15treewide: remove myself from packages I don’t useEmily1-1/+1
2024-06-15python311Packages.snakemake: 8.13.0 -> 8.14.0R. Ryantm1-2/+2
2024-06-15last: 1544 -> 1548R. Ryantm1-2/+2
2024-06-13kent: 465 -> 466R. Ryantm1-2/+2
2024-06-12Merge pull request #319423 from r-ryantm/auto-update/eigenmathNick Cao1-3/+3
2024-06-13eigenmath: 3.26-unstable-2024-06-03 -> 3.26-unstable-2024-06-09R. Ryantm1-3/+3
2024-06-12professor: 2.3.3 -> 2.4.2 (#318911)Dmitry Kalinkin1-12/+40
2024-06-12cryptoverif: 2.08pl1 -> 2.09Martin Joerg1-5/+5
2024-06-11poretools: removeAaron Jheng1-23/+0
2024-06-10Merge pull request #315778 from r-ryantm/auto-update/gwyddionWeijia Wang1-2/+2
2024-06-10Merge pull request #318689 from r-ryantm/auto-update/antsWeijia Wang1-2/+2
2024-06-10Merge pull request #316965 from r-ryantm/auto-update/jbrowsePeder Bergebakken Sundt1-2/+2
2024-06-10Merge pull request #318493 from r-ryantm/auto-update/jmol7c6f434c1-2/+2
2024-06-10ants: 2.5.1 -> 2.5.2R. Ryantm1-2/+2
2024-06-09treewide: Remove the definite article from meta.descriptionAlexis Hildebrandt20-20/+20
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt127-127/+127
2024-06-09treewide: Remove ending period from meta.descriptionAlexis Hildebrandt6-6/+6
2024-06-09jmol: 16.2.15 -> 16.2.17R. Ryantm1-2/+2
2024-06-09xmedcon: 0.23.0 -> 0.24.0R. Ryantm1-2/+2