Anders Claesson
ac3de98f07
Add sloane -- a command line interface to OEIS.
2014-03-18 14:37:56 +00:00
Shea Levy
389c3951a8
Merge branch 'coq' of git://github.com/thoughtpolice/nixpkgs
...
coq: 8.4pl2 -> 8.4pl3
2014-03-15 13:03:10 -04:00
Michael Raskin
8dc61a6519
Update EKRHyper
2014-03-08 21:12:59 +04:00
Austin Seipp
c0f779ceee
coq: add myself to maintainer list.
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-07 20:52:33 -06:00
Austin Seipp
fa118fc677
coq: 8.4pl2 -> 8.4pl3
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-07 20:52:26 -06:00
Peter Simons
41e0214bb1
R: update to version 3.0.3
2014-03-07 22:51:39 +01:00
Peter Simons
19cb32a36c
root: update from 5.34.14 to 5.34.15
2014-03-03 11:10:25 +01:00
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
