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
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