about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* tptp: 6.4.0 -> 7.0.0Gabriel Ebner2017-10-02
* Merge pull request #29963 from mimadrid/update/samtools-1.6.0Orivej Desh2017-10-02
|\
| * bcftools: fix upOrivej Desh2017-10-01
| * samtools: fix upOrivej Desh2017-10-01
| * bcftools: 1.5.0 -> 1.6.0mimadrid2017-09-30
| * samtools: 1.5.0 -> 1.6.0mimadrid2017-09-30
* | Merge pull request #29859 from pvgoran/fix-gmshOrivej Desh2017-10-01
|\ \
| * | gmsh: 2.12.0 -> 3.0.5Pavel Goran2017-10-01
* | | Merge pull request #29947 from symphorien/giacOrivej Desh2017-09-30
|\ \ \
| * | | giac: refactorOrivej Desh2017-09-30
| * | | xcas, giac: add myself as maintainerSymphorien Gibol2017-09-30
| * | | giac, xcas: init at 1.4.9Symphorien Gibol2017-09-30
* | | | 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