| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | mathematica: 12.1.0 -> 12.1.1 | Henri Menke | 2020-08-24 |
| * | Merge pull request #81129 from scalavision/igv-update-28x | Silvan Mosberger | 2020-08-23 |
| |\ | |||
| | * | igv: 2.4.19 -> 2.8.9 | scalavision | 2020-08-23 |
| * | | verilator: 4.036 -> 4.040 | Austin Seipp | 2020-08-23 |
| * | | mcy: 2020.07.06 -> 2020.08.03 | Austin Seipp | 2020-08-23 |
| * | | symbiyosys: 2020.07.03 -> 2020.08.22 | Austin Seipp | 2020-08-23 |
| * | | kicad-unstable: 2020-07-21 -> 2020-08-22 | Evils | 2020-08-23 |
| * | | kicad: reenable scriptingSupport | Evils | 2020-08-23 |
| * | | kicad: use hash rather than date for package names | Evils | 2020-08-23 |
| * | | Merge pull request #96074 from gebner/qalc-gtk-doc-hack | Gabriel Ebner | 2020-08-23 |
| |\ \ | |||
| | * | | qalculate-gtk: explain pkg-config issue | Gabriel Ebner | 2020-08-23 |
| * | | | Merge pull request #87224 from Sohalt/isabelle | Lassulus | 2020-08-23 |
| |\ \ \ | |/ / |/| | | |||
| | * | | Fixup | Sohalt | 2020-06-05 |
| | * | | Correct license | sohalt | 2020-05-10 |
| | * | | use https | sohalt | 2020-05-10 |
| | * | | isabelle: 2018 -> 2020 | sohalt | 2020-05-08 |
| * | | | Merge pull request #86807 from matthuszagh/vhd2vl | Daniël de Kok | 2020-08-22 |
| |\ \ \ | |||
| | * | | | vhd2vl: init at unstable-2018-09-01 | Matt Huszagh | 2020-08-22 |
| * | | | | qalculate-gtk: fix parallel build | Gabriel Ebner | 2020-08-22 |
| * | | | | Merge pull request #95999 from gebner/calculix217 | Gabriel Ebner | 2020-08-22 |
| |\ \ \ \ | |||
| | * | | | | calculix: 2.15 -> 2.17 | Gabriel Ebner | 2020-08-22 |
| * | | | | | qalculate-gtk: 3.8.0a -> 3.12.1 | Gabriel Ebner | 2020-08-22 |
| * | | | | | Merge pull request #95975 from r-ryantm/auto-update/hyp2mat | Daniël de Kok | 2020-08-22 |
| |\ \ \ \ \ | |/ / / / |/| | | | | |||
| | * | | | | hyp2mat: 0.0.17 -> 0.0.18 | R. RyanTM | 2020-08-22 |
| * | | | | | Merge pull request #89868 from r-ryantm/auto-update/star | Lassulus | 2020-08-22 |
| |\ \ \ \ \ | |||
| | * | | | | | star: 2.7.3a -> 2.7.4a | R. RyanTM | 2020-06-09 |
| * | | | | | | adms: 2.3.6 -> 2.3.7 | R. RyanTM | 2020-08-21 |
| * | | | | | | z3: add ttuegel to maintainers | Thomas Tuegel | 2020-08-21 |
| * | | | | | | z3: 4.8.7 -> 4.8.8 | Thomas Tuegel | 2020-08-21 |
| * | | | | | | Merge pull request #91647 from jbedo/whisper | Lassulus | 2020-08-21 |
| |\ \ \ \ \ \ | |||
| | * | | | | | | whisper: init at 2.0.1 | Justin Bedo | 2020-07-06 |
| * | | | | | | | ocamlPackages.lablgtk3: propagate gtk3 (#95849) | Mario Rodas | 2020-08-21 |
| * | | | | | | | Merge pull request #92337 from r-ryantm/auto-update/ltl2ba | Lassulus | 2020-08-20 |
| |\ \ \ \ \ \ \ | |||
| | * | | | | | | | ltl2ba: 1.2 -> 1.3 | R. RyanTM | 2020-07-05 |
| * | | | | | | | | labelImg: 1.8.1 -> 1.8.3 | freezeboy | 2020-08-20 |
| * | | | | | | | | finalfusion-utils: 0.11.2 -> 0.12.0 | Daniël de Kok | 2020-08-19 |
| * | | | | | | | | vampire: 4.4 -> 4.5.1 | Gabriel Ebner | 2020-08-17 |
| | |_|_|/ / / / |/| | | | | | | |||
| * | | | | | | | Merge pull request #95616 from lopsided98/qgroundcontrol-update | Daniël de Kok | 2020-08-17 |
| |\ \ \ \ \ \ \ | |||
| | * | | | | | | | qgroundcontrol: 4.0.9 -> 4.0.10 | Ben Wolsieffer | 2020-08-16 |
| * | | | | | | | | Merge pull request #90281 from purcell/fast-downward-darwin | Mario Rodas | 2020-08-16 |
| |\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | | | |||
| | * | | | | | | | fastdownward: 2019-05-13 -> 19.12 | Steve Purcell | 2020-06-15 |
| | * | | | | | | | fast-downward: also build on darwin | Steve Purcell | 2020-06-14 |
| * | | | | | | | | geogebra 6 : init at 6-0-598-0 (#95422) | voidIess | 2020-08-16 |
| * | | | | | | | | hisat2: 2.1.0 -> 2.2.1 | Justin Bedo | 2020-08-16 |
| * | | | | | | | | Merge pull request #85330 from chkno/openmvg | Daniël de Kok | 2020-08-16 |
| |\ \ \ \ \ \ \ \ | |||
| | * | | | | | | | | openmvg: 1.3 -> 1.6 (unbreak) | Scott Worley | 2020-08-16 |
| * | | | | | | | | | buildRustPackage: remove platform.all from packages | zowoq | 2020-08-16 |
| * | | | | | | | | | gtkwave: 3.3.105 -> 3.3.106 | R. RyanTM | 2020-08-15 |
| * | | | | | | | | | d-seams: init at 1.0.1 | Rohit Goswami | 2020-08-15 |
| * | | | | | | | | | z3: Add Java Bindings (#92096) | Lorenz Leutgeb | 2020-08-15 |