Commit message (Expand) | Author | Age | |
---|---|---|---|
* | neuron: 7.4 -> 7.5 | Samuel Leathers | 2017-09-02 |
* | z3_opt: remove and replace with z3 | Austin Seipp | 2017-09-02 |
* | yices: now under GPLv3 | Austin Seipp | 2017-09-02 |
* | iverilog: 2016.05.21 -> 2017.08.12 | Austin Seipp | 2017-09-02 |
* | caneda: fix build with gcc6 | Samuel Leathers | 2017-08-31 |
* | Merge pull request #28801 from veprbl/sherpa_2_2_4 | Jörg Thalheim | 2017-08-31 |
|\ | |||
| * | sherpa: 2.2.1 -> 2.2.4 | Dmitry Kalinkin | 2017-08-31 |
* | | Merge pull request #28756 from disassembler/pulseview-sigrok | Jörg Thalheim | 2017-08-31 |
|\ \ | |||
| * | | pulseview: 0.3.0 -> 0.4.0 | Samuel Leathers | 2017-08-30 |
* | | | root: add noSplash option | Dmitry Kalinkin | 2017-08-30 |
| |/ |/| | |||
* | | gfan: 0.5 -> 0.6; #28643 | Michael Raskin | 2017-08-30 |
* | | xplanet: gcc6 patch | Samuel Leathers | 2017-08-30 |
|/ | |||
* | pspp: 0.8.3 -> 1.0.1 | Lancelot SIX | 2017-08-30 |
* | cvc3: Add gcc6 patch from Gentoo. | Will Dietz | 2017-08-29 |
* | qalculate-gtk: 1.0.0 -> 2.0.0a | Gabriel Ebner | 2017-08-29 |
* | meson/ninja: add setup hooks (#28444) | Lukas Werling | 2017-08-27 |
* | yices: 2.5.2 -> 2.5.3 | Will Dietz | 2017-08-27 |
* | libpoly: 0.1.3 -> 0.1.4 | Will Dietz | 2017-08-27 |
* | root: 6.10.02 -> 6.10.04 | Dmitry Kalinkin | 2017-08-22 |
* | Merge pull request #28377 from Ma27/update/geogebra | Joachim F | 2017-08-20 |
|\ | |||
| * | geogebra: fallback to web.archive.org | Maximilian Bosch | 2017-08-18 |
| * | geogebra: 5-0-377-0 -> 5-0-382-0 | Maximilian Bosch | 2017-08-18 |
* | | Merge pull request #28320 from rybern/add-poretools | Frederik Rietdijk | 2017-08-20 |
|\ \ | |||
| * | | poretools: version number to commit date | Ryan Bernstein | 2017-08-18 |
| * | | poretools: init at 0.6.0 | Ryan Bernstein | 2017-08-17 |
* | | | open-wbo: init at 2.0 | Gabriel Ebner | 2017-08-20 |
* | | | lean2: 2016-11-29 -> 2017-07-22 | Gabriel Ebner | 2017-08-19 |
* | | | acgtk: fix homepage url | Matthew Bauer | 2017-08-17 |
* | | | caneda: use caneda.org for homepage | Matthew Bauer | 2017-08-17 |
* | | | use https://github.com for all homepages | Matthew Bauer | 2017-08-17 |
|/ / | |||
* | | Merge pull request #27440 from mnacamura/mathematica11_fix_ldpath | Frederik Rietdijk | 2017-08-13 |
|\ \ | |||
| * | | Add missing 'math' | Mitsuhiro Nakamura | 2017-07-19 |
| * | | Simplify the sed script | Mitsuhiro Nakamura | 2017-07-19 |
| * | | mathematica: fix library paths | Mitsuhiro Nakamura | 2017-07-18 |
* | | | Merge pull request #28211 from mimadrid/update/samtools-1.5.0 | Frederik Rietdijk | 2017-08-13 |
|\ \ \ | |||
| * | | | bcftools: 1.4.0 -> 1.5.0 | mimadrid | 2017-08-13 |
| * | | | samtools: 1.4.0 -> 1.5.0 | mimadrid | 2017-08-13 |
* | | | | Merge pull request #28062 from lsix/update_motu-client | Frederik Rietdijk | 2017-08-13 |
|\ \ \ \ | |||
| * | | | | motu-client: 1.0.8 -> 1.4.0 | Lancelot SIX | 2017-08-09 |
* | | | | | Merge pull request #28229 from jpierre03/pr-alt-ergo | Frederik Rietdijk | 2017-08-13 |
|\ \ \ \ \ | |||
| * | | | | | alt-ergo: use https instead of http to fetch archive | Jean-Pierre PRUNARET | 2017-08-13 |
* | | | | | | Merge pull request #27881 from mimadrid/fix/http-https | Frederik Rietdijk | 2017-08-13 |
|\ \ \ \ \ \ | |||
| * | | | | | | Update homepage attributes: http -> https | mimadrid | 2017-08-03 |
| | |/ / / / | |/| | | | | |||
* | | | | | | Merge commit '4c49205' into HEAD | Frederik Rietdijk | 2017-08-13 |
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | | | |||
| * | | | | | replace "Mac OS X" and "OS X" with "macOS" | davidak | 2017-08-07 |
| | |_|/ / | |/| | | | |||
* | | | | | yices: 2.5.1 -> 2.5.2 | Will Dietz | 2017-08-12 |
| |_|/ / |/| | | | |||
* | | | | Gwyddion: init at 2.48 | pe@pijul.org | 2017-08-11 |
|/ / / | |||
* | | | maxima: 5.39.0 -> 5.40.0 | Vincent Laporte | 2017-08-05 |
* | | | coq: adding myself to the maintainers | Théo Zimmermann | 2017-08-04 |
* | | | coq: use camlp5_strict | Théo Zimmermann | 2017-08-04 |