Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge pull request #38589 from badi/tlatools | Jörg Thalheim | 2018-04-17 |
|\ | |||
| * | tlaplusToolbox: init at 1.5.6 | Badi Abdul-Wahid | 2018-04-16 |
| * | tlaps: init at 1.4.3 | Badi Abdul-Wahid | 2018-04-16 |
* | | Merge #38702: Mark packages as broken (ZHF) | Vladimír Čunát | 2018-04-17 |
|\ \ | |||
| * | | torchPackages.{sundown,lbase64}: mark as broken | xeji | 2018-04-12 |
| * | | openmvg: mark as broken | xeji | 2018-04-12 |
* | | | symbiyosys: larger meta.platforms | Vincent Laporte | 2018-04-16 |
* | | | celestia: clean up | Jan Tojnar | 2018-04-15 |
* | | | elan: 0.3.0 -> 0.3.2 | Gabriel Ebner | 2018-04-13 |
|/ / | |||
* | | Merge pull request #38768 from timokau/singular-4.1.1 | Michael Raskin | 2018-04-12 |
|\ \ | |||
| * | | singular: 3.1.7 -> 4.1.1 | Timo Kaufmann | 2018-04-11 |
* | | | Merge pull request #38812 from timokau/maxima-ecl | Peter Simons | 2018-04-12 |
|\ \ \ | |||
| * | | | maxima: add various fixes, re-add ecl support | Timo Kaufmann | 2018-04-12 |
* | | | | elan: add leanchecker proxy | Gabriel Ebner | 2018-04-11 |
|/ / / | |||
* | | | elan: 0.1.0 -> 0.3.0 | Gabriel Ebner | 2018-04-11 |
* | | | gap-minimal: fix ofBorg evaluation | Guillaume Maudoux | 2018-04-11 |
* | | | gap: 4r8p3 -> 4r8p10 | Timo Kaufmann | 2018-04-11 |
|/ / | |||
* | | elan: init at 0.1.0 | Gabriel Ebner | 2018-04-10 |
* | | Merge pull request #36852 from rprospero/sasview-for-pr | Matthew Justin Bauer | 2018-04-09 |
|\ \ | |||
| * | | Remove lint from Sasview package | Adam Washington | 2018-03-22 |
| * | | Make xhtml2pdf its own package in python-packages | Adam Washington | 2018-03-21 |
| * | | sasview: init at 4.1.2 | Adam Washington | 2018-03-12 |
* | | | Merge pull request #38260 from symphorien/tamarin-vim | Matthew Justin Bauer | 2018-04-08 |
|\ \ \ | |||
| * | | | tamarin-prover: install vim syntax highlighting files | Symphorien Gibol | 2018-03-31 |
* | | | | Merge pull request #38165 from r-ryantm/auto-update/picard-tools | Matthew Justin Bauer | 2018-04-08 |
|\ \ \ \ | |||
| * | | | | picard-tools: 2.17.11 -> 2.18.1 | R. RyanTM | 2018-03-30 |
* | | | | | openmvs-unstable: 2017-05-01 -> 2018-05-26 | Jörg Thalheim | 2018-04-08 |
* | | | | | Merge pull request #38595 from r-ryantm/auto-update/bcftools | Jörg Thalheim | 2018-04-08 |
|\ \ \ \ \ | |||
| * | | | | | bcftools: python/perl is needed for shebangs | Jörg Thalheim | 2018-04-08 |
| * | | | | | bcftools: 1.7 -> 1.8 | R. RyanTM | 2018-04-07 |
* | | | | | | nixpkgs: remove z3 4.5.0 | Austin Seipp | 2018-04-07 |
| |_|_|_|/ |/| | | | | |||
* | | | | | Merge pull request #38416 from bcdarwin/beluga | Jörg Thalheim | 2018-04-06 |
|\ \ \ \ \ | |||
| * | | | | | beluga: init at 20180403 | Ben Darwin | 2018-04-04 |
* | | | | | | Merge pull request #38478 from r-ryantm/auto-update/weka | Jörg Thalheim | 2018-04-05 |
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | | |||
| * | | | | | weka: use makeWrapper | Jörg Thalheim | 2018-04-05 |
| * | | | | | weka: 3.8.2 -> 3.9.2 | R. RyanTM | 2018-04-05 |
* | | | | | | Merge pull request #38237 from r-ryantm/auto-update/igv | Peter Hoeg | 2018-04-05 |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | |||
| * | | | | | igv: 2.4.9 -> 2.4.10 | R. RyanTM | 2018-03-31 |
| | |/ / / | |/| | | | |||
* | | | | | abella: 2.0.4 -> 2.0.5 | Ben Darwin | 2018-04-04 |
| |/ / / |/| | | | |||
* | | | | Merge pull request #37465 from timor/workcraft | Matthew Justin Bauer | 2018-03-31 |
|\ \ \ \ | |||
| * | | | | workcraft: init at 3.1.9 | timor | 2018-03-21 |
* | | | | | gtkwave: 3.3.87 -> 3.3.89 | R. RyanTM | 2018-03-31 |
* | | | | | qalculate-gtk: 2.2.1 -> 2.3.0 | Gabriel Ebner | 2018-03-31 |
* | | | | | giac: fix url | Symphorien Gibol | 2018-03-30 |
* | | | | | python27Packages.spyder: 3.2.7 -> 3.2.8 | R. RyanTM | 2018-03-30 |
| |/ / / |/| | | | |||
* | | | | Merge pull request #37670 from bgamari/libngspice | Jörg Thalheim | 2018-03-26 |
|\ \ \ \ | |||
| * | | | | ngspice: Move shared library to a new derivation | Ben Gamari | 2018-03-25 |
* | | | | | geogebra: add archive.org link for 5-0-444-0 | Maximilian Bosch | 2018-03-25 |
|/ / / / | |||
* | | | | geogebra: 5-0-382-0 -> 5-0-444-0 | sternenseemann | 2018-03-25 |
* | | | | Merge pull request #37752 from ryantm/fix-urls | Matthew Justin Bauer | 2018-03-25 |
|\ \ \ \ |