Commit graph

409 commits

Author SHA1 Message Date
Mathijs Kwik 2eedf210d3 celestia: fix install location 2014-02-17 06:49:05 +01:00
Vladimír Čunát 5559d4d47e kicad: disable parallel building, as it often fails
CC @viric.
2014-02-06 08:06:22 +01:00
Peter Simons 5fefec3944 pspp: update from 0.8.1 to 0.8.2 2014-01-25 20:58:49 +01:00
Petr Rockai ed5bd26574 STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays). 2014-01-25 16:33:12 +01:00
Vladimír Čunát ac6761c908 Merge master into stdenv-updates
Conflicts:
	pkgs/applications/version-management/gource/default.nix
	pkgs/top-level/all-packages.nix
2014-01-20 19:39:28 +01:00
Peter Simons 2991fdca52 root: enable parallel building 2014-01-20 18:26:32 +01:00
Peter Simons baeb19d0ce root: clean up meta section and move build into 'science/misc' section 2014-01-20 18:24:27 +01:00
Peter Simons 6475f0d1fe fricas: clean up meta section 2014-01-20 18:20:08 +01:00
Roger Mason e9928a1f25 Add CERN's 'root' Application Framework. 2014-01-20 18:11:09 +01:00
Roger Mason 3d1f6e3a75 Add fricas, a computer algebra system 2014-01-20 18:11:09 +01:00
Vladimír Čunát 0a58b512cb Merge master into stdenv-updates
Conflicts (simple):
	pkgs/development/compilers/gcc/4.8/default.nix
	pkgs/development/compilers/llvm/default.nix
	pkgs/development/libraries/gmp/5.1.1.nix
	pkgs/development/libraries/gmp/5.1.3.nix
	pkgs/development/libraries/gmp/5.1.x.nix
	pkgs/top-level/all-packages.nix
2014-01-18 14:46:20 +01:00
Marco Maggesi b504b1b4cb Update HOL Light to revision 179 2014-01-14 15:21:09 +01:00
Peter Simons 25411b3c7b maxima: update to version 5.32.1 2014-01-13 17:05:45 +01:00
Vladimír Čunát d494ed15e7 celestia: fix build (inspired by Arch) 2014-01-05 10:42:55 +01:00
Bjørn Forsman 4d6605e882 Whitespace fixes in package expressions I maintain 2014-01-02 17:58:08 +01:00
Nixpkgs Monitor 786b828f33 ngspice: update from 24 to 25 2013-12-23 05:27:10 +02:00
Nixpkgs Monitor 7289affced pari: update from 2.5.4 to 2.5.5 2013-12-21 02:28:25 +02:00
Nixpkgs Monitor b3f1ee3863 jags: update from 2.2.0 to 3.4.0 2013-12-18 18:18:32 +02:00
Nixpkgs Monitor 0aef5b8381 gtkwave: update from 3.3.39 to 3.3.53 2013-12-18 18:18:31 +02:00
Nixpkgs Monitor 24c79d6626 gromacsDouble: update from 4.5.5 to 4.6.5 2013-12-18 18:18:30 +02:00
Nixpkgs Monitor 191f349052 cvc3: update from 2.2 to 2.4.1 2013-12-18 18:18:23 +02:00
Evgeny Egorochkin 69bb44994e avogadro: build documentation 2013-12-18 18:18:22 +02:00
Nixpkgs Monitor de403540ab avogadro: update from 1.0.3 to 1.1.1 2013-12-18 18:18:18 +02:00
Nixpkgs Monitor ac1972d177 archimedes: update from 2.0.0 to 2.0.1 2013-12-15 11:25:56 +02:00
Evgeny Egorochkin 328d59eab6 add meta.repositories.git to several packages 2013-12-10 01:07:30 +02:00
Peter Simons 916af0f39c stellarium: update to version 0.12.4 2013-12-09 12:42:03 +01:00
Nixpkgs Monitor a08f5c4314 verilog: update from 0.9.3 to 0.9.7 2013-12-09 11:30:43 +02:00
Evgeny Egorochkin 1f5d28001e xplanet: fix build against giflib 5.* 2013-12-07 13:13:06 +02:00
Nixpkgs Monitor 6b1a3bffd0 xplanet: update from 1.2.2 to 1.3.0 2013-12-07 13:13:06 +02:00
Michael Raskin 4140dc2628 Updating EKRHuper 2013-11-25 10:59:35 +04:00
Bjørn Forsman c6d548f9b3 spyder: update 2.1.13.1 -> 2.2.5
This update brings bug fixes and new features.

Full changelog: https://code.google.com/p/spyderlib/source/browse/CHANGELOG
2013-11-22 23:56:17 +01:00
Karn Kallio 6c32416a31 Fix HOL documentation build 2013-11-16 03:43:38 +02:00
Tom Ridge f13bcf6463 HOL: update to k.8 2013-11-16 02:52:36 +02:00
Bjørn Forsman fd7bc4ebfd kicad: update to latest stable
The Kicad developers don't make releases, they maintain a stable branch
that is "ready to be released at any moment". Update to latest stable
branch version(s).

The "version number" in the package name attribute is the date of the
last modification to the branch.

Also remove unused inputs: gtk, cups.
2013-11-15 00:43:17 +01:00
Eelco Dolstra c88055e1a2 Set meta.hydraPlatforms instead of meta.platforms for some packages 2013-11-05 00:06:10 +01:00
Eelco Dolstra a0e21fd1ca Mark more packages as broken 2013-11-04 21:11:00 +01:00
Jonas Hoersch 8487fdd209 mathematica: fix x86 build of mathematica
the MathInstaller doesn't distinguish between 64bit and 32bit linux
platforms.
2013-11-03 14:01:59 +01:00
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