Commit graph

547 commits

Author SHA1 Message Date
Eelco Dolstra
fae05e6328 * Build on GCC 4.4.
svn path=/nixpkgs/branches/stdenv-updates/; revision=19677
2010-01-26 15:27:18 +00:00
Lluís Batlle i Rossell
13733f6f94 Updating gtkwave
svn path=/nixpkgs/trunk/; revision=19591
2010-01-21 09:49:06 +00:00
Peter Simons
a5b5690be7 pkgs/applications/science/math/maxima: updated to version 5.20.1
svn path=/nixpkgs/trunk/; revision=19380
2010-01-12 21:39:23 +00:00
Lluís Batlle i Rossell
4fc8cd8d35 Adding gtkwave, to view waves generated by ghdl.
svn path=/nixpkgs/trunk/; revision=19065
2009-12-21 10:35:50 +00:00
Michael Raskin
1497cacb6e adding libxcursor dependency
svn path=/nixpkgs/trunk/; revision=18930
2009-12-14 00:14:55 +00:00
Michael Raskin
a996d01af9 Adding content. Unfortunately, currently segfaults
svn path=/nixpkgs/trunk/; revision=18927
2009-12-14 00:00:11 +00:00
Marco Maggesi
98aaa4421c Add expression for Isabelle2009
svn path=/nixpkgs/trunk/; revision=18905
2009-12-11 17:00:52 +00:00
Marco Maggesi
c713b0ed67 Preliminary version of package ssreflect
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-05 15:08:12 +00:00
Marco Maggesi
a0207b3dc7 Updated Coq to version 8.2pl1
svn path=/nixpkgs/trunk/; revision=18069
2009-11-02 11:44:27 +00:00
Peter Simons
7fa0d73966 pkgs/applications/science/math/wxmaxima/default.nix: cosmetic changes
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-29 12:53:22 +00:00
Peter Simons
96a32cffe2 Added wxMaxima version 0.8.3.
svn path=/nixpkgs/trunk/; revision=18015
2009-10-29 11:57:58 +00:00
Peter Simons
5dd3252557 Updated Maxima to version 5.19.2.
svn path=/nixpkgs/trunk/; revision=18014
2009-10-29 11:57:45 +00:00
Sander van der Burg
cdfc752210 Added XPlanet support to kdeedu-4.3.1, not that is an essential feature but it looks cool :-)
svn path=/nixpkgs/trunk/; revision=17054
2009-09-11 14:06:51 +00:00
Marc Weber
f7f938a1d1 big breaking change: renaming lib.getAttr to lib.attrByPath
getAttr was ambiguous. It's also a builtin function

fix

svn path=/nixpkgs/trunk/; revision=15692
2009-05-24 10:57:41 +00:00
Marc Weber
52647ea3b0 FullDepEntry -> fullDepEntry, PackEntry -> packEntry
svn path=/nixpkgs/trunk/; revision=15662
2009-05-19 23:25:58 +00:00
Eelco Dolstra
eeed10ba8e * g77 -> gfortran throughout. Got rid of the separate
expressions/builders for Fortran.  Tested by building Octave with
  gfortran 4.3.

svn path=/nixpkgs/branches/stdenv-updates/; revision=14978
2009-04-09 15:24:33 +00:00
Pjotr Prins
17e2100b03 Updated PAML package to 4.2a
svn path=/nixpkgs/trunk/; revision=14262
2009-02-26 15:22:13 +00:00
Pjotr Prins
7ba68d934f Added note on package status for 64 bits
svn path=/nixpkgs/trunk/; revision=14090
2009-02-17 08:23:21 +00:00
Pjotr Prins
387a7a85d6 Updated NCBI tools to latest version
svn path=/nixpkgs/trunk/; revision=14087
2009-02-16 16:38:55 +00:00
Lluís Batlle i Rossell
264a6c709a Adding alliance 5.0
svn path=/nixpkgs/trunk/; revision=14008
2009-02-08 16:28:31 +00:00
Marc Weber
7cd7c4cffb maxima version bump to 5.17.0
svn path=/nixpkgs/trunk/; revision=13703
2009-01-04 20:18:10 +00:00
Pjotr Prins
3ce5cba9c7 Added pkgMaintainer info to these 'biology' section packages.
svn path=/nixpkgs/trunk/; revision=12987
2008-10-07 15:12:06 +00:00
Pjotr Prins
b3aa5d6bfc Added meta.pkgMaintainer to biology packages - a claim to fame, or
you know who to blame!

svn path=/nixpkgs/trunk/; revision=12986
2008-10-07 15:12:01 +00:00
Pjotr Prins
4ab58fc7f3 Squashed commit of the following:
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-07 14:35:11 +00:00
Pjotr Prins
bd0b84b3c7 Changed arb permissions and priority
svn path=/nixpkgs/trunk/; revision=12969
2008-10-06 13:17:56 +00:00
Pjotr Prins
6d70506401 Small fixes to ARB
Included older kernel headers

svn path=/nixpkgs/trunk/; revision=12961
2008-10-05 10:56:47 +00:00
Pjotr Prins
c38a72a573 Added more dependencies for ARB
svn path=/nixpkgs/trunk/; revision=12959
2008-10-05 10:56:44 +00:00
Pjotr Prins
fcb2efbc92 Added shared dir and updated reference to ARB
svn path=/nixpkgs/trunk/; revision=12958
2008-10-05 10:56:23 +00:00
Pjotr Prins
29d6189e8b The arb package (biology)
svn path=/nixpkgs/trunk/; revision=12956
2008-10-05 09:03:58 +00:00
Pjotr Prins
034f28e268 Biology package
svn path=/nixpkgs/trunk/; revision=12953
2008-10-05 09:00:19 +00:00
Pjotr Prins
df1e47822b Lower priority of this package because of zlib.so conflict
svn path=/nixpkgs/trunk/; revision=12945
2008-10-05 08:42:40 +00:00
Pjotr Prins
c09e1e540c Introduced pal2nal package
svn path=/nixpkgs/trunk/; revision=12896
2008-09-19 13:39:17 +00:00
Pjotr Prins
301f2e3094 Bumped PAML version
svn path=/nixpkgs/trunk/; revision=12895
2008-09-19 13:36:35 +00:00
Nicolas Pierron
6c4a6e83b4 Move maxima close to scilab. (applications/science/math)
Requested by Michael Raskin.

svn path=/nixpkgs/trunk/; revision=12812
2008-09-05 17:21:45 +00:00
Nicolas Pierron
517a120ff8 Add scilab-4.1.2
svn path=/nixpkgs/trunk/; revision=12810
2008-09-05 17:12:04 +00:00
Marc Weber
2d354aa6f1 added ngspice
svn path=/nixpkgs/trunk/; revision=12686
2008-08-21 20:43:53 +00:00
Pjotr Prins
2a845ebb7a Removing clustalw2 package - may come back later
svn path=/nixpkgs/trunk/; revision=12400
2008-07-23 08:37:00 +00:00
Pjotr Prins
0014ffcbae Updated emboss package to 6.0.1
svn path=/nixpkgs/trunk/; revision=12399
2008-07-23 08:22:23 +00:00
Michael Raskin
5ba53d93b5 Added DrGeo
svn path=/nixpkgs/trunk/; revision=12204
2008-06-27 19:15:01 +00:00
Pjotr Prins
0e751ebadc Long description
svn path=/nixpkgs/trunk/; revision=12005
2008-06-07 06:41:18 +00:00
Pjotr Prins
289da88ccc Moved NCBI-tools to applications
svn path=/nixpkgs/trunk/; revision=12004
2008-06-07 06:34:02 +00:00
Pjotr Prins
f9e018c80d biology/paml added
svn path=/nixpkgs/trunk/; revision=11997
2008-06-06 08:23:49 +00:00
Pjotr Prins
62c9176206 Added emboss
svn path=/nixpkgs/trunk/; revision=11993
2008-06-05 17:14:33 +00:00
Pjotr Prins
5866a8b101 tabs2spaces of .nix file
svn path=/nixpkgs/trunk/; revision=11992
2008-06-05 16:58:41 +00:00
Pjotr Prins
13463a6f01 MrBayes - a biology package for phylogeny
svn path=/nixpkgs/trunk/; revision=11986
2008-06-05 13:35:45 +00:00
Andres Löh
12ca68d114 Added a preliminary expression for Coq (no IDE support yet).
svn path=/nixpkgs/trunk/; revision=11983
2008-06-04 15:10:05 +00:00
Pjotr Prins
849e3eb21c biology/clustalw2 package
svn path=/nixpkgs/trunk/; revision=11631
2008-04-15 09:32:12 +00:00