about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2020-09-11z3: 4.8.8 -> 4.8.9Thomas Tuegel1-2/+2
2020-09-09Merge pull request #97555 from badmutex/badi/maintainers-updateMaximilian Bosch2-2/+2
2020-09-09tlaplus: remove myself from maintainers listBadi Abdul-Wahid2-2/+2
2020-09-09verilog: unstable-2019-08-01 -> unstable-2020-08-24Cole Helbling1-4/+4
2020-09-07nim: wrap compiler for cross-compilation supportEmery Hemingway1-1/+2
2020-09-07nim: patch to fix dynamic library loadingEmery Hemingway1-2/+2
2020-09-07proverif: 2.01 → 2.02pl1Vincent Laporte1-2/+2
2020-09-07Merge #97229: picard-tools: 2.23.3 -> 2.23.4Vladimír Čunát1-2/+2
2020-09-06ott: 0.30 -> 0.31R. RyanTM1-2/+2
2020-09-06Merge pull request #97243 from r-ryantm/auto-update/rinkDaniël de Kok1-3/+3
2020-09-05Merge pull request #97251 from r-ryantm/auto-update/starRyan Mulligan1-2/+2
2020-09-05star: 2.7.4a -> 2.7.5cR. RyanTM1-2/+2
2020-09-05rink: 0.5.0 -> 0.5.1R. RyanTM1-3/+3
2020-09-05picard-tools: 2.23.3 -> 2.23.4R. RyanTM1-2/+2
2020-09-04geogebra6: 6-0-598-0 -> 6-0-600-0voidless1-3/+3
2020-09-01Merge pull request #61019 from volth/gcc.arch-amdJohn Ericson1-6/+4
2020-08-31openhantek6022: 3.1.1 -> 3.1.2R. RyanTM1-2/+2
2020-08-31nasc: typoworldofpeace1-1/+1
2020-08-31nasc: 0.5.4 -> 0.7.5worldofpeace1-22/+39
2020-08-31wxmaxima: 20.04.0 -> 20.06.6R. RyanTM1-2/+2
2020-08-31R: 4.0.0 -> 4.0.2R. RyanTM1-2/+2
2020-08-29lean: 3.18.4 -> 3.19.0Mario Rodas1-2/+2
2020-08-29Merge pull request #96584 from r-ryantm/auto-update/rofi-calcMaximilian Bosch1-2/+2
2020-08-29rofi-calc: 1.7 -> 1.8R. RyanTM1-2/+2
2020-08-29alt-ergo: 2.3.2 → 2.3.3Vincent Laporte1-7/+5
2020-08-26marvin: 20.16.0 -> 20.17.0R. RyanTM1-2/+2
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-10 10:56:15 +0000