Commit message (Expand) | Author | Age | |
---|---|---|---|
* | root: fix NixOS build, build with lzma from nix, update homepage url | Dmitry Kalinkin | 2016-04-20 |
* | root: 5.34.15 -> 6.04.16 | Dmitry Kalinkin | 2016-04-17 |
* | qgroundcontrol: Fix running of {pre,post}Configure | aszlig | 2016-04-15 |
* | qgroundcontrol: Drop unused preConfigure phase | aszlig | 2016-04-15 |
* | fritzing: Fix running of {pre,post}Configure | aszlig | 2016-04-15 |
* | Merge pull request #14658 from abbradar/search-path-fixes | Nikolay Amiantov | 2016-04-14 |
|\ | |||
| * | replace makeSearchPath tree-wise to take care of possible multiple outputs | Nikolay Amiantov | 2016-04-13 |
* | | Merge pull request #14649 from vbgl/coq_8.5.1 | Arseniy Seroka | 2016-04-13 |
|\ \ | |/ |/| | |||
| * | coq: 8.5 -> 8.5pl1 | Vincent Laporte | 2016-04-12 |
* | | Merge branch 'staging', containing closure-size #7701 | Vladimír Čunát | 2016-04-13 |
|\ \ | |||
| * | | Merge branch 'master' into closure-size | Vladimír Čunát | 2016-04-10 |
| |\| | |||
| * | | Merge 'staging' into closure-size | Vladimír Čunát | 2016-04-07 |
| |\ \ | |||
| * \ \ | Merge branch 'master' into closure-size | Vladimír Čunát | 2016-04-01 |
| |\ \ \ | |||
| * | | | | ncurses: combine $lib and $out outputs | Thomas Tuegel | 2016-03-08 |
| * | | | | Merge master into closure-size | Vladimír Čunát | 2016-03-08 |
| |\ \ \ \ | |||
| * \ \ \ \ | Merge branch 'master' into closure-size | Vladimír Čunát | 2016-02-14 |
| |\ \ \ \ \ | |||
| * \ \ \ \ \ | Merge recent 'staging' into closure-size | Vladimír Čunát | 2016-02-03 |
| |\ \ \ \ \ \ | |||
| * \ \ \ \ \ \ | Merge branch 'staging' into closure-size | Vladimír Čunát | 2016-01-19 |
| |\ \ \ \ \ \ \ | |||
| * | | | | | | | | R: fix build after splitting gfortran.lib | Vladimír Čunát | 2016-01-12 |
| * | | | | | | | | Merge branch 'master' into closure-size | Vladimír Čunát | 2015-12-31 |
| |\ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ | Merge branch 'master' into closure-size | Luca Bruno | 2015-12-11 |
| |\ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ | Merge branch 'master' into closure-size | Luca Bruno | 2015-11-29 |
| |\ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'origin/master' into closure-size | Luca Bruno | 2015-11-25 |
| |\ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ | Merge staging into closure-size | Vladimír Čunát | 2015-11-20 |
| |\ \ \ \ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | | | | yices: use correct static gmp | Vladimír Čunát | 2015-10-28 |
| * | | | | | | | | | | | | | gmp: split into multiple outputs | Vladimír Čunát | 2015-10-28 |
| * | | | | | | | | | | | | | cairo, pango: fix some string references | Vladimír Čunát | 2015-10-13 |
| * | | | | | | | | | | | | | ncurses: split into multiple outputs | Vladimír Čunát | 2015-10-13 |
| * | | | | | | | | | | | | | fontconfig: split into multiple outputs | Vladimír Čunát | 2015-10-05 |
| * | | | | | | | | | | | | | Merge commit staging+systemd into closure-size | Vladimír Čunát | 2015-10-03 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | | | | | fix "libc}/lib" and similar references | Vladimír Čunát | 2015-05-05 |
* | | | | | | | | | | | | | | | Merge pull request #14618 from moretea/update_mcrl2 | joachifm | 2016-04-12 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | | | | | | mcrl2: 2009.01 -> 2014.09 | Maarten Hoogendoorn | 2016-04-12 |
| | |_|_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | | | |||
* | | | | | | | | | | | | | | | Merge pull request #14636 from kragniz/samtools | Tuomas Tynkkynen | 2016-04-12 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | |||
| * | | | | | | | | | | | | | | samtools: init at 1.3 | Louis Taylor | 2016-04-12 |
* | | | | | | | | | | | | | | | Merge pull request #14468 from vbgl/why3-0.87 | Damien Cassou | 2016-04-05 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | |||
| * | | | | | | | | | | | | | | why3: 0.86.3 -> 0.87.0 | Vincent Laporte | 2016-04-05 |
* | | | | | | | | | | | | | | | picosat: enable proof output and install various utils | Gabriel Ebner | 2016-04-02 |
* | | | | | | | | | | | | | | | picosat: 960 -> 965 | Gabriel Ebner | 2016-04-02 |
* | | | | | | | | | | | | | | | lammps: init at 2016-02-16 | Chris Ostrouchov | 2016-04-01 |
* | | | | | | | | | | | | | | | Merge pull request #14334 from ne0phyte/kicad-4.0.2 | joachifm | 2016-03-31 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | | | | | | kicad: 2013 stable -> 4.0.2 | ne0phyte | 2016-03-31 |
| | |_|_|_|_|_|_|_|_|_|_|_|/ / | |/| | | | | | | | | | | | | | |||
* | | | | | | | | | | | | | | | satallax: 1.4 -> 2.7 | Michael Raskin | 2016-03-31 |
| |_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | |||
* | | | | | | | | | | | | | | cvc4: fix the build by skipping line markers in cpp expansions during configu... | Michael Raskin | 2016-03-31 |
* | | | | | | | | | | | | | | Merge pull request #13913 from grwlf/torch | joachifm | 2016-03-30 |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / / / |/| | | | | | | | | | | | | | |||
| * | | | | | | | | | | | | | torch: add unsup package | Sergey Mironov | 2016-03-22 |
| * | | | | | | | | | | | | | torch: read user PATH and LD_LIBRARY_PATH | Sergey Mironov | 2016-03-22 |
| * | | | | | | | | | | | | | torch: image, enable JPEG and PNG support | Sergey Mironov | 2016-03-22 |
| * | | | | | | | | | | | | | torch: unhardcode references to luajit | Sergey Mironov | 2016-03-21 |
| * | | | | | | | | | | | | | torch: use default luajit | Sergey Mironov | 2016-03-19 |