Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge pull request #39403 from timokau/maxima-exl-testfailures-2 | Michael Raskin | 2018-04-24 |
|\ | |||
| * | maxima-ecl: Disable more failing tests | Timo Kaufmann | 2018-04-24 |
* | | Merge pull request #39377 from timokau/pari-pthread | Matthew Justin Bauer | 2018-04-24 |
|\ \ | |/ |/| | |||
| * | pari: Make pthread optional, remove unstable | Timo Kaufmann | 2018-04-24 |
* | | Merge pull request #39370 from timokau/singular-ntl | Michael Raskin | 2018-04-24 |
|\ \ | |||
| * | | singular: Fix ntl dependency | Timo Kaufmann | 2018-04-24 |
* | | | maxima-ecl: Disable failing tests | Timo Kaufmann | 2018-04-24 |
| |/ |/| | |||
* | | R: 3.4.4 -> 3.5.0 | Peter Simons | 2018-04-24 |
* | | Merge pull request #34014 from mnacamura/mathematica-l10n | Matthew Justin Bauer | 2018-04-23 |
|\ \ | |/ |/| | |||
| * | mathematica: enable installation of localized editions | Mitsuhiro Nakamura | 2018-01-19 |
* | | Merge pull request #39351 from matthewbauer/calc-on-darwin | Jörg Thalheim | 2018-04-23 |
|\ \ | |||
| * | | calc: cleanup expression | Matthew Bauer | 2018-04-22 |
* | | | Merge pull request #39332 from markuskowa/octopus-up | Joachim F | 2018-04-22 |
|\ \ \ | |||
| * | | | octopus: 7.2 -> 7.3 | Markus Kowalewski | 2018-04-22 |
* | | | | jmol: init at 14.29.12 | Timo Kaufmann | 2018-04-21 |
* | | | | palp: init at 2.1 | Timo Kaufmann | 2018-04-21 |
* | | | | pynac: init at 0.7.19 | Timo Kaufmann | 2018-04-21 |
|/ / / | |||
* | | | Merge branch 'master' into minc_ecosystem | Jörg Thalheim | 2018-04-21 |
|\ \ \ | |||
| * \ \ | Merge pull request #39197 from r-ryantm/auto-update/picard-tools | Jörg Thalheim | 2018-04-21 |
| |\ \ \ | |||
| | * | | | picard-tools: 2.18.1 -> 2.18.2 | R. RyanTM | 2018-04-20 |
| * | | | | 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 |