about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2020-08-24mathematica: 12.1.0 -> 12.1.1Henri Menke1-0/+6
2020-08-23Merge pull request #81129 from scalavision/igv-update-28xSilvan Mosberger1-10/+12
2020-08-23igv: 2.4.19 -> 2.8.9scalavision1-10/+12
2020-08-23verilator: 4.036 -> 4.040Austin Seipp1-8/+15
2020-08-23mcy: 2020.07.06 -> 2020.08.03Austin Seipp1-3/+3
2020-08-23symbiyosys: 2020.07.03 -> 2020.08.22Austin Seipp1-10/+15
2020-08-23kicad-unstable: 2020-07-21 -> 2020-08-22Evils1-12/+12
2020-08-23kicad: reenable scriptingSupportEvils1-1/+1
2020-08-23kicad: use hash rather than date for package namesEvils2-3/+5
2020-08-23Merge pull request #96074 from gebner/qalc-gtk-doc-hackGabriel Ebner1-0/+4
2020-08-23Merge pull request #87224 from Sohalt/isabelleLassulus1-11/+11
2020-08-23qalculate-gtk: explain pkg-config issueGabriel Ebner1-0/+4
2020-08-22Merge pull request #86807 from matthuszagh/vhd2vlDaniël de Kok1-0/+39
2020-08-22qalculate-gtk: fix parallel buildGabriel Ebner1-0/+3
2020-08-22vhd2vl: init at unstable-2018-09-01Matt Huszagh1-0/+39
2020-08-22Merge pull request #95999 from gebner/calculix217Gabriel Ebner2-20/+11
2020-08-22qalculate-gtk: 3.8.0a -> 3.12.1Gabriel Ebner1-3/+4
2020-08-22calculix: 2.15 -> 2.17Gabriel Ebner2-20/+11
2020-08-22Merge pull request #95975 from r-ryantm/auto-update/hyp2matDaniël de Kok1-3/+3
2020-08-22Merge pull request #89868 from r-ryantm/auto-update/starLassulus1-2/+2
2020-08-22hyp2mat: 0.0.17 -> 0.0.18R. RyanTM1-3/+3
2020-08-21adms: 2.3.6 -> 2.3.7R. RyanTM1-2/+2
2020-08-21z3: add ttuegel to maintainersThomas Tuegel1-1/+1
2020-08-21z3: 4.8.7 -> 4.8.8Thomas Tuegel1-2/+2
2020-08-21Merge pull request #91647 from jbedo/whisperLassulus1-0/+34
2020-08-21ocamlPackages.lablgtk3: propagate gtk3 (#95849)Mario Rodas1-2/+0
2020-08-20Merge pull request #92337 from r-ryantm/auto-update/ltl2baLassulus1-2/+2
2020-08-20labelImg: 1.8.1 -> 1.8.3freezeboy1-11/+22
2020-08-19finalfusion-utils: 0.11.2 -> 0.12.0Daniël de Kok1-3/+3
2020-08-17vampire: 4.4 -> 4.5.1Gabriel Ebner1-2/+2
2020-08-17Merge pull request #95616 from lopsided98/qgroundcontrol-updateDaniël de Kok1-2/+2
2020-08-16Merge pull request #90281 from purcell/fast-downward-darwinMario Rodas1-9/+16
2020-08-16qgroundcontrol: 4.0.9 -> 4.0.10Ben Wolsieffer1-2/+2
2020-08-16geogebra 6 : init at 6-0-598-0 (#95422)voidIess1-0/+46
2020-08-16hisat2: 2.1.0 -> 2.2.1Justin Bedo1-12/+8
2020-08-16Merge pull request #85330 from chkno/openmvgDaniël de Kok1-9/+7
2020-08-16openmvg: 1.3 -> 1.6 (unbreak)Scott Worley1-9/+7
2020-08-16buildRustPackage: remove platform.all from packageszowoq2-2/+0
2020-08-15gtkwave: 3.3.105 -> 3.3.106R. RyanTM1-2/+2
2020-08-15d-seams: init at 1.0.1Rohit Goswami1-0/+34
2020-08-15z3: Add Java Bindings (#92096)Lorenz Leutgeb1-12/+21
2020-08-14kssd: 1.0 -> 1.1R. RyanTM1-2/+2
2020-08-13Merge pull request #95062 from cryptix/update-alizaVladyslav M1-3/+3
2020-08-11Merge pull request #93613 from baracoder/init-openhantek6022Daniël de Kok1-0/+31
2020-08-10appcsxcad: init at unstable-2020-01-04Matt Huszagh1-0/+58
2020-08-10qcsxcad: init at unstable-2020-01-04Matt Huszagh1-0/+50
2020-08-10aliza: 1.48.10 -> 1.98.32Henry1-3/+3
2020-08-09Merge pull request #94779 from r-ryantm/auto-update/marvinRyan Mulligan1-2/+2
2020-08-09root: don't propagated python interpreterJonathan Ringer1-5/+4
2020-08-08coq_8_12: 8.12+β1 → 8.12.0Vincent Laporte1-2/+4