about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Merge pull request #27197 from kquick/masterMichael Raskin2017-07-08
|\
| * Fix license reference for added libpoly library.Kevin Quick2017-07-07
| * Update yices to add libpoly/mcsat functionality and add soname target.Kevin Quick2017-07-06
| * Add poly library for manipulating polynomials.Kevin Quick2017-07-06
* | acgtk: 1.1 -> 1.3.1Vincent Laporte2017-07-08
* | hol_light: 2016-07-23 -> 2017-07-06Vincent Laporte2017-07-08
|/
* R: update to version 3.4.1Peter Simons2017-06-30
* neuron: enable GUIShea Levy2017-06-28
* geogebra: make `language` configurableMaximilian Bosch2017-06-27
* glsurf: 3.3 -> 3.3.1Vincent Laporte2017-06-26
* Merge pull request #26836 from Ma27/update/geogebraJoachim F2017-06-25
|\
| * geogebra: 5-0-361-0 -> 5-0-369-0Maximilian Bosch2017-06-25
* | Merge pull request #26795 from veprbl/root_6.10.00Jörg Thalheim2017-06-25
|\ \
| * | root: 6.09.02 -> 6.10.00Dmitry Kalinkin2017-06-24
* | | python.pkgs.spyder: remove maintainersFrederik Rietdijk2017-06-23
* | | boinc: 7.4.42 -> 7.8.0Franz Pletz2017-06-20
* | | lean: 3.1.0 -> 3.2.0Gabriel Ebner2017-06-18
* | | qt5: remove makeQtWrapperThomas Tuegel2017-06-18
* | | qt5: rename qmakeHook to qmakeThomas Tuegel2017-06-18
* | | qt5: use distinct `lib/qt-5.x` prefix for each minor versionThomas Tuegel2017-06-18
* | | snpeff: 4.3i -> 4.3pJustin Bedo2017-06-13
* | | pymol: set PYTHONPATH in a future wayJörg Thalheim2017-06-02
* | | pymol: added Pmw + python version bumpKatona László2017-06-02
| |/ |/|
* | geogebra: 5-0-355-0 -> 5-0-361-0Maximilian Bosch2017-05-30
|/
* msieve: update and enable on DarwinDan Peebles2017-05-26
* ecm: enable on DarwinDan Peebles2017-05-26
* Merge branch 'master' into stagingVladimír Čunát2017-05-24
|\
| * minisat: fix maintainerSamuel Leathers2017-05-22
| * stp: 2014.01.07 -> 2.2.0Jörg Thalheim2017-05-22
| * cryptominisat: init at 5.0.1Jörg Thalheim2017-05-22
| * minisatUnstable: init at 2013-09-25Jörg Thalheim2017-05-22
* | Merge remote-tracking branch 'upstream/master' into HEADFrederik Rietdijk2017-05-22
|\|
| * coq: nix-buffer: Inherit variables to PG shellShea Levy2017-05-22
| * Merge pull request #25231 from veprbl/root_6.09.02Jörg Thalheim2017-05-20
| |\
| | * sherpa: fix for llvm 4Dmitry Kalinkin2017-05-02
| | * root: 6.08.02 -> 6.09.02Dmitry Kalinkin2017-04-26
| * | treewide: s,enableParallelBuild(s),enableParallelBuilding,gJoachim Fasting2017-05-20
| * | cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808)marcnnn2017-05-20
| * | coq: Add emacs buffer setupShea Levy2017-05-20
* | | treewide: fixup packages with RPATH problemsVladimír Čunát2017-05-16
|/ /
* | openmvs: init at current master (#25672)Matthew Daiter2017-05-12
* | Merge pull request #25594 from mimadrid/update/htslib-1.4Jörg Thalheim2017-05-11
|\ \
| * | bcftools: 1.3.1 -> 1.4mimadrid2017-05-11
| * | samtools: 1.3.1 -> 1.4mimadrid2017-05-07
* | | Merge pull request #25588 from mimadrid/update/weka-3.8.1Peter Hoeg2017-05-09
|\ \ \
| * | | weka: 3.8.0 -> 3.8.1mimadrid2017-05-07
| |/ /
* | | openmvg: clarify Git versionmdaiter2017-05-09
* | | Merge pull request #25590 from mimadrid/update/cytoscape-3.5.1Frederik Rietdijk2017-05-09
|\ \ \
| * | | cytoscape: 3.4.0 -> 3.5.1mimadrid2017-05-07
| |/ /
* | | Merge pull request #25480 from mdaiter/openmvgMichael Raskin2017-05-05
|\ \ \