about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
...
| * | maxima: update from 5.33.0 to 5.34.1Vincent Laporte2014-10-10
| |/
| * coq_HEAD: UpdateJohn Wiegley2014-10-09
* | Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra2014-10-07
|\|
| * haskell-sloane: update to version 1.9.3Peter Simons2014-10-06
| * Merge pull request #4342 from vbgl/camlp5-6.12Mateusz Kowalczyk2014-10-03
| |\
| | * hol_light: update to r199Vincent Laporte2014-10-01
| * | isabelle: Version 2014 building on Linux and DarwinJohn Wiegley2014-09-30
| |/
| * isabelle: Another Linux hash change?John Wiegley2014-09-30
| * isabelle: Remove Linux patches (is this correct?)John Wiegley2014-09-30
| * isabelle: Correct the 2014 sha value for LinuxJohn Wiegley2014-09-30
| * isabelle: 2013 -> 2014, plus add darwin supportJohn Wiegley2014-09-30
| * Merge pull request #4305 from vbgl/coq-containersMateusz Kowalczyk2014-09-30
| |\
| | * Removes duplicate ssreflectVincent Laporte2014-09-28
| | * coq: setup-hook for librariesVincent Laporte2014-09-28
| * | gtkwave: update from 3.3.61 to 3.3.62Mateusz Kowalczyk2014-09-30
| |/
| * Update gollyMichael Raskin2014-09-24
| * Update PARIMichael Raskin2014-09-24
| * coq_HEAD: update to latest Git HEADJohn Wiegley2014-09-23
| * boost: Update depdendent packagesWilliam A. Kennington III2014-09-21
| * Merge pull request #4165 from ftrvxmtrx/pcalcPeter Simons2014-09-19
| |\
| | * added pcalc packageSiarhei Zirukin2014-09-19
| * | coq_HEAD: Revert "update to latest Git version"Peter Simons2014-09-19
| |/
* | Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra2014-09-18
|\|
| * add mathematica 10 (slightly borked but runs)Aristid Breitkreuz2014-09-17
| * Update hol_light to r198. Add myself as a maintainerMarco Maggesi2014-09-16
| * ott: 0.25 new expressionJohn Wiegley2014-09-15
| * R: Revert update to version 3.1.1Peter Simons2014-09-13
| * transformed meta.maintainers of some packages into listsPascal Wittmann2014-09-13
| * R: update to version 3.1.1Peter Simons2014-09-12
| * coq_HEAD: update to latest Git versionJohn Wiegley2014-09-09
* | Merge recent master into stagingVladimír Čunát2014-09-13
* | Merge branch 'staging' into modular-stdenvVladimír Čunát2014-09-08
|\|
| * gtkwave: update from 3.3.53 to 3.3.61Moritz Ulrich2014-09-04
| * Update pariMichael Raskin2014-09-02
| * boinc: update from 7.2.42 to 7.4.14 (fixes CVE-2013-2298)Pascal Wittmann2014-09-01
| * Update TPTPMichael Raskin2014-08-31
| * coq_HEAD: update to latest Git HEADJohn Wiegley2014-08-26
| * Fix many package descriptionsBjørn Forsman2014-08-24
| * Fix various evaluation problemsEelco Dolstra2014-08-22
| * ssreflect: 1.4 -> 1.5John Wiegley2014-08-19
| * coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590John Wiegley2014-08-16
* | merge 'staging' into modular-stdenvVladimír Čunát2014-09-08
|\|
| * Add application for scientific data analysis: fitykThomas Strobel2014-08-14
| * Allow optional functionality in SimGridMichael Raskin2014-08-12
| * Update SimGridMichael Raskin2014-08-12
| * Update and fix LEO2 proverMichael Raskin2014-08-12
* | Cleanup: Use += to append to envHooksEelco Dolstra2014-08-09
|/
* Add an expression for building Coq HEADJohn Wiegley2014-08-08
* Merge 'staging' into masterVladimír Čunát2014-08-08
|\
| * Merge remote-tracking branch 'origin/master' into staging.Peter Simons2014-08-08
| |\
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-17 07:03:23 +0000