Commit Graph

372 Commits

Author SHA1 Message Date
Peter Simons
cd1605f729 maxima: update to version 5.31.3 2013-11-01 10:53:44 +01:00
Michael Raskin
6944de0f94 Updating EProver to 1.8 2013-10-20 21:03:04 +04:00
Michael Raskin
70f609acbf Updating Ekrhyper 2013-10-20 21:02:37 +04:00
Peter Simons
bf3e2d86cb wxmaxima: update to version 13.04.2 2013-10-13 00:39:06 +02:00
Peter Simons
568b39c672 maxima: update to version 5.31.2 2013-10-13 00:37:58 +02:00
Peter Simons
7e06522645 hol: fix access to dot
Committing on behalf of Karn Kallio <tierpluspluslists@skami.org>.
2013-10-11 10:20:37 +02:00
Peter Simons
0ae1a8b847 hol: update to version k.8
Committing on behalf of Tom Ridge <tom.j.ridge@googlemail.com>.
2013-10-10 12:00:12 +02:00
Eelco Dolstra
2147a07938 Fix a bunch of Hydra evaluation errors 2013-10-07 17:36:47 +02:00
Bjørn Forsman
083d0890f5 More description fixes
* Remove package name
* Start with upper case letter
* Remove trailing period

Also reword some descriptions and move some long descriptions to
longDescription.

I'm not touching generated packages.
2013-10-06 12:01:38 +02:00
Bjørn Forsman
28ac782583 Some description fixes
There are many more packages to fix, this is just a start.

Rules:
 * Don't repeat the package name (not always that easy...)
 * Start with capital letter
 * Don't end with full stop
 * Don't start with "The ..." or "A ..."

I've also added descriptions to some packages and rewritten others.
2013-10-05 19:36:23 +02:00
Eelco Dolstra
fca11ef500 Fix evaluation errors 2013-10-01 13:12:45 +02:00
Justin Bedo
fdc6e4372f Wrapped R's package system similarly to perlPackages 2013-09-28 13:19:43 +02:00
Alexander Kahl
6371fd0908 speedcrunch: new package
speedcrunch is a fast power user calculator.
2013-09-27 00:58:54 +02:00
Peter Simons
90f9726fa7 pspp: add version 0.8.1 2013-09-26 11:53:38 +02:00
Peter Simons
97bb401d8d R: update to 3.0.2 2013-09-25 16:40:55 +02:00
Justin Bedo
c38ffa7b7d Added expression for PLINK 2013-09-19 09:39:14 +10:00
Peter Simons
ab3b1a5aa9 gravit: enable PNG support 2013-09-17 11:53:27 +02:00
Peter Simons
babbfd4d2c gravit: this package can be built with any 5.x version of lua 2013-09-17 11:47:25 +02:00
Jonas Hoersch
986b34580d add mathematica version 9.0.0
Wolfram Mathematica based on the makeself archive found on the Mathematica installation DVD.
2013-09-15 18:33:13 +02:00
Jason \"Don\" O'Conal
f3802002c3 ginac: fix build on darwin (close #944) 2013-09-08 11:01:48 +02:00
Gergely Risko
b43347342b Add platforms to coq, so it's built on Hydra 2013-08-28 21:35:07 +02:00
Peter Simons
dc5843399d maxima: add $out/bin to $PATH in the maxima wrapper scripts
This ensures that Maxima's wrapper scripts (such as rmaxima) find the
correct maxima binary.
2013-08-28 16:33:53 +02:00
Peter Simons
5fc7590886 maxima: update to version 5.30.0 2013-08-28 16:33:53 +02:00
Bjørn Forsman
efcffe61e4 eagle: bump version 6.4.0 -> 6.5.0
And name the desktop file "eagle.desktop", not "Eagle.desktop". The user
facing application name is still "Eagle"; it has nothing to do with the
name of the desktop file.
2013-08-25 20:42:51 +02:00
Ludovic Courtès
2e937c437a unmaintain several packages 2013-08-16 23:45:01 +02:00
Peter Simons
0237aa136f R: ensure that run-time dependencies can be found 2013-08-06 00:44:20 +02:00
Ertugrul Söylemez
2519a86942 pari: Updated to 2.5.4, fixed GMP and readline support. 2013-07-19 19:52:11 +02:00
Evgeny Egorochkin
74491ea24b boinc: fix url 2013-07-19 08:25:00 +03:00
Evgeny Egorochkin
d26e46acd6 golly: fix version to match tarball. this time for sure :) 2013-07-18 03:55:56 +03:00
Russell O'Connor
3538f7c549 Update download link for ssreflect. 2013-07-14 23:41:55 -04:00
Evgeny Egorochkin
d0b4c8bfaa gktspell: version bump to 2.0.16 because the old one has disappeared 2013-07-14 03:09:34 +03:00
Evgeny Egorochkin
5ae43d2494 Change more packages from direct downloads to mirror://sourceforge 2013-07-14 02:48:32 +03:00
Evgeny Egorochkin
0f99aace03 ssreflect: fix url 2013-07-14 02:08:54 +03:00
Evgeny Egorochkin
33dac78323 golly: fix version to match tarball 2013-07-14 02:08:49 +03:00
Vladimír Čunát
4a0952d2fa fix bad "licence" names
Mostly what I merged from @lovek323.
Such errors can be easily checked by
  nix-env -f . -qa \* --meta --xml --drv-path --show-trace >/dev/null
2013-07-04 18:16:34 +02:00
Peter Simons
9185515611 R: add various features
* Ensure that R can link blas, liblapack, and libgfortran at run-time.
 * Ensure that R can run the Tcl/Tk interpreter.
 * Add Java support.
 * Install texinfo and PDF documentation.
2013-07-04 13:42:47 +02:00
Mathijs Kwik
0b17251c06 libpng: keep versioning in all-packages.nix, not in individual expressions 2013-06-27 21:35:21 +02:00
Lluís Batlle i Rossell
4c6a981070 Adding 'weka'. 2013-06-19 16:19:06 +02:00
Evgeny Egorochkin
6b4eaf71fe Merge pull request #636 from craff/glsurf
Glsurf (3D drawing of implicit surfaces and curves)
2013-06-18 22:34:08 -07:00
Christophe Raffalli
102216f8c9 Drop useless dependencies in glsurf 2013-06-19 05:03:42 +02:00
Peter Simons
e006c2fd49 celestia: fix compilation and linking after x-updates merge 2013-06-18 13:11:03 +02:00
Peter Simons
efac6d8e73 celestia: help the package find the gtk related libraries 2013-06-18 12:44:24 +02:00
Peter Simons
3e241c3f83 celestia: add patch to support libpng 1.6 2013-06-18 12:44:24 +02:00
Peter Simons
e6c48a73f8 celestia: update hashes for the downloaded patches 2013-06-18 12:44:23 +02:00
Christophe Raffalli
cb980d97d7 added glsurf package 2013-06-16 22:33:47 +02:00
Michael Raskin
81b7f5fe63 Merge remote-tracking branch 'upstream/master' into x-updates 2013-06-15 17:15:32 +04:00
Russell O'Connor
c9f5959285 Update Coq to version 8.4pl2. 2013-06-14 12:16:52 -04:00
Vladimír Čunát
7db886fdb9 Merge remote-tracking branch 'hydra/master' into x-updates
Conflicts (taken from @7c6f434c):
	pkgs/development/libraries/libgphoto2/default.nix
2013-06-08 15:41:39 +00:00
Evgeny Egorochkin
9c6f7cc9c1 Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions. 2013-06-07 03:15:45 +03:00
Vladimír Čunát
b770365574 ReRevert Merge x-updates into master
This reverts commit ec3965d8d0.

Conflicts (taken x-updates):
	pkgs/development/libraries/libgcrypt/default.nix
	pkgs/development/libraries/libgpg-error/default.nix
	pkgs/development/libraries/poppler/default.nix
2013-05-29 23:25:02 +02:00