| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | | | coq: 8.6 -> 8.6.1 | Théo Zimmermann | 2017-08-04 | |
| |/ / | ||||
| * | | pkgs: refactor needless quoting of homepage meta attribute (#27809) | Silvan Mosberger | 2017-08-01 | |
| * | | Merge pull request #27844 from mimadrid/update/igv-2.3.98 | Frederik Rietdijk | 2017-08-01 | |
| |\ \ | ||||
| | * | | igv: 2.3.89 -> 2.3.98 | mimadrid | 2017-08-01 | |
| * | | | Merge pull request #27006 from Infinisil/scyther | Frederik Rietdijk | 2017-08-01 | |
| |\ \ \ | ||||
| | * | | | scyther: Separated into two derivations | Silvan Mosberger | 2017-07-23 | |
| | * | | | scyther: init at 1.1.3 | Silvan Mosberger | 2017-07-16 | |
| * | | | | coq2html: New expression | John Wiegley | 2017-08-01 | |
| * | | | | Merge pull request #27816 from mimadrid/update/calc-2.12.6.1 | Frederik Rietdijk | 2017-08-01 | |
| |\ \ \ \ | ||||
| | * | | | | calc: 2.12.5.3 -> 2.12.6.1 | mimadrid | 2017-07-31 | |
| | | |/ / | |/| | | ||||
| * | | | | libqalculate, qalculate-gtk: 0.9.9 -> 1.0.0 | Gabriel Ebner | 2017-07-31 | |
| * | | | | verilator: build with current flex | Franz Pletz | 2017-07-29 | |
| |/ / / | ||||
| * | | | geogebra: 5-0-369-0 -> 5-0-377-0 | Maximilian Bosch | 2017-07-26 | |
| * | | | cryptominisat: use new xxd package instead of vim | Peter Hoeg | 2017-07-24 | |
| * | | | Revert "coq2html: New expression" | Franz Pletz | 2017-07-20 | |
| * | | | coq2html: New expression | John Wiegley | 2017-07-20 | |
| * | | | Merge pull request #26352 from Mounium/aliza | Jörg Thalheim | 2017-07-19 | |
| |\ \ \ | ||||
| | * | | | aliza: 1.28.10->1.29.2 | Katona László | 2017-07-02 | |
| | * | | | aliza: init at 1.28.10 | Katona László | 2017-06-15 | |
| * | | | | Merge pull request #27366 from veprbl/version_bumps | Jörg Thalheim | 2017-07-18 | |
| |\ \ \ \ | ||||
| | * | | | | root: 6.10.00 -> 6.10.02 | Dmitry Kalinkin | 2017-07-14 | |
| * | | | | | boolector: 1.{5,6} -> 2.4.1 | Symphorien Gibol | 2017-07-18 | |
| * | | | | | iprover: 0.8.1 -> 2.5 | Gabriel Ebner | 2017-07-17 | |
| * | | | | | abc-verifier: fix typo in meta | Vladimír Čunát | 2017-07-15 | |
| |/ / / / | ||||
| * | | | | ginac: 1.6.2 -> 1.7.2 | Vincent Laporte | 2017-07-13 | |
| * | | | | Merge pull request #27197 from kquick/master | Michael Raskin | 2017-07-08 | |
| |\ \ \ \ | |_|_|/ |/| | | | ||||
| | * | | | Fix license reference for added libpoly library. | Kevin Quick | 2017-07-07 | |
| | * | | | Update yices to add libpoly/mcsat functionality and add soname target. | Kevin Quick | 2017-07-06 | |
| | * | | | Add poly library for manipulating polynomials. | Kevin Quick | 2017-07-06 | |
| | | |/ | |/| | ||||
| * | | | acgtk: 1.1 -> 1.3.1 | Vincent Laporte | 2017-07-08 | |
| * | | | hol_light: 2016-07-23 -> 2017-07-06 | Vincent Laporte | 2017-07-08 | |
| |/ / | ||||
| * | | R: update to version 3.4.1 | Peter Simons | 2017-06-30 | |
| * | | neuron: enable GUI | Shea Levy | 2017-06-28 | |
| * | | geogebra: make `language` configurable | Maximilian Bosch | 2017-06-27 | |
| * | | glsurf: 3.3 -> 3.3.1 | Vincent Laporte | 2017-06-26 | |
| * | | Merge pull request #26836 from Ma27/update/geogebra | Joachim F | 2017-06-25 | |
| |\ \ | ||||
| | * | | geogebra: 5-0-361-0 -> 5-0-369-0 | Maximilian Bosch | 2017-06-25 | |
| * | | | Merge pull request #26795 from veprbl/root_6.10.00 | Jörg Thalheim | 2017-06-25 | |
| |\ \ \ | ||||
| | * | | | root: 6.09.02 -> 6.10.00 | Dmitry Kalinkin | 2017-06-24 | |
| * | | | | python.pkgs.spyder: remove maintainers | Frederik Rietdijk | 2017-06-23 | |
| * | | | | boinc: 7.4.42 -> 7.8.0 | Franz Pletz | 2017-06-20 | |
| * | | | | lean: 3.1.0 -> 3.2.0 | Gabriel Ebner | 2017-06-18 | |
| * | | | | qt5: remove makeQtWrapper | Thomas Tuegel | 2017-06-18 | |
| * | | | | qt5: rename qmakeHook to qmake | Thomas Tuegel | 2017-06-18 | |
| * | | | | qt5: use distinct `lib/qt-5.x` prefix for each minor version | Thomas Tuegel | 2017-06-18 | |
| * | | | | snpeff: 4.3i -> 4.3p | Justin Bedo | 2017-06-13 | |
| | |_|/ |/| | | ||||
| * | | | pymol: set PYTHONPATH in a future way | Jörg Thalheim | 2017-06-02 | |
| * | | | pymol: added Pmw + python version bump | Katona László | 2017-06-02 | |
| | |/ |/| | ||||
| * | | geogebra: 5-0-355-0 -> 5-0-361-0 | Maximilian Bosch | 2017-05-30 | |
| |/ | ||||
| * | msieve: update and enable on Darwin | Dan Peebles | 2017-05-26 | |