summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* 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
* 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
|\ \ | |/ |/|
| * coq: 8.5 -> 8.5pl1Vincent Laporte2016-04-12
* | Merge branch 'staging', containing closure-size #7701Vladimír Čunát2016-04-13
|\ \
| * | Merge branch 'master' into closure-sizeVladimír Čunát2016-04-10
| |\|
| * | Merge 'staging' into closure-sizeVladimír Čunát2016-04-07
| |\ \
| * \ \ Merge branch 'master' into closure-sizeVladimír Čunát2016-04-01
| |\ \ \
| * | | | ncurses: combine $lib and $out outputsThomas Tuegel2016-03-08
| * | | | Merge master into closure-sizeVladimír Čunát2016-03-08
| |\ \ \ \
| * \ \ \ \ Merge branch 'master' into closure-sizeVladimír Čunát2016-02-14
| |\ \ \ \ \
| * \ \ \ \ \ Merge recent 'staging' into closure-sizeVladimír Čunát2016-02-03
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge branch 'staging' into closure-sizeVladimír Čunát2016-01-19
| |\ \ \ \ \ \ \
| * | | | | | | | R: fix build after splitting gfortran.libVladimír Čunát2016-01-12
| * | | | | | | | Merge branch 'master' into closure-sizeVladimír Čunát2015-12-31
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge branch 'master' into closure-sizeLuca Bruno2015-12-11
| |\ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ Merge branch 'master' into closure-sizeLuca Bruno2015-11-29
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into closure-sizeLuca Bruno2015-11-25
| |\ \ \ \ \ \ \ \ \ \ \