about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
12 daysMerge pull request #304204 from numinit/klee-llvm-overrideTristan Ross2-31/+59
13 daysMerge pull request #319641 from bachp/dsview-1.3.2Masum Reza1-3/+3
13 daysdsview: 1.3.1 -> 1.3.2Pascal Bach1-3/+3
2024-06-21Merge pull request #321398 from r-ryantm/auto-update/eigenmathNick Cao1-3/+3
2024-06-21Merge pull request #320775 from r-ryantm/auto-update/cbmcMasum Reza1-2/+2
2024-06-21eigenmath: 3.26-unstable-2024-06-09 -> 3.27-unstable-2024-06-20R. Ryantm1-3/+3
2024-06-20Merge pull request #320912 from r-ryantm/auto-update/gtkwaveWeijia Wang1-2/+2
2024-06-20Merge pull request #320417 from r-ryantm/auto-update/boincWeijia Wang1-2/+2
2024-06-20Merge pull request #315015 from NixOS/r-updatesJustin Bedő1-9/+3
2024-06-19Merge pull request #320534 from luochen1990/lean-4.8Nick Cao1-2/+2
2024-06-19gtkwave: 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-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
2024-06-07python311Packages.snakemake: 8.11.6 -> 8.13.0R. Ryantm1-2/+2
2024-06-08Merge pull request #291454 from imadnyc/numworks-epsilonPeder Bergebakken Sundt2-20/+4
2024-06-07numworks-epsilon: 15.5.0 -> 22.2.0imad.nyc2-20/+4
2024-06-07Merge pull request #316654 from symphorien/update_bitwuzla2Guillaume Girol1-12/+2
2024-06-07python311Packages.mujoco: add TODO for updating the dependenciesGaetan Lepage1-1/+1
2024-06-07mujoco: add GaetanLepage to maintainersGaetan Lepage1-1/+5
2024-06-07mujoco: 3.1.5 -> 3.1.6Gaetan Lepage1-5/+5
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-06 04:35:09 +0000