about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2021-02-15R: fix dylib install_name (#113002)idontgetoutmuch1-1/+4
2021-02-12Merge pull request #112817 from r-ryantm/auto-update/picard-toolsRyan Mulligan1-2/+2
2021-02-12Merge pull request #112766 from r-ryantm/auto-update/MAVProxyRyan Mulligan1-2/+2
2021-02-13verilog: Disable tests on darwinSandro Jäckel1-1/+3
2021-02-11picard-tools: 2.24.2 -> 2.25.0R. RyanTM1-2/+2
2021-02-11mavproxy: 1.8.31 -> 1.8.32R. RyanTM1-2/+2
2021-02-10symbiyosys: fix the interpreter of the `sby` binary.David Anderson1-0/+3
2021-02-10marvin: 21.1.0 -> 21.2.0R. RyanTM1-2/+2
2021-02-09z3: 4.8.9 -> 4.8.10Fabian Affolter1-23/+29
2021-02-08Merge pull request #112191 from r-ryantm/auto-update/starMario Rodas1-2/+2
2021-02-07Merge pull request #112021 from r-ryantm/auto-update/picard-toolsRyan Mulligan1-2/+2
2021-02-07Merge pull request #112107 from r-ryantm/auto-update/calcMartin Weinelt1-2/+2
2021-02-07Merge pull request #112196 from lopsided98/qgroundcontrol-updateSandro1-3/+4
2021-02-06Merge pull request #112192 from r-ryantm/auto-update/stellariumMaximilian Bosch1-2/+2
2021-02-06qgroundcontrol: 4.0.11 -> 4.1.1Ben Wolsieffer1-3/+4
2021-02-06stellarium: 0.20.3 -> 0.20.4R. RyanTM1-2/+2
2021-02-06star: 2.7.6a -> 2.7.7aR. RyanTM1-2/+2
2021-02-06blast: 2.10.0 -> 2.11.0Orivej Desh2-11/+6
2021-02-06calc: 2.12.7.2 -> 2.12.7.6R. RyanTM1-2/+2
2021-02-05picard-tools: 2.24.1 -> 2.24.2R. RyanTM1-2/+2
2021-02-04rofi-calc: 1.9 -> 2.0.0Lucas Ransan1-2/+2
2021-02-03Merge pull request #111697 from AndersonTorres/chemtoolSandro1-0/+50
2021-02-03chemtool: init at 1.6.14AndersonTorres1-0/+50
2021-02-03coq: 8.13+beta1 -> 8.13.0 (#109479)Jarl G. Taxerås Flaten1-1/+1
2021-02-02Merge pull request #110971 from r-ryantm/auto-update/MAVProxyRyan Mulligan1-2/+2
2021-02-02treewide: Remove doBuild cause it does not existSandro Jäckel1-2/+0
2021-02-01apmplanner2: 2.0.28-rc1 -> 2.0.28wucke131-2/+2
2021-02-01openmolcas: fix licenseMarkus Kowalewski1-1/+1
2021-02-01gpredict: fix licenseMarkus Kowalewski1-1/+1
2021-01-31molden: fix outdated URLsMarkus Kowalewski1-3/+3
2021-01-31Merge pull request #110824 from SuperSandro2000/fix-collection5Sandro2-3/+3
2021-01-30Merge pull request #111332 from guserav/horizon-edaDaniel Schaefer1-2/+2
2021-01-30treewide: update permanent url redirectsSandro Jäckel2-3/+3
2021-01-30Merge pull request #111234 from r-ryantm/auto-update/gretlMario Rodas1-2/+2
2021-01-30Merge pull request #111329 from r-ryantm/auto-update/marvinMario Rodas1-2/+2
2021-01-30horizon-eda: 1.3.0 -> 1.4.0guserav1-2/+2
2021-01-30marvin: 20.21.0 -> 21.1.0R. RyanTM1-2/+2
2021-01-30gretl: 2020e -> 2021aR. RyanTM1-2/+2
2021-01-29dcmtk: 3.6.5 -> 3.6.6R. RyanTM1-2/+2
2021-01-29Merge pull request #111117 from r-ryantm/auto-update/leanGabriel Ebner1-2/+2
2021-01-29lean: 3.25.0 -> 3.26.0R. RyanTM1-2/+2
2021-01-29Merge pull request #108172 from sikmir/geogebraSandro2-14/+20
2021-01-28Merge pull request #111003 from NieDzejkob/isabelle-vampireSandro1-2/+4
2021-01-28isabelle: provide perl LWP for remote_vampireJakub Kądziołka1-2/+4
2021-01-28mavproxy: 1.8.30 -> 1.8.31R. RyanTM1-2/+2
2021-01-27saw-tools: update license (#110920)Roland Coeurjoly1-1/+1
2021-01-27treewide: remove implicit use of stdenv.libBen Siraphob1-1/+1
2021-01-27Merge pull request #110912 from siraben/stdenv-lib-inheritSandro1-1/+2
2021-01-27treewide: remove inherited stdenv.libBen Siraphob1-1/+2
2021-01-26sortmerna: mark broken on darwinPhillip Cloud1-0/+1