Marco Maggesi
e7accaf8d3
* Update camlp5
...
svn path=/nixpkgs/trunk/; revision=25206
2010-12-20 10:32:22 +00:00
Ludovic Courtès
e60ba9135a
SimGrid 3.5.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=25180
2010-12-17 17:48:12 +00:00
Lluís Batlle i Rossell
ee04ffcb55
Updating from trunk. I resolved simple conflicts.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=25061
2010-12-11 12:47:00 +00:00
Michael Raskin
07dd3f074b
Adding MiniSAT
...
svn path=/nixpkgs/trunk/; revision=24984
2010-12-05 19:54:27 +00:00
Michael Raskin
011d71dcb8
Adding PARI/GP
...
svn path=/nixpkgs/trunk/; revision=24983
2010-12-05 19:11:21 +00:00
Michael Raskin
7768fa0178
Fix installation layout
...
svn path=/nixpkgs/trunk/; revision=24982
2010-12-05 19:08:32 +00:00
Michael Raskin
5cb3f8b659
Missing Singular files
...
svn path=/nixpkgs/trunk/; revision=24981
2010-12-05 18:37:47 +00:00
Michael Raskin
6b8abaa29e
Adding OpenSMT
...
svn path=/nixpkgs/trunk/; revision=24978
2010-12-05 18:22:14 +00:00
Michael Raskin
a9f70d542d
Adding CVC3 satisfiability modulo theory (SMT) solver
...
svn path=/nixpkgs/trunk/; revision=24975
2010-12-05 17:28:41 +00:00
Michael Raskin
44ac8c5ea1
Adding iProver
...
svn path=/nixpkgs/trunk/; revision=24969
2010-12-04 18:39:44 +00:00
Michael Raskin
86e44e72bf
Adding SPASS
...
svn path=/nixpkgs/trunk/; revision=24967
2010-12-04 11:43:01 +00:00
Michael Raskin
64ed7e705d
Adding Satallax prover
...
svn path=/nixpkgs/trunk/; revision=24963
2010-12-03 11:26:34 +00:00
Michael Raskin
c32bd62956
Adding LEO2 automated higher-order prover
...
svn path=/nixpkgs/trunk/; revision=24952
2010-12-01 21:29:42 +00:00
Michael Raskin
373fabf1c0
Fix settings patch for Isabelle
...
svn path=/nixpkgs/trunk/; revision=24951
2010-12-01 21:29:20 +00:00
Michael Raskin
b89881d098
Update Isabelle
...
svn path=/nixpkgs/trunk/; revision=24950
2010-12-01 21:25:21 +00:00
Lluís Batlle i Rossell
d71ad68d43
Fixing the verilog URL (contributed by Antonio Vargas)
...
svn path=/nixpkgs/trunk/; revision=24935
2010-11-30 11:24:12 +00:00
Lluís Batlle i Rossell
ab6627ac0e
Fix for the verilog package, from Antonio Vargas Gonzalez
...
svn path=/nixpkgs/trunk/; revision=24934
2010-11-30 11:23:36 +00:00
Lluís Batlle i Rossell
0e4c970d11
Updating from trunk - I hope I fixed the conflict around gettext - I left it as
...
it was before merging.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24876
2010-11-26 14:40:39 +00:00
Lluís Batlle i Rossell
4018d18e96
Committing patch adding verilog from Antonio Vargas Gonzalez
...
From his original, I adapted some spacing, and removed the release.nix reference
(superfluous having set meta.platforms)
svn path=/nixpkgs/trunk/; revision=24860
2010-11-25 22:01:14 +00:00
Michael Raskin
3c452363ce
Use a patch to fix make 3.82 build of Coq
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=24817
2010-11-23 05:54:58 +00:00
Michael Raskin
9d124b1c70
Fix DrGeo build
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=24762
2010-11-19 04:07:34 +00:00
Lluís Batlle i Rossell
8746de3ae8
Updating from trunk.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=24674
2010-11-11 22:18:14 +00:00
Peter Simons
a09b681e3e
pkgs/applications/science/math/maxima: fixed location of "info" and "man" directories
...
svn path=/nixpkgs/trunk/; revision=24605
2010-11-05 14:35:37 +00:00
Marco Maggesi
0430167083
Update Coq
...
svn path=/nixpkgs/trunk/; revision=24597
2010-11-04 11:24:27 +00:00
Marco Maggesi
078587a846
Update HOL Light
...
svn path=/nixpkgs/trunk/; revision=24591
2010-11-03 22:20:05 +00:00
Lluís Batlle i Rossell
f4f84af4ab
Updating from trunk. I only had to take away the usual stdenv2 in
...
all-packages.nix
svn path=/nixpkgs/branches/stdenv-updates/; revision=24553
2010-10-31 19:30:31 +00:00
Lluís Batlle i Rossell
0cb7f90cac
Adding caneda
...
svn path=/nixpkgs/trunk/; revision=24450
2010-10-24 17:01:09 +00:00
Lluís Batlle i Rossell
227c632d18
Adding qucs
...
svn path=/nixpkgs/trunk/; revision=24449
2010-10-24 17:00:57 +00:00
Lluís Batlle i Rossell
2c5de61327
Updating from trunk.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23840
2010-09-17 19:10:21 +00:00
Marco Maggesi
4e5db40581
Update HOL Light to version 20100820 (rev57 on google code).
...
Also replace the monolitic derivation hol_light_binaries with smaller
derivations. Now the installation works as follows:
# Install the base system and a script "start_hol_light"
$ nix-env -i hol_light_sources hol_light
# Install a checkpointed executable with the core library preloaded
$ nix-env -i hol_light_core_dmtcp
# Install HOL Light binaries preloaded with other specific libraries:
$ nix-env -i hol_light_multivariate_dmtcp
$ nix-env -i hol_light_complex_dmtcp
$ nix-env -i hol_light_sosa_dmtcp
$ nix-env -i hol_light_card_dmtcp
svn path=/nixpkgs/trunk/; revision=23815
2010-09-15 21:41:18 +00:00
Marco Maggesi
44f2d4439f
Change the name of the coq derivation to coq-devel-8.3pre1
...
i.e., remove the version from the name. Nix has its own mechanism to
prevent a packages to be upgraded. Instead we distinguish development
version (coq-dev-VERSION) from stable versions (coq-VERSION).
Also remove derivation for coq-8.3-beta0-1 which is now superseded by
coq-devel-8.3pre1.
svn path=/nixpkgs/trunk/; revision=23813
2010-09-15 19:39:48 +00:00
Marco Maggesi
8ab6f9861c
Add coq-8.3rc1
...
Note: In this version we introduce a new schema for the name of the coq
derivations where the coq version is included in the name (i.e.,
"coq8.3-8.3pre1" instead of "coq-8.3pre1"). The reason for this is that often
coq releases introduce several incompatibilities. Thus I argue that, in
general, users do not want nix-env to upgrade automatically form one release to
another. Also version string "8.3pre1" is used instead of "8.3-rc1" to trigger
the nix mechanism for versions comparison.
svn path=/nixpkgs/trunk/; revision=23803
2010-09-14 21:15:58 +00:00
Marco Maggesi
df21c86e08
Improve hol_light:
...
* Upgrade hol_light to the latest svn version on google code (r57).
* Improve and semplify the mechanism for the generation of checkpointed binaries.
* Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11).
* Remove ocaml_with_sources which is not needed anymore.
svn path=/nixpkgs/trunk/; revision=23685
2010-09-08 13:07:45 +00:00
Lluís Batlle i Rossell
6acc186e0e
Fixing the catalan locale for kicad (it had the wrong encoding written)
...
svn path=/nixpkgs/trunk/; revision=23554
2010-08-31 09:24:49 +00:00
Lluís Batlle i Rossell
aa86a0c4a2
Fixing kicad so it not only builds, but it also runs and finds the library of components.
...
svn path=/nixpkgs/trunk/; revision=23552
2010-08-31 08:19:28 +00:00
Lluís Batlle i Rossell
cca1cae042
Updating from trunk. I had to do some changes to make it fit.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23500
2010-08-29 11:09:23 +00:00
Peter Simons
49c437a31e
pkgs/applications/science/math/maxima: use a correct license tag
...
Thanks, Ludovic.
svn path=/nixpkgs/trunk/; revision=23466
2010-08-26 17:57:14 +00:00
Peter Simons
098b763939
pkgs/applications/science/logic/prover9: fixed trivial syntax error
...
svn path=/nixpkgs/trunk/; revision=23453
2010-08-26 12:06:05 +00:00
Peter Simons
2c4c301c9b
pkgs/applications/science/math/wxmaxima: updated to version 0.8.6
...
svn path=/nixpkgs/trunk/; revision=23451
2010-08-26 11:53:17 +00:00
Peter Simons
83ae38861e
pkgs/applications/science/math/maxima: added license tag
...
svn path=/nixpkgs/trunk/; revision=23450
2010-08-26 11:51:10 +00:00
Peter Simons
88b126b9ca
pkgs/applications/science/math/maxima: build this package on Unix'ish platforms, but not on Windows
...
svn path=/nixpkgs/trunk/; revision=23449
2010-08-26 11:49:54 +00:00
Peter Simons
24e71fa8fc
pkgs/applications/science/math/maxima: updated to version 5.22.1
...
svn path=/nixpkgs/trunk/; revision=23448
2010-08-26 11:44:43 +00:00
Peter Simons
403938b004
pkgs/applications/science/logic/prover9: updated homepage and license
...
svn path=/nixpkgs/trunk/; revision=23447
2010-08-26 11:42:41 +00:00
Peter Simons
340d4a6ddd
pkgs/applications/science/logic/prover9: initial version
...
svn path=/nixpkgs/trunk/; revision=23446
2010-08-26 11:37:05 +00:00
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