about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* init bwa at 0.7.15Luis Pedro Coelho2016-06-08
* openmodelica: Use makeLibraryPathTuomas Tynkkynen2016-06-07
* Merge pull request #15939 from ChrisJefferson/fix-gapJoachim Fasting2016-06-04
|\
| * gap : 4.4.12 -> 4.8.3Chris Jefferson2016-06-03
* | Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen2016-06-03
|/
* qgroundcontrol: fix buildNikolay Amiantov2016-05-29
* Merge pull request #15606 from dvc94ch/fpga-toolchain-updatesMoritz Ulrich2016-05-28
|\
| * verilog: 0.97 -> 2016.05.21David Craven2016-05-22
| * verilator: 3.874 -> 3.884David Craven2016-05-22
* | Merge branch 'staging'Vladimír Čunát2016-05-27
|\ \
| * \ Merge branch 'master' into stagingVladimír Čunát2016-05-26
| |\ \
| * | | treewide: Make explicit that 'dev' output of readline is usedTuomas Tynkkynen2016-05-19
| * | | treewide: Make explicit that 'dev' output of gmp is usedTuomas Tynkkynen2016-05-19
| * | | treewide: Make explicit that 'dev' output of atk is usedTuomas Tynkkynen2016-05-19
| | |/ | |/|
* | | Revert "root: enable parallel building"Vladimír Čunát2016-05-26
| |/ |/|
* | samtools: 1.3 -> 1.3.1Tobias Geerinckx-Rice2016-05-25
* | yarp: 2.3.64 -> 2.3.65 (#15662)Nicolò Balzarotti2016-05-24
|/
* Bring my stdenv.lib.maintainers user name in line with my github nick.Peter Simons2016-05-16
* Merge branch 'master' into stagingVladimír Čunát2016-05-12
|\
| * sigrok: update whole suite to latest (2016-01)Bjørn Forsman2016-05-11
| * Fix some URLs that lacked a URI schemeEelco Dolstra2016-05-09
* | Merge branch 'master' into stagingVladimír Čunát2016-05-08
|\|
| * minisat: migrate from builderDefsPackage to mkDerivationGabriel Ebner2016-05-08
| * veriT: disable broken static linkingGabriel Ebner2016-05-08
* | Merge #14920: windows improvements, mainly mingwVladimír Čunát2016-05-05
|\|
| * Merge pull request #15214 from taku0/lp_solve_isnanJoachim Fasting2016-05-04
| |\
| | * lp_solve: change source URL to mirrortaku02016-05-04
| | * lp_solve: updated descriptiontaku02016-05-04
| | * lp_solve: fixed build error due to defining isnantaku02016-05-04
* | | Merge remote-tracking branch 'upstream/master' into stagingTuomas Tynkkynen2016-05-03
|\| |
| * | hol-light: fix build with camlp5-6.16Vincent Laporte2016-05-01
| |/
| * replace ${stdenv.cc.cc}/lib occurencesNikolay Amiantov2016-05-01
* | Merge remote-tracking branch 'upstream/master' into stagingTuomas Tynkkynen2016-04-28
|\|
| * otter: Mark brokenTuomas Tynkkynen2016-04-27
| * jonprl: corrected sha changeEdward Tjörnhammar2016-04-26
| * Python: use PyPI mirror (#15001)Frederik Rietdijk2016-04-26
| * root: fix chrooted build, workaround 491f7f017c4dd (cmake: set LIBDIR and INC...Dmitry Kalinkin2016-04-25
* | makeSearchPathOutputs: refactor to makeSearchPathOutputNikolay Amiantov2016-04-25
|/
* Merge branch 'staging'Vladimír Čunát2016-04-22
|\
| * qgroundcontrol: move to qmakeHookNikolay Amiantov2016-04-20
| * fritzing: move to qmakeHookNikolay Amiantov2016-04-20
* | csdp: fix build on DarwinVincent Laporte2016-04-22
|/
* root: fix NixOS build, build with lzma from nix, update homepage urlDmitry Kalinkin2016-04-20
* root: 5.34.15 -> 6.04.16Dmitry Kalinkin2016-04-17
* qgroundcontrol: Fix running of {pre,post}Configureaszlig2016-04-15
* qgroundcontrol: Drop unused preConfigure phaseaszlig2016-04-15
* fritzing: Fix running of {pre,post}Configureaszlig2016-04-15
* Merge pull request #14658 from abbradar/search-path-fixesNikolay Amiantov2016-04-14
|\
| * replace makeSearchPath tree-wise to take care of possible multiple outputsNikolay Amiantov2016-04-13
* | Merge pull request #14649 from vbgl/coq_8.5.1Arseniy Seroka2016-04-13
|\ \ | |/ |/|