Age | Commit message (Collapse) | Author |
|
svn path=/nixpkgs/trunk/; revision=19591
|
|
svn path=/nixpkgs/trunk/; revision=19380
|
|
svn path=/nixpkgs/trunk/; revision=19065
|
|
svn path=/nixpkgs/trunk/; revision=18930
|
|
svn path=/nixpkgs/trunk/; revision=18927
|
|
svn path=/nixpkgs/trunk/; revision=18905
|
|
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
|
|
svn path=/nixpkgs/trunk/; revision=18069
|
|
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
|
|
svn path=/nixpkgs/trunk/; revision=18015
|
|
svn path=/nixpkgs/trunk/; revision=18014
|
|
it looks cool :-)
svn path=/nixpkgs/trunk/; revision=17054
|
|
getAttr was ambiguous. It's also a builtin function
fix
svn path=/nixpkgs/trunk/; revision=15692
|
|
svn path=/nixpkgs/trunk/; revision=15662
|
|
expressions/builders for Fortran. Tested by building Octave with
gfortran 4.3.
svn path=/nixpkgs/branches/stdenv-updates/; revision=14978
|
|
svn path=/nixpkgs/trunk/; revision=14262
|
|
svn path=/nixpkgs/trunk/; revision=14090
|
|
svn path=/nixpkgs/trunk/; revision=14087
|
|
svn path=/nixpkgs/trunk/; revision=14008
|
|
svn path=/nixpkgs/trunk/; revision=13703
|
|
svn path=/nixpkgs/trunk/; revision=12987
|
|
you know who to blame!
svn path=/nixpkgs/trunk/; revision=12986
|
|
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
|
|
svn path=/nixpkgs/trunk/; revision=12969
|
|
Included older kernel headers
svn path=/nixpkgs/trunk/; revision=12961
|
|
svn path=/nixpkgs/trunk/; revision=12959
|
|
svn path=/nixpkgs/trunk/; revision=12958
|
|
svn path=/nixpkgs/trunk/; revision=12956
|
|
svn path=/nixpkgs/trunk/; revision=12953
|
|
svn path=/nixpkgs/trunk/; revision=12945
|
|
svn path=/nixpkgs/trunk/; revision=12896
|
|
svn path=/nixpkgs/trunk/; revision=12895
|
|
Requested by Michael Raskin.
svn path=/nixpkgs/trunk/; revision=12812
|
|
svn path=/nixpkgs/trunk/; revision=12810
|
|
svn path=/nixpkgs/trunk/; revision=12686
|
|
svn path=/nixpkgs/trunk/; revision=12400
|
|
svn path=/nixpkgs/trunk/; revision=12399
|
|
svn path=/nixpkgs/trunk/; revision=12204
|
|
svn path=/nixpkgs/trunk/; revision=12005
|
|
svn path=/nixpkgs/trunk/; revision=12004
|
|
svn path=/nixpkgs/trunk/; revision=11997
|
|
svn path=/nixpkgs/trunk/; revision=11993
|
|
svn path=/nixpkgs/trunk/; revision=11992
|
|
svn path=/nixpkgs/trunk/; revision=11986
|
|
svn path=/nixpkgs/trunk/; revision=11983
|
|
svn path=/nixpkgs/trunk/; revision=11631
|