| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | bedtools: 2.29.1 -> 2.29.2 | Justin Bedo | 2019-12-18 |
| * | Merge pull request #75807 from jbedo/strelka | Mario Rodas | 2019-12-16 |
| |\ | |||
| | * | strelka: fix broken build | Justin Bedo | 2019-12-17 |
| * | | R: 3.6.1 -> 3.6.2 | Alex Branham | 2019-12-16 |
| * | | Merge pull request #75657 from flokli/gtkwave-gtk3 | Florian Klink | 2019-12-15 |
| |\ \ | |||
| | * | | gtkwave: build with gtk3 | Florian Klink | 2019-12-15 |
| * | | | Merge pull request #75388 from Lassulus/xplanet | Renaud | 2019-12-15 |
| |\ \ \ | |||
| | * | | | xplanet: 1.3.0 -> 1.3.1 | lassulus | 2019-12-15 |
| * | | | | z3: 4.8.5 -> 4.8.7 | Austin Seipp | 2019-12-14 |
| * | | | | mavproxy: init at 1.8.17 | Ben Wolsieffer | 2019-12-14 |
| * | | | | Merge pull request #75141 from vbgl/coq-8.11β1 | Vincent Laporte | 2019-12-14 |
| |\ \ \ \ | |_|/ / |/| | | | |||
| | * | | | coq_8_11: init at 8.11+β1 | Vincent Laporte | 2019-12-07 |
| * | | | | root: 6.12.06 -> 6.18.04 | Dmitry Kalinkin | 2019-12-14 |
| * | | | | Merge pull request #75613 from timokau/brial-1.2.6 | Timo Kaufmann | 2019-12-13 |
| |\ \ \ \ | |||
| | * | | | | pybrial: 1.2.3 -> 1.2.5, directly use the brial src | Timo Kaufmann | 2019-12-13 |
| * | | | | | btor2tools: correct meta information | Robert Scott | 2019-12-12 |
| * | | | | | boolector: add patch for CVE-2019-7560 | Robert Scott | 2019-12-12 |
| |/ / / / | |||
| * | | | | Merge pull request #75416 from jbedo/bedtools | markuskowa | 2019-12-10 |
| |\ \ \ \ | |||
| | * | | | | bedtools: fix clang builds | Justin Bedo | 2019-12-11 |
| | * | | | | bedtools: 2.29.0 -> 2.29.1 | Justin Bedo | 2019-12-10 |
| | | |_|/ | |/| | | |||
| * | | | | Merge branch 'auto-update/libqalculate' | Gabriel Ebner | 2019-12-10 |
| |\ \ \ \ | |/ / / |/| | | | |||
| | * | | | qalculate-gtk: 3.5.0 -> 3.6.0 | Gabriel Ebner | 2019-12-10 |
| | |/ / | |||
| * | | | snakemake: 5.7.4 -> 5.8.1 (#74637) | R. RyanTM | 2019-12-09 |
| * | | | lingeling: enable for darwin | Robert Scott | 2019-12-08 |
| * | | | aiger: enable for darwin | Robert Scott | 2019-12-08 |
| | |/ |/| | |||
| * | | kssd: init at 1.0 | Renato Alves | 2019-12-08 |
| * | | eagle: 9.5.0 -> 9.5.1 | R. RyanTM | 2019-12-08 |
| * | | svaba: init at 1.1.0 | scalavision | 2019-12-08 |
| * | | Merge pull request #75245 from r-ryantm/auto-update/jmol | markuskowa | 2019-12-08 |
| |\ \ | |||
| | * | | jmol: 14.29.55 -> 14.30.0 | R. RyanTM | 2019-12-08 |
| | |/ | |||
| * | | geogebra: 5-0-560-0 -> 5-0-569-0 | Maximilian Bosch | 2019-12-08 |
| * | | giac-with-xcas: fix build | Jonathan Ringer | 2019-12-07 |
| * | | NetLogo: 6.0.4 -> 6.1.1 | Calvin Pritchard | 2019-12-07 |
| * | | marvin: 19.1.0 -> 19.23.0 | R. RyanTM | 2019-12-07 |
| * | | Merge pull request #75095 from tbenst/bftools | Mario Rodas | 2019-12-07 |
| |\ \ | |/ |/| | |||
| | * | bftools: 5.9.2 -> 6.3.0 | Tyler Benster | 2019-12-06 |
| * | | Remove myself (fuuzetsu) from maintainer lists | Mateusz Kowalczyk | 2019-12-05 |
| * | | symbiyosys: add yices dependency | Matt Huszagh | 2019-12-04 |
| * | | gildas: 20191001_a -> 20191201_a (#73041) | Sébastien Maret | 2019-12-04 |
| * | | Merge pull request #74945 from timokau/sage-no-timeout | Timo Kaufmann | 2019-12-04 |
| |\ \ | |||
| | * | | sage: disable test timeout | Timo Kaufmann | 2019-12-01 |
| * | | | coq_8_10: 8.10.1 → 8.10.2 | Vincent Laporte | 2019-12-03 |
| * | | | paml: 4.9i -> 4.9j | R. RyanTM | 2019-12-01 |
| * | | | dconf: move to top-level | Jan Tojnar | 2019-12-01 |
| * | | | verilator: 4.020 -> 4.022 | R. RyanTM | 2019-11-30 |
| * | | | gtkwave: 3.3.102 -> 3.3.103 | R. RyanTM | 2019-12-01 |
| * | | | kallisto: 0.46.0 -> 0.46.1 (#74430) | R. RyanTM | 2019-11-30 |
| * | | | Merge branch 'master' into staging-next | Jan Tojnar | 2019-11-30 |
| |\ \ \ | |||
| | * | | | picard-tools: 2.21.1 -> 2.21.3 (#74528) | R. RyanTM | 2019-11-30 |
| | |/ / | |||
| * | | | Merge master into staging-next | Frederik Rietdijk | 2019-11-30 |
| |\| | | |||