Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge pull request #38969 from vbgl/coq-findlib | Matthew Justin Bauer | 2018-04-20 |
|\ | |||
| * | coq: fix installation of OCaml libraries | Vincent Laporte | 2018-04-15 |
| * | coq: move some attributes inside `passthru` | Vincent Laporte | 2018-04-15 |
* | | shogun: disable paralllel building | xeji | 2018-04-19 |
* | | Merge pull request #38810 from timokau/giac-improvements | Matthew Justin Bauer | 2018-04-19 |
|\ \ | |||
| * | | giac: enable checks, separate outputs | Timo Kaufmann | 2018-04-11 |
* | | | lrcalc: init at 1.2 (#38755) | Timo Kaufmann | 2018-04-19 |
* | | | Merge pull request #38740 from r-ryantm/auto-update/cytoscape | Matthew Justin Bauer | 2018-04-18 |
|\ \ \ | |||
| * | | | cytoscape: 3.6.0 -> 3.6.1 | R. RyanTM | 2018-04-11 |
* | | | | coq: 8.8+beta1 -> 8.8.0 | Vincent Laporte | 2018-04-18 |
* | | | | Merge pull request #38701 from r-ryantm/auto-update/samtools | Matthew Justin Bauer | 2018-04-17 |
|\ \ \ \ | |||
| * | | | | samtools: 1.7 -> 1.8 | R. RyanTM | 2018-04-10 |
| |/ / / | |||
* | | | | Merge pull request #36582 from ryantm/auto-update/gromacs | Matthew Justin Bauer | 2018-04-17 |
|\ \ \ \ | |||
| * | | | | gromacs: 4.6.7 -> 2018 | Ryan Mulligan | 2018-03-08 |
* | | | | | 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 |