philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

131 commits

Author SHA1 Message Date
Michael Raskin 4f6c18925d Fix installation for updated E prover release 
svn path=/nixpkgs/trunk/; revision=23435
 2010-08-26 04:34:20 +00:00
Michael Raskin 05c7e81eaa Move E prover to applications/science/logic 
svn path=/nixpkgs/trunk/; revision=23434
 2010-08-25 22:38:11 +00:00
Peter Simons 970b3402e9 pkgs/applications/science/logic/hol: initial version 
svn path=/nixpkgs/trunk/; revision=23430
 2010-08-25 19:50:24 +00:00
Lluís Batlle i Rossell 689b834242 Updating gtkwave 
svn path=/nixpkgs/trunk/; revision=23391
 2010-08-24 10:00:19 +00:00
Lluís Batlle i Rossell 397a10aba2 Adding Kicad 
svn path=/nixpkgs/trunk/; revision=23352
 2010-08-22 12:09:47 +00:00
Lluís Batlle i Rossell f16353b6f2 Updated from trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23275
 2010-08-20 13:41:12 +00:00
Lluís Batlle i Rossell 3a3867869a Adding tetgen 
svn path=/nixpkgs/trunk/; revision=23138
 2010-08-12 10:59:05 +00:00
Lluís Batlle i Rossell 039b660b5b Making lynx, yacas and alsa-lib crossbuild 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23130
 2010-08-11 20:11:12 +00:00
Lluís Batlle i Rossell 456d3f41ae Adding a yacas needed patch for it to build 
svn path=/nixpkgs/trunk/; revision=23077
 2010-08-09 22:42:48 +00:00
Lluís Batlle i Rossell 9cba74c95a Adding 'yacas', a CAS implemented in C++. 
svn path=/nixpkgs/trunk/; revision=23074
 2010-08-09 21:58:21 +00:00
Marco Maggesi c0f343b752 Update Coq to version 8.2pl2 (patch by roconnor) 
svn path=/nixpkgs/trunk/; revision=22971
 2010-08-05 18:44:42 +00:00
Eelco Dolstra cc84ac9e84 svn path=/nixpkgs/trunk/; revision=22880 2010-08-02 16:01:55 +00:00
Eelco Dolstra f1598a8941 * More cleanup. 
svn path=/nixpkgs/trunk/; revision=22798
 2010-07-28 18:01:17 +00:00
Ludovic Courtès 35cbabdab4 ViTE from SVN. 
svn path=/nixpkgs/trunk/; revision=22696
 2010-07-22 09:01:42 +00:00
Michael Raskin b1eb6c96a8 Update Tulip. Unicode support should be available now. 
svn path=/nixpkgs/trunk/; revision=22484
 2010-07-06 07:25:07 +00:00
Michael Raskin a10b9e1d3a Specifying golly license 
svn path=/nixpkgs/trunk/; revision=22393
 2010-06-23 10:02:44 +00:00
Michael Raskin 558251da4a Adding golly (a cellular automata program) 
svn path=/nixpkgs/trunk/; revision=22391
 2010-06-23 07:41:17 +00:00
Lluís Batlle i Rossell 99a94a777b Updating ngspice 
svn path=/nixpkgs/trunk/; revision=22364
 2010-06-21 20:34:23 +00:00
Ludovic Courtès d5c60020df SimGrid: Enable tracing. 
svn path=/nixpkgs/trunk/; revision=22314
 2010-06-17 17:06:51 +00:00
Ludovic Courtès ff57c0e21e Move SimGrid under `science/misc'. 
svn path=/nixpkgs/trunk/; revision=22312
 2010-06-17 17:06:40 +00:00
Ludovic Courtès 3190f9ed6e Add Visual Trace Explorer (ViTE). 
svn path=/nixpkgs/trunk/; revision=22311
 2010-06-17 17:06:09 +00:00
Ludovic Courtès 5be3acda2d Add Tulip, a graph visualization framework. 
svn path=/nixpkgs/trunk/; revision=22264
 2010-06-14 18:30:35 +00:00
Lluís Batlle i Rossell 393ab9b252 Fixing an ortography error in the xoscope description. 
svn path=/nixpkgs/trunk/; revision=22245
 2010-06-13 19:32:32 +00:00
Lluís Batlle i Rossell b1946eec91 Adding xoscope (oscilloscope for the sound card input, among others) 
svn path=/nixpkgs/trunk/; revision=22242
 2010-06-13 10:01:16 +00:00
Lluís Batlle i Rossell 02ea8daffa Making gtkwave more featured, adding more buildInputs. 
svn path=/nixpkgs/trunk/; revision=22133
 2010-06-03 15:37:02 +00:00
Lluís Batlle i Rossell 8fafef2b8f Updating gtkwave 
svn path=/nixpkgs/trunk/; revision=22132
 2010-06-03 15:36:57 +00:00
Peter Simons 1295493b18 pkgs/applications/science/logic/coq: install coqide libraries 
Patch courtesy of Russell O'Connor.

svn path=/nixpkgs/trunk/; revision=21838
 2010-05-18 13:40:19 +00:00
Marco Maggesi afbb01c90d Add expression for Coq 8.3 beta 
svn path=/nixpkgs/trunk/; revision=21734
 2010-05-11 20:14:46 +00:00
Peter Simons fd8c6ae43d Moved 'maintainers' attribute into the meta section of the expression. 
I've also set the 'platforms' attribute to ensure that Hydra actually
builds these packages. Thanks to Lluís Batlle i Rossell for pointing out
these mistakes.

svn path=/nixpkgs/trunk/; revision=21688
 2010-05-09 16:01:44 +00:00
Peter Simons 6b42129c3a pkgs/applications/science/math/wxmaxima: updated to version 0.8.5 
svn path=/nixpkgs/trunk/; revision=21603
 2010-05-05 10:26:15 +00:00
Peter Simons 2dd70d3ffb pkgs/applications/science/math/maxima: updated to version 5.21.1 
svn path=/nixpkgs/trunk/; revision=21602
 2010-05-05 10:26:11 +00:00
Peter Simons 425d964e7d pkgs/applications/science/math/maxima: added myself as a maintainer 
svn path=/nixpkgs/trunk/; revision=21028
 2010-04-12 11:21:38 +00:00
Lluís Batlle i Rossell d533e31357 Updating gtkwave 
svn path=/nixpkgs/trunk/; revision=20825
 2010-03-25 15:07:53 +00:00
Marco Maggesi 513d653d68 Add HOL Light and its dependencies. 
Add pkgs/applications/science/logic/hol_light
and pkgs/applications/science/emacs-modes/hol_light

Some functionalities of HOL Light requires the compiled sources of
OCaml.  For now we provide a new package ocaml_with_sources.  After
this shuold be merged with the current version of OCaml already
present in nixpkgs.


svn path=/nixpkgs/trunk/; revision=20008
 2010-02-15 11:00:02 +00:00
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