about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* treewide: mark a bunch of failing builds as brokenRobin Gloster2017-10-01
* gplates: mark as brokenFranz Pletz2017-09-30
* openmodelica: mark as broken, unmaintainedFranz Pletz2017-09-30
* R: update to version 3.4.2Peter Simons2017-09-29
* kicad: don't try to build on hydraFranz Pletz2017-09-29
* clp: init at 1.16.11Vincent Laporte2017-09-28
* freebayes: clean up buildRobin Gloster2017-09-28
* freebayes: 1.1.0 -> 2017-08-23Samuel Leathers2017-09-28
* caffe: Make 'bin' the first outputTuomas Tynkkynen2017-09-27
* mxnet: disable GPU autodetectionNikolay Amiantov2017-09-25
* singular: use gcc5Michael Raskin2017-09-23
* calc: 2.12.6.1 -> 2.12.6.3mimadrid2017-09-23
* darwin: Disable yet another bunch of packages never having built successfullyTuomas Tynkkynen2017-09-22
* darwin: Disable another bunch of packages never having built successfullyTuomas Tynkkynen2017-09-22
* abella: fix build with OCaml ≥ 4.03Vincent Laporte2017-09-22
* Merge pull request #29538 from bcdarwin/update-and-fix-ANTSJoachim F2017-09-21
|\
| * ants: bump version and fix sandboxed buildBen Darwin2017-09-20
* | mxnet: init at 0.11.0Nikolay Amiantov2017-09-16
* | Revert "mcrl2: force use of gcc5 to prevent compilation errors"Franz Pletz2017-09-15
* | lean: 3.2.0 -> 3.3.0Gabriel Ebner2017-09-15
* | proverif: 1.95 -> 1.97pl1Vincent Laporte2017-09-13
* | qfsm: fix build with gcc 6 (#29245)timor2017-09-11
* | eagle: 7.5 -> 7.7Bjørn Forsman2017-09-11
* | mcrl2: force use of gcc5 to prevent compilation errorsMaarten Hoogendoorn2017-09-10
* | kicad: 4.0.6 -> 4.0.7Bjørn Forsman2017-09-09
* | kicad: put the full version string in nameBjørn Forsman2017-09-09
|/
* mcrl2: 201409 -> 201707Markus Mueller2017-09-08
* caffe: add Python supportNikolay Amiantov2017-09-07
* caffe: 2015-07-02 -> 1.0-rc5Nikolay Amiantov2017-09-07
* coq_8_7: init at 8.7+beta1Théo Zimmermann2017-09-06
* coq: fetch source from GitHubThéo Zimmermann2017-09-06
* Merge pull request #28948 from disassembler/qucsMichael Raskin2017-09-06
|\
| * qucs: 0.0.18 -> 0.0.19Samuel Leathers2017-09-03
| * adms: init at 2.3.6Samuel Leathers2017-09-03
* | bwa: 0.7.15 -> 0.7.16aRobin Gloster2017-09-05
* | eprover: 1.9.1 -> 2.0Gabriel Ebner2017-09-05
* | neuron: 7.4 -> 7.5Samuel Leathers2017-09-02
|/
* z3_opt: remove and replace with z3Austin Seipp2017-09-02
* yices: now under GPLv3Austin Seipp2017-09-02
* iverilog: 2016.05.21 -> 2017.08.12Austin Seipp2017-09-02
* caneda: fix build with gcc6Samuel Leathers2017-08-31
* Merge pull request #28801 from veprbl/sherpa_2_2_4Jörg Thalheim2017-08-31
|\
| * sherpa: 2.2.1 -> 2.2.4Dmitry Kalinkin2017-08-31
* | Merge pull request #28756 from disassembler/pulseview-sigrokJörg Thalheim2017-08-31
|\ \
| * | pulseview: 0.3.0 -> 0.4.0Samuel Leathers2017-08-30
* | | root: add noSplash optionDmitry Kalinkin2017-08-30
| |/ |/|
* | gfan: 0.5 -> 0.6; #28643Michael Raskin2017-08-30
* | xplanet: gcc6 patchSamuel Leathers2017-08-30
|/
* pspp: 0.8.3 -> 1.0.1Lancelot SIX2017-08-30
* cvc3: Add gcc6 patch from Gentoo.Will Dietz2017-08-29