jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
39,036 Commits 266 Branches 122 Tags 5.3 GiB
bd996abc9c
Commit Graph

407 Commits

Author SHA1 Message Date
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
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