summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science
AgeCommit message (Expand)Author
2016-05-16Bring my stdenv.lib.maintainers user name in line with my github nick.Peter Simons
2016-05-12Merge branch 'master' into stagingVladimír Čunát
2016-05-11sigrok: update whole suite to latest (2016-01)Bjørn Forsman
2016-05-09Fix some URLs that lacked a URI schemeEelco Dolstra
2016-05-08Merge branch 'master' into stagingVladimír Čunát
2016-05-08minisat: migrate from builderDefsPackage to mkDerivationGabriel Ebner
2016-05-08veriT: disable broken static linkingGabriel Ebner
2016-05-05Merge #14920: windows improvements, mainly mingwVladimír Čunát
2016-05-04Merge pull request #15214 from taku0/lp_solve_isnanJoachim Fasting
2016-05-04lp_solve: change source URL to mirrortaku0
2016-05-04lp_solve: updated descriptiontaku0
2016-05-04lp_solve: fixed build error due to defining isnantaku0
2016-05-03Merge remote-tracking branch 'upstream/master' into stagingTuomas Tynkkynen
2016-05-01hol-light: fix build with camlp5-6.16Vincent Laporte
2016-05-01replace ${stdenv.cc.cc}/lib occurencesNikolay Amiantov
2016-04-28Merge remote-tracking branch 'upstream/master' into stagingTuomas Tynkkynen
2016-04-27otter: Mark brokenTuomas Tynkkynen
2016-04-26jonprl: corrected sha changeEdward Tjörnhammar
2016-04-26Python: use PyPI mirror (#15001)Frederik Rietdijk
2016-04-25root: fix chrooted build, workaround 491f7f017c4dd (cmake: set LIBDIR and INC...Dmitry Kalinkin
2016-04-25makeSearchPathOutputs: refactor to makeSearchPathOutputNikolay Amiantov
2016-04-22Merge branch 'staging'Vladimír Čunát
2016-04-22csdp: fix build on DarwinVincent Laporte
2016-04-20qgroundcontrol: move to qmakeHookNikolay Amiantov
2016-04-20fritzing: move to qmakeHookNikolay Amiantov
2016-04-20root: fix NixOS build, build with lzma from nix, update homepage urlDmitry Kalinkin
2016-04-17root: 5.34.15 -> 6.04.16Dmitry Kalinkin
2016-04-15qgroundcontrol: Fix running of {pre,post}Configureaszlig
2016-04-15qgroundcontrol: Drop unused preConfigure phaseaszlig
2016-04-15fritzing: Fix running of {pre,post}Configureaszlig
2016-04-14Merge pull request #14658 from abbradar/search-path-fixesNikolay Amiantov
2016-04-13Merge pull request #14649 from vbgl/coq_8.5.1Arseniy Seroka
2016-04-13replace makeSearchPath tree-wise to take care of possible multiple outputsNikolay Amiantov
2016-04-13Merge branch 'staging', containing closure-size #7701Vladimír Čunát
2016-04-12Merge pull request #14618 from moretea/update_mcrl2joachifm
2016-04-12mcrl2: 2009.01 -> 2014.09Maarten Hoogendoorn
2016-04-12Merge pull request #14636 from kragniz/samtoolsTuomas Tynkkynen
2016-04-12samtools: init at 1.3Louis Taylor
2016-04-12coq: 8.5 -> 8.5pl1Vincent Laporte
2016-04-10Merge branch 'master' into closure-sizeVladimír Čunát
2016-04-07Merge 'staging' into closure-sizeVladimír Čunát
2016-04-05Merge pull request #14468 from vbgl/why3-0.87Damien Cassou
2016-04-05why3: 0.86.3 -> 0.87.0Vincent Laporte
2016-04-02picosat: enable proof output and install various utilsGabriel Ebner
2016-04-02picosat: 960 -> 965Gabriel Ebner
2016-04-01lammps: init at 2016-02-16Chris Ostrouchov
2016-04-01Merge branch 'master' into closure-sizeVladimír Čunát
2016-03-31Merge pull request #14334 from ne0phyte/kicad-4.0.2joachifm
2016-03-31satallax: 1.4 -> 2.7Michael Raskin
2016-03-31kicad: 2013 stable -> 4.0.2ne0phyte
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-26 10:26:07 +0000