about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
7 daysMerge master into staging-nextgithub-actions[bot]2-4/+4
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
7 daysMerge master into staging-nextgithub-actions[bot]1-3/+3
7 daysMerge pull request #322070 from jeremyschlatter/cmakeCudaArchitecturesStringSomeone1-3/+3
8 daysMerge remote-tracking branch 'origin/master' into staging-nextMartin Weinelt1-2/+2
8 dayssiril: 1.2.1 -> 1.2.3R. Ryantm1-2/+2
8 dayskent: 466 -> 467R. Ryantm1-2/+2
9 daysmacs2: refactornatsukium1-4/+3
9 daysmacs2: pin to python311natsukium1-5/+7
9 daysMerge staging-next into staginggithub-actions[bot]2-31/+59
9 daysMerge pull request #304204 from numinit/klee-llvm-overrideTristan Ross2-31/+59
9 daystreewide: use cmakeCudaArchitecturesStringJeremy Schlatter1-3/+3
9 daysMerge remote-tracking branch 'origin/staging-next' into stagingMartin Weinelt1-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
10 daystreewide: clean up uses of lib{GL,GLU,glut}.devEmily1-1/+1
10 daystreewide: replace freeglut with libglutEmily5-10/+10
11 daysMerge staging-next into staginggithub-actions[bot]2-5/+5
11 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
12 daysMerge staging-next into staginggithub-actions[bot]3-13/+7
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 staging-next into staginggithub-actions[bot]1-2/+2
13 daysMerge pull request #320534 from luochen1990/lean-4.8Nick Cao1-2/+2
14 daysgtkwave: 3.3.119 -> 3.3.120R. Ryantm1-2/+2
14 daysMerge staging-next into staginggithub-actions[bot]2-14/+14
14 daysMerge pull request #317647 from r-ryantm/auto-update/kicadsuperherointj1-12/+12
2024-06-18Merge remote-tracking branch 'origin/staging-next' into stagingMartin Weinelt5-59/+5
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-16Merge staging-next into staginggithub-actions[bot]1-1/+1
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-14 treewide: remove pythonRelaxDepsHook referencesMartin Weinelt1-2/+0