summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science
AgeCommit message (Collapse)Author
2010-01-21Updating gtkwaveLluís Batlle i Rossell
svn path=/nixpkgs/trunk/; revision=19591
2010-01-12pkgs/applications/science/math/maxima: updated to version 5.20.1Peter Simons
svn path=/nixpkgs/trunk/; revision=19380
2009-12-21Adding gtkwave, to view waves generated by ghdl.Lluís Batlle i Rossell
svn path=/nixpkgs/trunk/; revision=19065
2009-12-14adding libxcursor dependencyMichael Raskin
svn path=/nixpkgs/trunk/; revision=18930
2009-12-14Adding content. Unfortunately, currently segfaultsMichael Raskin
svn path=/nixpkgs/trunk/; revision=18927
2009-12-11Add expression for Isabelle2009Marco Maggesi
svn path=/nixpkgs/trunk/; revision=18905
2009-11-05Preliminary version of package ssreflectMarco Maggesi
Add expression for ssreflect, an extension to the Coq Proof Assistant. Still has some clitches (see TODO in default.nix) but is usable anyway. svn path=/nixpkgs/trunk/; revision=18145
2009-11-02Updated Coq to version 8.2pl1Marco Maggesi
svn path=/nixpkgs/trunk/; revision=18069
2009-10-29pkgs/applications/science/math/wxmaxima/default.nix: cosmetic changesPeter Simons
Note that wxMaxima does *not* have a proper store path to maxima built into the binary. It relies on $PATH, /etc/wxMaxima.conf, or ~/.wxMaxima to find the binary. svn path=/nixpkgs/trunk/; revision=18020
2009-10-29Added wxMaxima version 0.8.3.Peter Simons
svn path=/nixpkgs/trunk/; revision=18015
2009-10-29Updated Maxima to version 5.19.2.Peter Simons
svn path=/nixpkgs/trunk/; revision=18014
2009-09-11Added XPlanet support to kdeedu-4.3.1, not that is an essential feature but ↵Sander van der Burg
it looks cool :-) svn path=/nixpkgs/trunk/; revision=17054
2009-05-24big breaking change: renaming lib.getAttr to lib.attrByPathMarc Weber
getAttr was ambiguous. It's also a builtin function fix svn path=/nixpkgs/trunk/; revision=15692
2009-05-19FullDepEntry -> fullDepEntry, PackEntry -> packEntryMarc Weber
svn path=/nixpkgs/trunk/; revision=15662
2009-04-09* g77 -> gfortran throughout. Got rid of the separateEelco Dolstra
expressions/builders for Fortran. Tested by building Octave with gfortran 4.3. svn path=/nixpkgs/branches/stdenv-updates/; revision=14978
2009-02-26Updated PAML package to 4.2aPjotr Prins
svn path=/nixpkgs/trunk/; revision=14262
2009-02-17Added note on package status for 64 bitsPjotr Prins
svn path=/nixpkgs/trunk/; revision=14090
2009-02-16Updated NCBI tools to latest versionPjotr Prins
svn path=/nixpkgs/trunk/; revision=14087
2009-02-08Adding alliance 5.0Lluís Batlle i Rossell
svn path=/nixpkgs/trunk/; revision=14008
2009-01-04maxima version bump to 5.17.0Marc Weber
svn path=/nixpkgs/trunk/; revision=13703
2008-10-07Added pkgMaintainer info to these 'biology' section packages.Pjotr Prins
svn path=/nixpkgs/trunk/; revision=12987
2008-10-07Added meta.pkgMaintainer to biology packages - a claim to fame, orPjotr Prins
you know who to blame! svn path=/nixpkgs/trunk/; revision=12986
2008-10-07Squashed commit of the following:Pjotr Prins
commit 74c0e9192e17d9dfce50f811fdb7e82a2785134e Author: Pjotr <pjotr.public05@thebird.nl> Date: Tue Oct 7 16:33:39 2008 +0200 Merge commit ad91fb07a47226ed9e99f2dcb55b69ea0e70aa84 Author: Pjotr <pjotr.public05@thebird.nl> Date: Tue Oct 7 16:23:20 2008 +0200 openmotif: added some comments on license and download commit 68a552975f5c7e0964c7c9625e08de0864757255 Author: Pjotr <pjotr.public05@thebird.nl> Date: Tue Oct 7 16:10:49 2008 +0200 Match parameters so arb starts compiling against openmotif commit 16c52fb4071193f89acf6f7f53cfeff322285555 Author: Pjotr <pjotr.public05@thebird.nl> Date: Tue Oct 7 16:04:06 2008 +0200 Added openmotif package commit 75c4bba418f16859e99e97f48785e27ad87e99f5 Author: Pjotr <pjotr.public05@thebird.nl> Date: Tue Oct 7 15:20:55 2008 +0200 Adding openmotif commit 83a847d194b007e2ef856f2a5ad7c49939b6cf8c Merge: 52918f1... 5ba4f06... Author: Pjotr <pjotr.public05@thebird.nl> Date: Tue Oct 7 14:15:05 2008 +0200 Merge branch 'syncsvn' Conflicts: pkgs/top-level/all-packages.nix commit 52918f1f3af55429cc80c99d695e4a8d8b7869b0 Author: Pjotr Prins <wrk@nema-ws01.wurnet.nl> Date: Mon Oct 6 18:31:06 2008 +0200 arb: Removed xfig as dependency (will add later) arb: Don't recurse chmod settings of shared dir commit c283733782dcbf0dcd88710e83f3eededf8f0866 Merge: e434cdf... a51773a... Author: Pjotr Prins <wrk@nema-ws01.wurnet.nl> Date: Mon Oct 6 17:09:42 2008 +0200 Merge branch 'master' of ssh://bio4.xparrot.eu//export/data/repositories/git/nixpkgs-testing-pjotr commit a51773a3d4295d7ce16e6a7e983ded814180e30a Merge: 290ae0b... 241012c... Author: Pjotr <pjotr.public05@thebird.nl> Date: Mon Oct 6 16:54:14 2008 +0200 Merge branch 'master' of ssh://bio4.xparrot.eu//export/data/repositories/git/nixpkgs-testing-pjotr commit e434cdf9b9acefab4f54e18204ff16af179c442d Merge: ef57566... 241012c... Author: Pjotr Prins <wrk@nema-ws01.wurnet.nl> Date: Mon Oct 6 16:12:27 2008 +0200 Merge branch 'master' of ssh://bio4.xparrot.eu//export/data/repositories/git/nixpkgs-testing-pjotr commit 241012cae194d0f770be2224b5bb18b66e3ae0f0 Author: Pj <wrk@bio03.(none)> Date: Mon Oct 6 16:11:11 2008 +0200 Added older version of lesstif for arb commit 290ae0b802285a8dda41b3c5730e53239d73b47c Merge: dfdf7fe... 53b6ceb... Author: Pjotr <pjotr.public05@thebird.nl> Date: Mon Oct 6 15:20:17 2008 +0200 Merge branch 'master' of ssh://bio4.xparrot.eu//export/data/repositories/git/nixpkgs-testing-pjotr commit dfdf7fe8ac9599ec372bdb83630a236f227ad7d5 Author: Pjotr <pjotr.public05@thebird.nl> Date: Mon Oct 6 15:15:04 2008 +0200 Fixed missing parameters for arb - and added kernelHeaders_2.6.18 commit ef57566834eb786cdcb57a799b7d1cb284eee389 Author: Pjotr Prins <wrk@nema-ws01.wurnet.nl> Date: Mon Oct 6 15:06:26 2008 +0200 Changed arb permissions and priority svn path=/nixpkgs/trunk/; revision=12985
2008-10-06Changed arb permissions and priorityPjotr Prins
svn path=/nixpkgs/trunk/; revision=12969
2008-10-05Small fixes to ARBPjotr Prins
Included older kernel headers svn path=/nixpkgs/trunk/; revision=12961
2008-10-05Added more dependencies for ARBPjotr Prins
svn path=/nixpkgs/trunk/; revision=12959
2008-10-05Added shared dir and updated reference to ARBPjotr Prins
svn path=/nixpkgs/trunk/; revision=12958
2008-10-05The arb package (biology)Pjotr Prins
svn path=/nixpkgs/trunk/; revision=12956
2008-10-05Biology packagePjotr Prins
svn path=/nixpkgs/trunk/; revision=12953
2008-10-05Lower priority of this package because of zlib.so conflictPjotr Prins
svn path=/nixpkgs/trunk/; revision=12945
2008-09-19Introduced pal2nal packagePjotr Prins
svn path=/nixpkgs/trunk/; revision=12896
2008-09-19Bumped PAML versionPjotr Prins
svn path=/nixpkgs/trunk/; revision=12895
2008-09-05Move maxima close to scilab. (applications/science/math)Nicolas Pierron
Requested by Michael Raskin. svn path=/nixpkgs/trunk/; revision=12812
2008-09-05Add scilab-4.1.2Nicolas Pierron
svn path=/nixpkgs/trunk/; revision=12810
2008-08-21added ngspiceMarc Weber
svn path=/nixpkgs/trunk/; revision=12686
2008-07-23Removing clustalw2 package - may come back laterPjotr Prins
svn path=/nixpkgs/trunk/; revision=12400
2008-07-23Updated emboss package to 6.0.1Pjotr Prins
svn path=/nixpkgs/trunk/; revision=12399
2008-06-27Added DrGeoMichael Raskin
svn path=/nixpkgs/trunk/; revision=12204
2008-06-07Long descriptionPjotr Prins
svn path=/nixpkgs/trunk/; revision=12005
2008-06-07Moved NCBI-tools to applicationsPjotr Prins
svn path=/nixpkgs/trunk/; revision=12004
2008-06-06biology/paml addedPjotr Prins
svn path=/nixpkgs/trunk/; revision=11997
2008-06-05Added embossPjotr Prins
svn path=/nixpkgs/trunk/; revision=11993
2008-06-05tabs2spaces of .nix filePjotr Prins
svn path=/nixpkgs/trunk/; revision=11992
2008-06-05MrBayes - a biology package for phylogenyPjotr Prins
svn path=/nixpkgs/trunk/; revision=11986
2008-06-04Added a preliminary expression for Coq (no IDE support yet).Andres Löh
svn path=/nixpkgs/trunk/; revision=11983
2008-04-15biology/clustalw2 packagePjotr Prins
svn path=/nixpkgs/trunk/; revision=11631
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-27 14:58:22 +0000