about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2021-06-30Coq: adapt for upcoming 8.14 (#128603)Théo Zimmermann1-3/+4
2021-06-30Merge master into staging-nextgithub-actions[bot]1-3/+3
2021-06-30Merge pull request #126878 from mtreca/masterSandro1-3/+3
2021-06-29Merge master into staging-nextgithub-actions[bot]1-2/+6
2021-06-29sumo: 1.8.0 -> 1.9.2mtreca1-3/+3
2021-06-29root: use pure CoreSymbolication on DarwinAndrew Childs1-2/+6
2021-06-27Merge staging-next into staginggithub-actions[bot]1-10/+7
2021-06-27why3: use GTK3Vincent Laporte1-1/+1
2021-06-27why3: 1.3.3 → 1.4.0Vincent Laporte1-9/+6
2021-06-27Merge staging-next into staginggithub-actions[bot]1-12/+5
2021-06-26siril: 0.99.8.1 -> 0.99.10.1Hunter Jones1-12/+5
2021-06-26jmol: 14.31.41 -> 14.31.42R. RyanTM1-2/+2
2021-06-26Merge staging-next into staginggithub-actions[bot]1-4/+4
2021-06-25Merge pull request #128069 from Artturin/openhantekSandro1-4/+4
2021-06-25Merge staging-next into staginggithub-actions[bot]5-19/+36
2021-06-25Merge pull request #128061 from lopsided98/mavproxy-updateSandro1-2/+2
2021-06-25openhantek6022: 3.1.3 -> 3.2.3Artturin1-4/+4
2021-06-24mavproxy: 1.8.37 -> 1.8.39Ben Wolsieffer1-2/+2
2021-06-24Merge pull request #128025 from Ma27/bump-stellariumSandro1-2/+2
2021-06-24Merge pull request #127829 from veprbl/pr/snakemake_6_5_0Sandro1-2/+5
2021-06-24stellarium: 0.21.0 -> 0.21.1Maximilian Bosch1-2/+2
2021-06-24snakemake: 6.0.5 -> 6.5.0Dmitry Kalinkin1-2/+5
2021-06-24Merge pull request #127910 from dotlambda/scipy_1_4-dropSandro1-11/+25
2021-06-24Merge pull request #127893 from r-ryantm/auto-update/eproverMichael Raskin1-2/+2
2021-06-24Merge staging-next into staginggithub-actions[bot]1-0/+38
2021-06-23Merge pull request #127905 from AndersonTorres/new-4ti2Anderson Torres1-0/+38
2021-06-234ti2: add myself to maintainersAndersonTorres1-0/+1
2021-06-23Merge staging-next into staginggithub-actions[bot]1-0/+50
2021-06-23nanovna-saver: don't double-wrapRobert Schütz1-3/+4
2021-06-23nanovna-saver: use packageOverridesRobert Schütz1-8/+21
2021-06-23glsurf: use ocamlPackages_4_05sternenseemann1-6/+26
2021-06-23Merge pull request #127524 from beezow/masterSandro1-0/+50
2021-06-234ti2: init at 1.6.9AndersonTorres1-0/+37
2021-06-23eprover: 2.5 -> 2.6R. RyanTM1-2/+2
2021-06-23Apply suggestions from code reviewSandro1-4/+1
2021-06-23Merge pull request #127826 from veprbl/pr/mcfm_initSandro1-0/+33
2021-06-22jmol: 14.31.39 -> 14.31.41R. RyanTM1-2/+2
2021-06-22emuflight-configurator: init at 0.3.5beezow1-0/+53
2021-06-22mcfm: init at 10.0.1Dmitry Kalinkin1-0/+33
2021-06-22Merge pull request #127355 from cjab/programmer-calculatorSandro1-0/+34
2021-06-22programmer-calculator: init at 2.1Chad Jablonski1-0/+34
2021-06-21Merge pull request #123242 from xworld21/eukleides-texlive-deps-instead-of-bu...Sandro2-13/+23
2021-06-21eukleides: depend on texinfo4 instead of overriding texinfoVincenzo Mantova1-2/+2
2021-06-21eukleides: allow PostScript transparencyVincenzo Mantova2-2/+16
2021-06-21eukleides: add getopt in euktoeps wrapperVincenzo Mantova1-2/+7
2021-06-21element: init at 1.0.0Johannes Arnold1-0/+22
2021-06-20eukleides: specify texlive dependencies instead of buildInputsVincenzo Mantova1-14/+5
2021-06-18gurobi: 8.1.0 -> 9.1.2 (#120525)Axel Forsman1-17/+10
2021-06-17Merge master into staging-nextgithub-actions[bot]2-45/+34
2021-06-17Merge pull request #125395 from musfay/fritzingSandro1-42/+31