summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Merge pull request #27816 from mimadrid/update/calc-2.12.6.1Frederik Rietdijk2017-08-01
|\
| * calc: 2.12.5.3 -> 2.12.6.1mimadrid2017-07-31
* | libqalculate, qalculate-gtk: 0.9.9 -> 1.0.0Gabriel Ebner2017-07-31
* | verilator: build with current flexFranz Pletz2017-07-29
|/
* geogebra: 5-0-369-0 -> 5-0-377-0Maximilian Bosch2017-07-26
* cryptominisat: use new xxd package instead of vimPeter Hoeg2017-07-24
* Revert "coq2html: New expression"Franz Pletz2017-07-20
* coq2html: New expressionJohn Wiegley2017-07-20
* Merge pull request #26352 from Mounium/alizaJörg Thalheim2017-07-19
|\
| * aliza: 1.28.10->1.29.2Katona László2017-07-02
| * aliza: init at 1.28.10Katona László2017-06-15
* | Merge pull request #27366 from veprbl/version_bumpsJörg Thalheim2017-07-18
|\ \
| * | root: 6.10.00 -> 6.10.02Dmitry Kalinkin2017-07-14
* | | boolector: 1.{5,6} -> 2.4.1Symphorien Gibol2017-07-18
* | | iprover: 0.8.1 -> 2.5Gabriel Ebner2017-07-17
* | | abc-verifier: fix typo in metaVladimír Čunát2017-07-15
|/ /
* | ginac: 1.6.2 -> 1.7.2Vincent Laporte2017-07-13
* | 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-19 22:50:00 +0000