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
Bjørn Forsman
a31ba7ed65
eagle: new package
...
Eagle is a schematic capture and PCB layout program from CadSoft. This
is proprietary software; CadSoft provide a self-extracting shell script
with embedded tarball of the prebuilt application.
Add the latest Eagle version, 6.4.0.
I've added a small LD_PRELOAD library that redirects operations on the
license file from <eagle_install_path>/bin/eagle.key to
$HOME/.eagle.key. Without this Eagle will never get past the license
dialog (because you cannot write to the nix store).
Eagle also has issues copying its example projects to other locations;
it seems that it wants to preserve the read-only permissions from the
source over to the destination. Because of this it cannot complete the
copy operation because it cannot write the project files into to the
(read-only) project directory it just created. So wrap chmod by OR'ing
in the write-by-owner bit.
2013-05-25 21:12:47 +02:00
Peter Simons
5779dfc8e4
R: add version 3.0.1
2013-05-23 11:35:59 +02:00
Peter Simons
398e4a15b0
stellarium: update to version 0.12.1
2013-05-22 11:42:45 +02:00
Peter Simons
b72a91b6a5
wxmaxima: update to version 13.04.1
2013-05-22 11:21:55 +02:00
Rob Vermaas
d5f7976aef
Fix maintainers attribute
2013-05-21 09:20:00 +02:00
Bjørn Forsman
05bb66ce20
Add myself as maintainer for several packages
...
And set missing meta.platforms for the packages I've added earlier.
2013-05-20 20:28:15 +02:00
Michael Raskin
9d92fe013e
Adding E-KRHyper theorem prover
2013-05-09 17:47:58 +04:00
Vladimír Čunát
ec3965d8d0
Revert Merge x-updates into master due to mesa bloat
...
See #490 discussion.
This reverts commit 1278859d31
, reversing
changes made to 0c020c98f9
.
Conflicts:
pkgs/desktops/xfce/core/xfce4-session.nix (take master)
pkgs/lib/misc.nix (auto)
2013-05-09 14:03:35 +02:00
Michael Raskin
646868b2e6
Adding Otter theorem prover. The development is frozen, but because of that Otter is considered a very reliable prover from soundness point of view.
2013-05-09 12:23:27 +04:00
Vladimír Čunát
1278859d31
Merge branch 'master' into x-updates
...
Conflicts (just splitting version from name):
pkgs/os-specific/linux/systemd/default.nix
2013-05-08 13:46:46 +02:00
Bjørn Forsman
36c6a05fd9
spyder: create desktop menu item
2013-05-06 20:52:58 +02:00
Bjørn Forsman
78169ec020
spyder: add recommended and optional dependencies
...
Spyder says about itself that it has
...the support of IPython (enhanced interactive Python interpreter) and
popular Python libraries such as NumPy (linear algebra), SciPy (signal
and image processing) or matplotlib (interactive 2D/3D plotting).
So I think having those available as default is a the right thing to to.
(We can easily make a stripped down spyder expression if needed later.)
I've added the list of recommended and optional dependencies as
described here:
http://pythonhosted.org/spyder/installation.html#dependencies
2013-05-06 20:36:17 +02:00
Bjørn Forsman
8095d76a73
spyder: new package
...
Spyder (previously known as Pydee) is a powerful interactive development
environment for the Python language with advanced editing, interactive
testing, debugging and introspection features.
The name Spyder comes from Scientific PYthon Development EnviRonment.
2013-05-05 13:13:45 +02:00
Vladimír Čunát
bde20f3e88
Merge branch 'master' into x-updates
...
Conflicts (just taken x-updates):
pkgs/servers/x11/xorg/overrides.nix
2013-04-24 06:29:09 +00:00
Michael Raskin
e7b491a7e1
Update E prover
2013-04-21 16:30:40 +04:00
Vladimír Čunát
eb2e46aab2
Merge branch 'master' into x-updates
...
Conflicts:
pkgs/applications/graphics/rawtherapee/default.nix
pkgs/applications/misc/blender/default.nix
pkgs/applications/networking/browsers/chromium/sources.nix
pkgs/os-specific/linux/kernel/linux-3.9.nix
pkgs/top-level/all-packages.nix
2013-04-04 21:43:40 +02:00
Michael Ashton
7b01680d87
kicad: upgrade to stable version 20130325, libraries to r220
...
- changed to require wxWidgets 2.9 -- seems to satisfy requirement for
libgtkprint, even with gtk2
2013-03-31 19:17:02 -07:00
Marco Maggesi
fa2d85fded
Update HOL Light to rev 157
2013-03-25 10:56:57 +01:00
Peter Simons
7df21af242
wxmaxima: don't try to build this package on FreeBSD
2013-03-22 12:53:07 +01:00
Vladimír Čunát
86639d9bb9
Merge branch 'master' into x-updates
...
Conflicts (taken master versions):
pkgs/desktops/xfce-4.8/core/libxfcegui4.nix
pkgs/desktops/xfce/applications/gigolo.nix
pkgs/desktops/xfce/applications/mousepad.nix
pkgs/desktops/xfce/applications/ristretto.nix
pkgs/desktops/xfce/applications/terminal.nix
pkgs/desktops/xfce/applications/xfce4-mixer.nix
pkgs/desktops/xfce/applications/xfce4-notifyd.nix
pkgs/desktops/xfce/applications/xfce4-taskmanager.nix
pkgs/desktops/xfce/art/xfce4-icon-theme.nix
pkgs/desktops/xfce/core/exo.nix
pkgs/desktops/xfce/core/garcon.nix
pkgs/desktops/xfce/core/gtk-xfce-engine.nix
pkgs/desktops/xfce/core/libxfce4ui.nix
pkgs/desktops/xfce/core/libxfce4util.nix
pkgs/desktops/xfce/core/libxfcegui4.nix
pkgs/desktops/xfce/core/thunar-volman.nix
pkgs/desktops/xfce/core/thunar.nix
pkgs/desktops/xfce/core/tumbler.nix
pkgs/desktops/xfce/core/xfce4-appfinder.nix
pkgs/desktops/xfce/core/xfce4-panel.nix
pkgs/desktops/xfce/core/xfce4-power-manager.nix
pkgs/desktops/xfce/core/xfce4-session.nix
pkgs/desktops/xfce/core/xfce4-settings.nix
pkgs/desktops/xfce/core/xfconf.nix
pkgs/desktops/xfce/core/xfdesktop.nix
pkgs/desktops/xfce/core/xfwm4.nix
pkgs/desktops/xfce/panel-plugins/xfce4-cpufreq-plugin.nix
pkgs/development/libraries/webkit/default.nix
pkgs/top-level/all-packages.nix
2013-03-09 17:55:37 +01:00
Michael Raskin
d5288c7e3a
TPTP had a bugfix without version change
2013-03-09 14:24:45 +04:00
Vladimír Čunát
7421ee673c
qucs: minor update and fix for new gcc
2013-02-24 15:11:19 +01:00
Vladimír Čunát
0d72174dbd
Merge branch stdenv-updates into x-updates
...
x-updates is supposed to merge after stdenv-updates, so let's test it
Conflicts:
pkgs/development/libraries/gtk+/2.x.nix (both updated, taking newer)
pkgs/development/libraries/mesa/default.nix (taking nativeBuildInputs)
2013-02-21 12:43:00 +01:00
Lluís Batlle i Rossell
bcbf9472ea
Merge remote-tracking branch 'central/master' into x-updates
2013-02-18 13:49:11 +01:00
Vladimír Čunát
9885d04033
Revert "WIP", sorry, I got confused, somehow
...
This reverts commit 524d9b656e
.
2013-02-17 11:02:25 +01:00
Vladimír Čunát
524d9b656e
WIP
2013-02-17 11:01:20 +01:00
Vladimír Čunát
c55f5ae19d
tulip: update to fix compilation with libpng-1.6
2013-02-16 16:16:32 +01:00
Eelco Dolstra
2aa6f262cb
Merge remote-tracking branch 'origin/master' into stdenv-updates
2013-02-15 13:36:34 +01:00
Marco Maggesi
42a4178c2b
Update HOL Light to revision 155
2013-02-08 15:26:35 +01:00
Marco Maggesi
34411286a6
Update HOL Light to revision 154
2013-02-08 15:20:06 +01:00
Rickard Nilsson
1886d1db6a
Merge remote-tracking branch 'upstream/master' into stdenv-updates
2013-01-20 16:53:21 +01:00
Peter Simons
ff461b0755
maxima: update to version 5.29.1
2013-01-19 02:31:21 +01:00
Peter Simons
c296be5519
stellarium: update to version 0.11.4a
2013-01-19 02:26:03 +01:00
Eelco Dolstra
5bb548d2e4
Merge remote-tracking branch 'origin/master' into stdenv-updates
2013-01-17 14:19:14 +01:00
Eelco Dolstra
f286cc65b1
Fix bad URLs lacking a scheme
2013-01-14 18:26:46 +01:00
Peter Simons
b33ad366a1
Merge branch 'master' into stdenv-updates.
2013-01-11 15:46:10 +01:00
Lluís Batlle i Rossell
430957b020
boinc: fix it; the binaries didn't start.
2013-01-08 23:28:39 +01:00
Lluís Batlle i Rossell
8de96cb04d
boinc: updating to 7.0.44
...
now it builds.
I started to use fetchgit instead of fetchsvn, because the upstream
doc pages talk about git more than svn.
2013-01-08 23:28:39 +01:00
Lluís Batlle i Rossell
b58780c43d
Merge remote-tracking branch 'eelco/master' into stdenv-updates
...
Conflicts:
pkgs/development/compilers/gcc/4.7/default.nix
Trivial solution.
2012-12-28 23:28:16 +01:00
Eelco Dolstra
ab3eeabfed
Rename buildNativeInputs -> nativeBuildInputs
...
Likewise for propagatedBuildNativeInputs, etc. "buildNativeInputs"
sounds like an imperative rather than a noun phrase.
2012-12-28 19:20:09 +01:00
Michael Raskin
b31e6aa794
Merge pull request #231 from RSzibele/master
...
Added Logisim 2.7.1
2012-12-27 06:32:03 -08:00
RSzibele
fcdf685793
Added Logisim-2.7.1.
2012-12-27 16:25:39 +01:00
Michael Raskin
dd6ef6229e
Merge pull request #226 from maggesi/hol_light_updates
...
Update HOL Light (and fix installation)
2012-12-27 05:33:24 -08:00
Peter Simons
591f85f17e
celestia: add version 1.6.1
2012-12-25 11:26:53 +01:00
Marco Maggesi
49e4824b8a
Update HOL Light (and fix installation)
2012-12-23 18:46:09 +01:00
Michael Raskin
1c3434cc16
Update E prover
2012-12-09 00:36:38 +04:00
Michael Raskin
8a1f312621
Update golly
2012-12-04 10:10:28 +04:00
Eelco Dolstra
5553546c21
Remove a bunch of unreferenced files
...
Plus a small number of obsolete packages (like old versions of qemu).
2012-11-29 13:43:37 +01:00
Peter Simons
614c7501bc
Merge pull request #193 from badi/gromacs
...
Add Gromacs
2012-11-28 01:16:17 -08:00
Shea Levy
3b8796ee9d
Fix tarball
2012-11-26 20:31:45 -05:00
Florian Friesdorf
6a17fe1563
fix xoscope - thx archlinux!
2012-11-26 16:07:51 +01:00
Badi' Abdul-Wahid
06c522f739
remove reference to meta.nix
2012-11-23 15:46:49 +01:00
Badi' Abdul-Wahid
cba15c96f6
fix skipped indentation
2012-11-23 15:45:19 +01:00
Badi' Abdul-Wahid
7bdcb521b2
Update based on comments to pull request
2012-11-23 15:29:17 +01:00
Badi' Abdul-Wahid
85a33507ea
Add GROMACS v4.5.5
2012-11-23 03:38:13 +01:00
Peter Simons
0757af1693
qfsm: add version 0.53.0
2012-11-11 20:32:41 +01:00