about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2021-07-09engauge-digitizer: init at 12.1Phillip Seeber1-0/+60
2021-07-09dkh: init at 1.2Sandro1-0/+32
2021-07-06Merge pull request #129280 from r-ryantm/auto-update/jmolMichael Raskin1-2/+2
2021-07-06Merge pull request #123692 from collares/eclib-20210503Sandro1-0/+9
2021-07-04jmol: 14.31.42 -> 14.31.44R. RyanTM1-2/+2
2021-07-04Merge master into staging-nextgithub-actions[bot]2-5/+5
2021-07-04qalculate-gtk: 3.18.0 -> 3.19.0Gabriel Ebner1-2/+2
2021-07-04Merge pull request #124454 from r-ryantm/auto-update/elanGabriel Ebner1-3/+3
2021-07-04Merge master into staging-nextgithub-actions[bot]1-1/+1
2021-07-04Merge pull request #129122 from dotlambda/dateutil-aliasSandro1-1/+1
2021-07-03Merge branch 'master' into staging-nextDmitry Kalinkin1-2/+2
2021-07-03eclib: 20190909 -> 20210625, import sage update patchMauricio Collares1-0/+9
2021-07-03gwyddion: 2.58 -> 2.59R. RyanTM1-2/+2
2021-07-03treewide: use pythonPackages.python-dateutil instead of pythonPackages.dateutilRobert Schütz1-1/+1
2021-07-03Merge master into staging-nextgithub-actions[bot]1-3/+11
2021-07-02tlaToolbox: fix crash on file open dialogSarunas Valaskevicius1-3/+11
2021-07-02Merge master into staging-nextgithub-actions[bot]1-3/+3
2021-07-02Merge pull request #128926 from collares/lean-3.31Gabriel Ebner1-3/+3
2021-07-02Merge master into staging-nextgithub-actions[bot]2-30/+37
2021-07-01lean: 3.30.0 -> 3.31.0Mauricio Collares1-3/+3
2021-07-01Merge pull request #128831 from collares/sage-sphinx-4Michael Raskin2-30/+37
2021-07-01Merge master into staging-nextgithub-actions[bot]2-3/+3
2021-07-01Merge pull request #128900 from siraben/hol-unixBen Siraphob1-1/+1
2021-07-01hol: expand platforms to unixBen Siraphob1-1/+1
2021-07-01Merge pull request #128167 from r-ryantm/auto-update/jmolMichael Raskin1-2/+2
2021-06-30sage: import sphinx and sympy update patches, update pari 2.13 patchMauricio Collares2-30/+37
2021-06-30Merge master into staging-nextgithub-actions[bot]1-1/+1
2021-06-30coq: fix issue introduced in #128603Théo Zimmermann1-1/+1
2021-06-30Merge master into staging-nextgithub-actions[bot]3-11/+25
2021-06-29gtkwave: 3.3.109 -> 3.3.110R. RyanTM1-2/+2
2021-06-29phd2: 2.6.9dev1 -> 2.6.10Hunter Jones1-7/+21
2021-06-29emuflight-configurator: 0.3.5 -> 0.3.6R. RyanTM1-2/+2
2021-06-30Merge master into staging-nextgithub-actions[bot]1-3/+4
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