about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Merge pull request #17657 from matthewbauer/darwin-miscRobin Gloster2016-08-11
|\
| * bcftools: fix darwin buildingMatthew Bauer2016-08-10
| * aspino: patch to use c++ instead of g++Matthew Bauer2016-08-10
| * lie: only build on linuxMatthew Bauer2016-08-10
| * lie: LiE -> lieMatthew Bauer2016-08-10
* | golly: 2.7 -> 2.8Michael Raskin2016-08-11
* | pari: 2.7.5 -> 2.7.6Michael Raskin2016-08-11
|/
* geogebra: don't build on hydra since derivation just unpacks jarsobadz2016-08-10
* geogebra: init at 5.0.265.0Mohammed Yaseen Mowzer2016-08-10
* msieve: Broken on i686Tuomas Tynkkynen2016-08-06
* bwa: Broken on i686Tuomas Tynkkynen2016-08-06
* ripser: init at 1.0 (#17481)Erik Rybakken2016-08-04
* treewide: Add lots of meta.platformsTuomas Tynkkynen2016-08-02
* treewide: Wrap some really long package descriptionsTuomas Tynkkynen2016-08-02
* treewide: Some EOF-whitespace fixesTuomas Tynkkynen2016-08-02
* treewide: Lots of meta.hydraPlatforms -> meta.platformsTuomas Tynkkynen2016-08-02
* leo2: remove use of `builderDefsPackage` (#17398)Robert Helgesson2016-07-31
* alliance: 5.0 -> 5.1.1 (#17353)Ram Kromberg2016-07-30
* root: 6.04.16 -> 6.04.18 (#17265)Dmitry Kalinkin2016-07-30
* Merge pull request #9499 from khumba/scilab-bin-5Robin Gloster2016-07-28
|\
| * scilab-bin: init at 5.5.2Bryan Gardiner2016-07-27
* | Update HOL Light to version 2016-07-23.Marco Maggesi2016-07-28
* | lean: 20160117 -> 2016-07-05Gabriel Ebner2016-07-27
* | cvc4: 1.4 -> 1.5pre-smtcomp2016Gabriel Ebner2016-07-24
* | stellarium: 0.14.2 -> 0.14.3Robert Helgesson2016-07-22
* | stellarium: wrap binary using `wrapQtProgram`Robert Helgesson2016-07-22
|/
* metis-prover: 2.3.20160102 -> 2.3.20160713Gabriel Ebner2016-07-21
* Merge remote-tracking branch 'vbgl/why3-0.87.1'Gabriel Ebner2016-07-18
|\
| * why3: 0.87.0 -> 0.87.1Vincent Laporte2016-06-09
* | jags: 3.4.0 -> 4.1.0 (#16804)Ben Darwin2016-07-18
* | coq: 8.5pl1 -> 8.5pl2 (#16863)vbgl2016-07-18
* | Merge pull request #17043 from womfoo/fix/qmake4Hook-buildsNikolay Amiantov2016-07-18
|\ \
| * | fritzing: fix qmake4Hook buildKranium Gikos Mendoza2016-07-17
* | | Merge pull request #16951 from heilkn/lieJoachim F2016-07-16
|\ \ \
| * | | LiE: include forgotten file INFO.a by installationKonstantin Heil2016-07-14
| |/ /
* / / tptp: 6.3.0 -> 6.4.0Michael Raskin2016-07-16
|/ /
* | LiE: init at 2.2.2Konstantin Heil2016-06-30
* | Merge branch 'staging'Vladimír Čunát2016-06-29
|\ \
| * \ Merge 'master' into staging and re-revert mergeVladimír Čunát2016-06-23
| |\ \
* | | | cryptoverif: init at 1.22Austin Seipp2016-06-28
* | | | statverif: init at 1.86pl4Austin Seipp2016-06-28
* | | | proverif: init at 1.94Austin Seipp2016-06-28
* | | | gephi: init at 0.9.1 (#16071)Ta'iř sj Ořit2016-06-26
* | | | igv: init at 2.3.77mimadrid2016-06-26
* | | | Merge pull request #16379 from mimadrid/init/bcftools-1.3.1Joachim Fasting2016-06-24
|\ \ \ \ | |_|/ / |/| | |
| * | | bcftools: init at 1.3.1mimadrid2016-06-24
| * | | samtools: refactoringmimadrid2016-06-24
* | | | Revert "Merge branch 'staging'" due to glibcVladimír Čunát2016-06-23
* | | | Merge branch 'staging'Vladimír Čunát2016-06-22
|\ \ \ \ | | |/ / | |/| |
| * | | Merge branch 'master' into stagingVladimír Čunát2016-06-19
| |\ \ \