about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2022-08-24Merge pull request #183253 from r-ryantm/auto-update/angsdJonas Heinrich1-2/+2
2022-08-23Merge pull request #184694 from r-ryantm/auto-update/SPAdesJonas Heinrich1-2/+2
2022-08-23xyce: fix eval after #187842K9001-1/+0
2022-08-22Merge pull request #187883 from alyaeanyx/qalculate-4.3.0Gabriel Ebner1-2/+2
2022-08-22elan: overwrite llvm-ar with stdenv arGabriel Ebner2-1/+8
2022-08-22{libqalculate, qalculate-gtk}: 4.2.0 -> 4.3.0alyaeanyx1-2/+2
2022-08-22Merge pull request #183893 from r-ryantm/auto-update/emuflight-configuratorJonas Heinrich1-2/+2
2022-08-21Merge pull request #185912 from r-ryantm/auto-update/fitykJonas Heinrich1-2/+2
2022-08-21Merge pull request #186958 from r-ryantm/auto-update/igvJonas Heinrich1-2/+2
2022-08-21Merge pull request #184713 from r-ryantm/auto-update/sirilJonas Heinrich1-2/+2
2022-08-21Merge pull request #184011 from r-ryantm/auto-update/fricasJonas Heinrich1-2/+2
2022-08-21Merge pull request #183724 from r-ryantm/auto-update/picard-toolsJonas Heinrich1-2/+2
2022-08-21Merge pull request #187429 from HHR2020/geogebra-723Sandro2-10/+10
2022-08-19geogebra6: 6-0-676-0 -> 6-0-723-0HHR20201-5/+5
2022-08-19geogebra: 5-0-706-0 -> 5-0-723-0HHR20201-5/+5
2022-08-19Merge pull request #187340 from r-ryantm/auto-update/cbmcChristian Kögler1-2/+2
2022-08-18Merge pull request #185326 from risicle/ris-streamlit-1.11.1Robert Scott1-25/+11
2022-08-18cbmc: 5.63.0 -> 5.64.0R. Ryantm1-2/+2
2022-08-18cbmc: init at 5.63.0Jiajie Chen2-0/+131
2022-08-17Merge pull request #180682 from r-ryantm/auto-update/fast-downwardSebastián Mancilla1-2/+2
2022-08-17alt-ergo: 2.4.1 → 2.4.2Vincent Laporte1-13/+9
2022-08-17Merge pull request #185331 from r-ryantm/auto-update/jmolsuperherointj1-2/+2
2022-08-17Merge pull request #186604 from panicgh/sigrokSandro1-4/+4
2022-08-16pulseview: 0.4.1 -> 0.4.2Nicolas Benes1-4/+4
2022-08-16jmol: 14.32.66 -> 14.32.68R. Ryantm1-2/+2
2022-08-16igv: 2.13.2 -> 2.14.0R. Ryantm1-2/+2
2022-08-15Merge pull request #186662 from r-ryantm/auto-update/messer-slimsuperherointj1-2/+2
2022-08-15Merge pull request #179082 from k3a/openboardviewChristian Kögler1-0/+57
2022-08-15Merge pull request #183328 from r-ryantm/auto-update/graphiaChristian Kögler1-2/+2
2022-08-14bitwuzla: unstable-2021-07-01 -> unstable-2022-08-07Mrmaxmeier1-3/+3
2022-08-14messer-slim: 3.7.1 -> 4.0R. Ryantm1-2/+2
2022-08-14Merge pull request #186307 from r-ryantm/auto-update/gretlJonas Heinrich1-2/+2
2022-08-14Merge pull request #185995 from wegank/nvc-1.7.0Sandro1-5/+5
2022-08-13snakemake: 7.12.0 -> 7.12.1R. Ryantm1-2/+2
2022-08-13Merge pull request #183012 from bcdarwin/update-mni-autoregMario Rodas1-14/+4
2022-08-13Merge pull request #185211 from r-ryantm/auto-update/dellyMario Rodas1-2/+2
2022-08-12yosys: 0.18 -> 0.20Austin Seipp1-3/+3
2022-08-12Merge pull request #178884 from dtzWill/update/verliator-4.224Sebastián Mancilla1-2/+2
2022-08-12gretl: 2022a -> 2022bR. Ryantm1-2/+2
2022-08-12Merge pull request #185570 from kilianar/igv-2.13.2Mario Rodas1-3/+3
2022-08-12Merge pull request #185834 from kilianar/lean-3.46.0Mario Rodas1-3/+3
2022-08-11nvc: 1.6.2 -> 1.7.0Weijia Wang1-5/+5
2022-08-10fityk: 1.3.1 -> 1.3.2R. Ryantm1-2/+2
2022-08-10Merge pull request #180766 from jvierling/metis-proverGabriel Ebner1-3/+3
2022-08-09lean: 3.45.0 -> 3.46.0kilianar1-3/+3
2022-08-08Merge pull request #185393 from r-ryantm/auto-update/xschemJonas Heinrich1-2/+2
2022-08-07igv: 2.8.13 -> 2.13.2kilianar1-3/+3
2022-08-07Merge pull request #184334 from r-ryantm/auto-update/mafftBobby Rong1-2/+2
2022-08-07Merge pull request #184937 from r-ryantm/auto-update/gprojectorBobby Rong1-2/+2
2022-08-06Merge pull request #184371 from veprbl/pr/root_6_26_06Dmitry Kalinkin1-2/+2