Commit message (Expand) | Author | Age | |
---|---|---|---|
* | sage: explicitly use gfortran6 | Timo Kaufmann | 2018-02-23 |
* | bcal: init at 1.7 | Johannes Frankenau | 2018-02-21 |
* | Merge staging and PR #35021 | Vladimír Čunát | 2018-02-16 |
|\ | |||
| * | Merge remote-tracking branch 'upstream/master' into HEAD | Frederik Rietdijk | 2018-02-14 |
| |\ | |||
| * | | avy: fixes to work with clang and musl | Will Dietz | 2018-02-13 |
| * | | cvc4: build in parallel | Will Dietz | 2018-02-13 |
| * | | cvc4: patch up fpu_control usage | Will Dietz | 2018-02-13 |
| * | | picosat: fix ar and ranlib usage for cross | Will Dietz | 2018-02-13 |
| * | | picosat: fixup include for unistd.h | Will Dietz | 2018-02-13 |
| * | | boolector: patch usage of ar and ranlib for cross | Will Dietz | 2018-02-13 |
| * | | boolector: fix missing stdint.h include | Will Dietz | 2018-02-13 |
* | | | coq: 8.7.1 -> 8.7.2 | John Wiegley | 2018-02-15 |
* | | | eprover: fix build in non-GCC environments | Vincent Laporte | 2018-02-14 |
| |/ |/| | |||
* | | z3: also needs setuptools | Jörg Thalheim | 2018-02-14 |
* | | sage: Don't build docs by default | Timo Kaufmann | 2018-02-13 |
|/ | |||
* | Merge pull request #34094 from markuskowa/octopus-pr | Jörg Thalheim | 2018-02-10 |
|\ | |||
| * | octopus: init at 7.2 | Markus Kowalewski | 2018-01-27 |
* | | Merge pull request #34530 from unode/samtools-old | Jörg Thalheim | 2018-02-10 |
|\ \ | |||
| * | | samtools_0_1_19: init at 0.1.19 | Renato Alves | 2018-02-02 |
* | | | Merge pull request #34531 from unode/raxml | Jörg Thalheim | 2018-02-10 |
|\ \ \ | |||
| * | | | RAxML: init at 8.2.11 (SSE3 & MPI) | Renato Alves | 2018-02-02 |
| |/ / | |||
* | | | Merge commit '30d031b5d8d05422586043c3f105f4d9110e4f59' into HEAD | Frederik Rietdijk | 2018-02-08 |
|\ \ \ | |||
| * \ \ | Merge remote-tracking branch 'upstream/master' into HEAD | Tuomas Tynkkynen | 2018-02-07 |
| |\ \ \ | |||
| * \ \ \ | Merge remote-tracking branch 'upstream/master' into staging | Tuomas Tynkkynen | 2018-02-06 |
| |\ \ \ \ | |||
| * \ \ \ \ | Merge pull request #34553 from NixOS/python-unstable | Frederik Rietdijk | 2018-02-04 |
| |\ \ \ \ \ | |||
| | * | | | | | python.pkgs.spyder: fix expression | Frederik Rietdijk | 2018-02-04 |
| | * | | | | | spyder: 3.2.4 -> 3.2.6 | Frederik Rietdijk | 2018-02-03 |
* | | | | | | | Merge pull request #34651 from mnacamura/r-darwin-libcxx | Peter Simons | 2018-02-07 |
|\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | | | |||
| * | | | | | | R: add libcxx to default LDFLAGS and CPPFLAGS on Darwin | Mitsuhiro Nakamura | 2018-02-06 |
| | |_|_|/ / | |/| | | | | |||
* | | | | | | samtools: 1.6 -> 1.7 | Renato Alves | 2018-02-06 |
| |_|_|/ / |/| | | | | |||
* | | | | | sage: fix non-deterministic build failures | Timo Kaufmann | 2018-02-05 |
* | | | | | symbiyosys: 2018.01.10 -> 2018.02.04 | Austin Seipp | 2018-02-04 |
| |/ / / |/| | | | |||
* | | | | bitscope: create derivations with version info | Bjørn Forsman | 2018-02-03 |
| |/ / |/| | | |||
* | | | Merge branch 'master' into staging | Vladimír Čunát | 2018-01-30 |
|\| | | |||
| * | | muscle: init at 3.8.31 | Renato Alves | 2018-01-28 |
* | | | Merge remote-tracking branch 'upstream/master' into staging | Tuomas Tynkkynen | 2018-01-27 |
|\| | | |||
| * | | Merge pull request #34156 from arcadio/star | Alexey Shmalko | 2018-01-27 |
| |\ \ | |||
| | * | | star: init at 2.5.3a | Arcadio Rubio García | 2018-01-24 |
* | | | | Merge branch 'master' into staging | Vladimír Čunát | 2018-01-27 |
|\| | | | |||
| * | | | sage: 8.0 -> 8.1, fix sandbox build | Timo Kaufmann | 2018-01-26 |
| * | | | Merge pull request #34119 from arcadio/master | adisbladis | 2018-01-25 |
| |\ \ \ | |||
| | * | | | igv: 2.3.98 -> 2.4.6 | Arcadio Rubio García | 2018-01-21 |
| | |/ / | |||
| * | | | Merge pull request #34199 from arcadio/kallisto | Samuel Leathers | 2018-01-24 |
| |\ \ \ | |||
| | * | | | kallisto: init at 0.43.1 | Arcadio Rubio García | 2018-01-24 |
| | |/ / | |||
* | | | | Merge remote-tracking branch 'upstream/master' into HEAD | Frederik Rietdijk | 2018-01-24 |
|\| | | | |||
| * | | | R: fix dylib install_name on darwin | Daiderd Jordan | 2018-01-24 |
| * | | | Merge pull request #34169 from Infinisil/add/almonds | Frederik Rietdijk | 2018-01-23 |
| |\ \ \ | |||
| | * | | | almonds: init at 2015-12-27 | Silvan Mosberger | 2018-01-23 |
| * | | | | Merge pull request #34125 from arcadio/bwa | adisbladis | 2018-01-23 |
| |\ \ \ \ | |||
| | * | | | | bwa: 0.7.16a -> 0.7.17 | Arcadio Rubio García | 2018-01-22 |
| | | |/ / | | |/| | |