Marco Maggesi
286d068b37
Upgrade Isabelle proof assistant to version 2012
2012-09-04 14:34:31 +02:00
Marco Maggesi
264c528154
Upgrade PolyML to version 5.4.1
2012-09-04 12:02:18 +02:00
Lluís Batlle i Rossell
449230335d
sipwitch: update to 1.2.4
2012-09-04 09:59:26 +02:00
Michael Raskin
da01cdaa82
Update Julia to latest revision, include zlib in dependencies
2012-09-04 09:32:59 +04:00
Lluís Batlle i Rossell
510b86f387
libreoffice: trying to enable parallel building
...
I use the nix approach about the number of cores, as enableParallelBuilding.
2012-09-03 15:53:07 +02:00
Lluís Batlle i Rossell
a683b2f6b4
libreoffice: update to 3.6.1.2
...
I've not tried if it works; I'll revert it if it fails.
2012-09-03 15:10:37 +02:00
Peter Simons
40431dfcd4
haskell-tls: update to version 0.9.10
2012-09-03 14:20:15 +02:00
Peter Simons
02d27b8a02
haskell-iteratee: update to version 0.8.9.3
2012-09-03 14:20:15 +02:00
Peter Simons
1505130da1
haskell-fingertree: update to version 0.0.1.1
2012-09-03 14:20:15 +02:00
Peter Simons
f11475eaa8
haskell-cmdargs: update to version 0.10
2012-09-03 14:20:15 +02:00
Peter Simons
e9abf1899a
haskell-hledger: patch to support recent versions of cmdargs
2012-09-03 14:20:10 +02:00
Peter Simons
1637d95fff
haskell-date-cache: add version 0.3.0
2012-09-03 14:19:35 +02:00
Peter Simons
267e268a31
haskell-HTTP: add version 4000.2.4
2012-09-03 14:19:25 +02:00
Peter Simons
14c808baa7
haskell-haskeline: add version 0.7.0.2
2012-09-03 14:18:57 +02:00
Rob Vermaas
c9f46b2d40
Merge pull request #105 from ierton/zathura
...
Zathura
2012-09-02 04:10:30 -07:00
Rob Vermaas
7ea0160fee
Merge pull request #93 from oxij/master
...
Support PCI passthrough in Xen. Add enca package.
Revert of Xen version from 4.1.2 to 4.0.3.
2012-09-02 04:09:25 -07:00
Mathijs Kwik
8277c18b53
vnstat: upgrade to 1.11
2012-09-02 11:57:49 +02:00
Mathijs Kwik
7672f20121
gogoclient: fix url and lower default metric
...
this allows other routes to take precedence over gogonet
2012-09-02 11:57:49 +02:00
Lluís Batlle i Rossell
724451668c
firefox15: trying another way of telling hydra to build it
2012-09-02 10:45:16 +02:00
Lluís Batlle i Rossell
6bff865155
mono: fixing build
...
it looks like it doesn't like parallel builds.
2012-09-02 09:06:30 +02:00
Rob Vermaas
ac8dd727d0
Restore google talk plugin versioned url, now it seems to work again.
2012-09-01 21:36:46 +02:00
Lluís Batlle i Rossell
36619822a1
firefox15: Telling hydra to build it
2012-09-01 16:39:13 +02:00
Michael Raskin
fdf82b66e7
Falling Sand Game: use a mirror
2012-09-01 10:27:41 +04:00
Michael Raskin
4add07db0c
Firefox: add 15.0 version
2012-09-01 09:55:59 +04:00
Lluís Batlle i Rossell
fcfa8908ca
miniupnpc: update to 1.7.
2012-09-01 00:10:43 +02:00
Rob Vermaas
fbbaf6759d
Update google talk plugin
2012-08-31 23:22:04 +02:00
Alexander Foremny
27127238f5
Merge remote-tracking branch 'upstream/master' into plowshare
2012-08-31 16:03:10 +02:00
Alexander Foremny
c98559a6fc
Remove curl from buildInputs
2012-08-31 16:02:10 +02:00
Alexander Foremny
addbf658e5
Add maintainer
2012-08-31 16:01:19 +02:00
Rob Vermaas
66bb38cce3
Add area53
2012-08-31 12:25:53 +02:00
Ludovic Courtès
04f242e281
Set noSysDirs' to
false' on non-GNU/Linux platforms.
2012-08-31 11:50:04 +02:00
Rickard Nilsson
abf6366f87
Add surfraw 2.2.8
2012-08-31 10:55:23 +02:00
Yury G. Kudryashov
1de0428020
KTorrent-4.2.1
2012-08-31 12:20:41 +04:00
Yury G. Kudryashov
096db8fe10
KDevelop-4.3.1
2012-08-31 12:20:09 +04:00
Yury G. Kudryashov
7a9def2829
LibreOffice-3.6.0.4
...
* Use more system libraries
* Enable KDE4 desktop integration
* Split preparation between postUnpack, patchPhase and preConfigure
Viric, feel free to revert (parts of) this commit.
2012-08-31 12:11:41 +04:00
Yury G. Kudryashov
db81ec4242
bangarang-2.1
2012-08-31 12:09:38 +04:00
Yury G. Kudryashov
834884ae7b
Explicitly pass SDO
2012-08-31 12:09:11 +04:00
Yury G. Kudryashov
ebf190e793
calligra-2.5.0
2012-08-31 12:08:31 +04:00
Yury G. Kudryashov
97c6a2fd4f
skrooge-1.3.2
2012-08-31 12:08:04 +04:00
Yury G. Kudryashov
c2ad9f873d
mr-1.13, more verbose install
2012-08-31 12:07:22 +04:00
Yury G. Kudryashov
f1a2d031e5
konversation-1.4
2012-08-31 12:07:09 +04:00
Yury G. Kudryashov
7d8aa35a07
rekonq-1.1
2012-08-31 12:06:48 +04:00
Yury G. Kudryashov
dd45319df1
amarok-2.6.0
2012-08-31 12:05:47 +04:00
Yury G. Kudryashov
f15e95a891
libjpeg-8d
...
It fixes some crashes (e.g., KDE workspace crashed when I tried to configure
webcam in Skype).
2012-08-31 12:04:47 +04:00
Yury G. Kudryashov
c5f9ee3325
Add libexttextcat (part of LibreOffice)
2012-08-31 12:03:25 +04:00
Yury G. Kudryashov
38d07f5018
Add MyThes
2012-08-31 12:03:25 +04:00
Yury G. Kudryashov
28f0597bd6
Add clucene-core.2.x
2012-08-31 12:03:25 +04:00
Yury G. Kudryashov
34bafa4893
Add libcdr (libreoffice dependency)
2012-08-31 12:03:24 +04:00
Yury G. Kudryashov
d41c08ee54
Add mdds (libreoffice dependency)
2012-08-31 12:03:24 +04:00
Yury G. Kudryashov
30ba367d5a
Add libvisio (libreoffice dependency)
2012-08-31 12:03:24 +04:00
Peter Simons
702854cb5d
haskell-Ebnf2ps: update to version 1.0.11
2012-08-31 09:10:18 +02:00
Ludovic Courtès
953eadbfc3
gnutls: Pass CPPFLAGS to help find GMP on OpenIndiana.
...
Suggested by Mats Erik Andersson <gnu@gisladisker.se>.
2012-08-30 22:54:18 +02:00
Mathijs Kwik
d37b642769
newer kernels need cifs-utils to mount CIFS filesystems
...
the kernel itself (and busybox's cifs mount code) are no longer able
to do this in some/most cases and will error out saying:
"CIFS VFS: connecting to DFS root not implemented yet""
Nixos' qemu-vm target is hurt by this, as it wants to mount /nix/store
via cifs very early in the boot process.
this commit just marks the problematic kernels.
An associated commit in nixos will use this info to fix the problem.
2012-08-30 18:25:49 +02:00
Mathijs Kwik
50dca38b26
cifs-utils: upgrade to 5.6
2012-08-30 18:25:49 +02:00
Mathijs Kwik
6fabe047c6
linux-3.4: upgrade to 3.4.10
2012-08-30 18:25:49 +02:00
Mathijs Kwik
8f1a34e228
linux-3.5: upgrade to 3.5.3
2012-08-30 18:25:49 +02:00
Ludovic Courtès
96f76db396
gnutls: Pass `--with-libnettle-prefix' on OpenIndiana.
...
Suggested by Mats Erik Andersson <gnu@gisladisker.se>.
2012-08-30 18:07:11 +02:00
Alexander Foremny
a23f6dc4c4
Add quotes to wrapProgram's arguments
2012-08-30 14:27:03 +02:00
Alexander Foremny
50400e345c
Give correct PATH to wrapProgram
2012-08-30 14:07:47 +02:00
Peter Simons
410ba4ee20
haskell-SourceGraph: update to version 0.7.0.3
2012-08-30 13:02:00 +02:00
Peter Simons
7638637b68
haskell-test-framework-quickcheck2: update to version 0.2.12.3
2012-08-30 13:02:00 +02:00
Peter Simons
9ffc9076dc
haskell-postgresql-simple: update to version 0.2.4.1
2012-08-30 13:02:00 +02:00
Peter Simons
d11f3d5551
haskell-http-conduit: update to version 1.6.0.1
2012-08-30 13:02:00 +02:00
Peter Simons
45485db623
haskell-hoauth: update to version 0.3.5
2012-08-30 13:02:00 +02:00
Peter Simons
60ae16e0aa
haskell-graphviz: update to version 2999.14.1.0
2012-08-30 13:02:00 +02:00
Peter Simons
70acc59794
haskell-Graphalyze: update to version 0.13.0.1
2012-08-30 13:02:00 +02:00
Andres Loeh
69e307a2e3
Change default version of parallel for GHC 7.5 and above.
2012-08-30 11:56:33 +02:00
Rickard Nilsson
59180564d5
dev86: Update to 0.16.19 (old sources disappeared)
2012-08-30 11:07:45 +02:00
Mathijs Kwik
7e8240d71b
haskell: add stylish-haskell
2012-08-30 10:11:23 +02:00
Mathijs Kwik
b54e608807
spice-protocol: fix maintainer
2012-08-30 08:36:51 +02:00
Michael Raskin
3f887534be
Meshlib: update to 1.3.2, it now builds and runs
2012-08-30 10:18:24 +04:00
Mathijs Kwik
280fb5585d
spice seems really just for linux at the moment
2012-08-29 23:35:39 +02:00
Mathijs Kwik
23f20dcdfe
emacs/sunrise-commander: change to github source
...
previous source replaces itself every now and then and doesn't do versioning
2012-08-29 22:57:57 +02:00
Mathijs Kwik
fadaad6f89
qemu-kvm: add (optional) spice support
2012-08-29 22:27:39 +02:00
Mathijs Kwik
cb4443ef26
add spice-0.10.1
...
spice is a next-generation remote desktop protocol, aimed at virtual
machines.
focus is not just on display/input devices, but clipboard, audio,
video, opengl, smartcards, usb devices as well, no matter if the
virtual machine runs locally or on a remote host.
not everything is implemented yet, and I didn't enable all available
features yet.
Currently, spice is able to make qemu-kvm virtual machines very usable
for workstation guests, with good 2d video support, clipboard sharing,
full resolutions, auto-mouse-grab/ungrab, xinerama / multiple guest
monitors. Good drivers for windows 7 guests are available, as well as
linux Xorg drivers / agents.
Basically, kvm was already the best-performing VM solution (using
virtio drivers), but virtualbox, while slower, had better
desktop-integration support (still wins if you want opengl). Spice
fixes this, making the choice very easy.
2012-08-29 22:27:39 +02:00
Mathijs Kwik
30514a5346
add spice-protocol-0.10.1
2012-08-29 22:27:39 +02:00
Mathijs Kwik
af6265e66d
add celt-0.5.1
2012-08-29 22:27:39 +02:00
Alexander Foremny
aed5c36694
Use makeWrapper
2012-08-29 15:16:03 +02:00
Cillian de Róiste
58e282b907
Update the download URL for ncmpcpp
...
The old URL for ncmpcpp was broken (reported by nobdraisentone on IRC)
2012-08-29 00:48:44 +02:00
Peter Simons
d7470b6c68
postfix: update to version 2.8.12
2012-08-28 15:18:17 +02:00
Peter Simons
85350ca2d4
postfix: clean-up install phase
...
Passing install_root=$out isn't a good idea because the install script is going
to pre-pend that prefix to all other paths even though these have the $out
prefix already. The resulting installation is a mess. Instead, we use the
"fake" install prefix "out" and then move all files and directories into the
right place afterward.
2012-08-28 15:17:06 +02:00
Peter Simons
40fe2d03b5
postfix: re-use $name in src URL
2012-08-28 15:14:59 +02:00
Peter Simons
919b357255
postfix: add meta section
2012-08-28 15:14:59 +02:00
Peter Simons
b920bd538a
postfix: strip trailing whitespace
2012-08-28 15:14:59 +02:00
Marc Weber
aa583c8cf4
experimental/lib-fold-attr
...
adding useful function foldAttr which behave like fold on attr values grouped by name
(without assertions now)
Signed-off-by: Marc Weber <marco-oweber@gmx.de>
2012-08-28 15:06:14 +02:00
Peter Simons
def452861d
Delete obsolete Haskell packages:
...
* comonad 1.1.1.6
* comonad-transformers 2.1.2
* semigroupoids 1.3.4
* split 0.1
* tagsoup 0.10.1
* texmath 0.4
2012-08-28 12:59:20 +02:00
Peter Simons
da00b344cf
haskell-yesod-core: update to version 1.1.1.1
2012-08-28 12:37:14 +02:00
Peter Simons
fda535b52d
haskell-reactive-banana: update to version 0.7.0.1
2012-08-28 12:37:14 +02:00
Peter Simons
49a3481f5d
haskell-http-types: update to version 0.7.3.0.1
2012-08-28 12:37:14 +02:00
Peter Simons
5bddcc2f21
haskell-cprng-aes: update to version 0.2.4
2012-08-28 12:37:14 +02:00
Peter Simons
e01aa340f6
haskell-configurator: update to version 0.2.0.1
2012-08-28 12:37:14 +02:00
Peter Simons
cf4076daba
haskell-certificate: update to version 1.2.6
2012-08-28 12:37:14 +02:00
Peter Simons
c7a7caf7ab
haskell-base64-bytestring: update to version 1.0.0.0
2012-08-28 12:37:14 +02:00
Peter Simons
77cd02f766
haskell-asn1-data: update to version 0.7.1
2012-08-28 12:37:14 +02:00
Peter Simons
b61ed4a580
haskell-abstract-deque: update to version 0.1.6
2012-08-28 12:37:14 +02:00
Peter Simons
dbe1ee0921
haskell-HsOpenSSL: update to version 0.10.3.3
2012-08-28 12:37:14 +02:00
Peter Simons
9bce51f6ec
haskell-gitit: patch to support recent versions of base64-bytestring
2012-08-28 12:34:15 +02:00
Peter Simons
7d889c6dfa
haskell-yesod-static: patch to support recent versions of base64-bytestring
2012-08-28 12:31:19 +02:00
Peter Simons
bf188b3fd2
haskell-http-conduit: patch to support recent versions of base64-bytestring and asn1-data
2012-08-28 12:28:51 +02:00
Peter Simons
824b62a61a
haskell-cipher-aes: add version 0.1.1
2012-08-28 12:18:10 +02:00
Cillian de Róiste
0a6c7e432b
Patch linuxsampler so that it can load SFZ state when used as an LV2 plugin: http://tracker.ardour.org/view.php?id=4462
2012-08-27 23:48:44 +02:00
Lluís Batlle i Rossell
0f1326cde9
Adding praat.
2012-08-27 20:26:32 +02:00
Lluís Batlle i Rossell
602fde4ad4
Adding espeakedit, phoneme editor for espeak.
...
I've no idea how to use it still.
2012-08-27 20:26:32 +02:00
Shea Levy
8c128db32e
Add oraclejdk and oraclejre attributes for packages that want to use them
2012-08-27 14:15:57 -04:00
Eelco Dolstra
bc8b1376da
postgresql-jdbc: Update to 9.1-902
2012-08-27 14:02:39 -04:00
Eelco Dolstra
20de8c8086
Make the "universe" repository available to the Ubuntu image generator
...
Also fix Ubuntu 12.04 name from "oneiric" to "precise".
2012-08-27 13:53:07 -04:00
Eelco Dolstra
bacc6ab790
Remove trailing whitespace
2012-08-27 13:53:07 -04:00
Eelco Dolstra
395718e927
Create /dev/random and /dev/urandom in VMs
...
WWW::Curl needs this to prevent "Fatal: no entropy gathering module
detected".
2012-08-27 13:53:07 -04:00
Lluís Batlle i Rossell
faf6ad8428
espeak: update to 1.46.02
2012-08-27 19:10:06 +02:00
Shea Levy
f4bc57feba
openjdk: passthru the architecture attribute like oracle jdk6 does.
2012-08-27 12:41:13 -04:00
Ludovic Courtès
dc4cfe89ff
emacs: Update to 24.2.
2012-08-27 18:16:06 +02:00
Shea Levy
488f46c19c
Merge branch 'openjdk-default' of github.com:shlevy/nixpkgs
...
With this change, java packages will build with openjdk by default. The
primary driver for this is legal: The build farm is not allowed to
distribute the proprietary Oracle jdk6, and so it is not allowed to
distribute any packages that depend on it. In my view, this is a purely
beneficial change: from the perspective of the build farm, packages will
go from undistributable due to licensing to either distributable or
undistributable due to failed build (if the package doesn't build
properly with openjdk), and from the perspective of the end user it is
very easy to override the jdk on a package-by-package basis or for all
of nixpkgs in the nixpkgs configuration.
2012-08-27 11:26:46 -04:00
Michael Raskin
289d7a5cfa
Fix typo
2012-08-27 15:49:33 +04:00
Michael Raskin
098b0c6a1d
Rapcad: add
...
Rapcad is a tool similar to OpenSCAD but with a richer language.
2012-08-27 15:41:49 +04:00
Michael Raskin
2001983746
dxflib: add the DXF format support library
2012-08-27 15:17:02 +04:00
Peter Simons
8cb967fb95
haskell-unix-compat: update to version 0.3.0.2
2012-08-27 11:30:50 +02:00
Peter Simons
da852fee50
haskell-statistics: update to version 0.10.2.0
2012-08-27 11:30:50 +02:00
Peter Simons
527dd9db06
haskell-resource-pool: update to version 0.2.1.1
2012-08-27 11:30:49 +02:00
Peter Simons
3063736918
haskell-reactive-banana: update to version 0.7.0.0
2012-08-27 11:30:49 +02:00
Peter Simons
8782724875
haskell-reactive-banana-wx: update to version 0.7.0.0
2012-08-27 11:30:49 +02:00
Peter Simons
38dda82cc1
haskell-largeword: update to version 1.0.3
2012-08-27 11:30:49 +02:00
Peter Simons
3445b2cb0f
haskell-graphviz: update to version 2999.14.0.0
2012-08-27 11:30:49 +02:00
Peter Simons
bba0b43d0f
haskell-fclabels: update to version 1.1.4.2
2012-08-27 11:30:49 +02:00
Peter Simons
d2b775d31c
haskell-double-conversion: update to version 0.2.0.5
2012-08-27 11:30:49 +02:00
Peter Simons
6596fdf4d7
haskell-derive: update to version 2.5.11
2012-08-27 11:30:49 +02:00
Peter Simons
e40f7b88e9
haskell-blaze-textual: update to version 0.2.0.8
2012-08-27 11:30:48 +02:00
Peter Simons
322b47e720
haskell-MonadRandom: update to version 0.1.8
2012-08-27 11:30:48 +02:00
Peter Simons
8ff755c5f3
haskell-CouchDB: update to version 1.2
2012-08-27 11:30:48 +02:00
Peter Simons
430e7454e9
haskell-mathblog: drop obsolete package; it doesn't build with current versions of GHC
2012-08-27 11:29:45 +02:00
Peter Simons
48c5ad011d
haskell-test-framework: update to version 0.6.1
2012-08-27 11:29:11 +02:00
aszlig
bf3e1b0013
Merge branch 'chromium-beta-22-update'.
...
This updates the stable version from 21.0.1180.79 to 21.0.1180.81 and introduces
version 22/23 for the beta/dev channels respectively. This needed quite a bit of
patching because beginning in version 22, the seccomp sandbox is considered
legacy (though BPF is still unfinished) and in order to successfully build, we
need to update the patches as well.
I'm merging this right into master for two reasons:
- There are no changes to the derivation if you're building the stable version
(which is the default), except for the upgrade to version 21.0.1180.81.
- Chromium currently has no reverse dependencies that may break due to this
update.
This originally was one single commit (just an update of all channels) until I
discovered the seccomp BPF build failure.
2012-08-27 07:06:42 +02:00
aszlig
d5c2b35b82
chromium: Re-enable legacy sandbox for version 22.
...
This enables legacy seccomp sandbox by default even on chromium 22, because the
BPF sandbox is still work in progress, please see:
http://crbug.com/139872
http://crbug.com/130662
Because the BPF seccomp sandbox is used in case the legacy seccomp mode
initialization fails, we might need to patch this again, as soon as the BPF
sandbox is fully implemented to fall back to legacy seccomp and use BPF by
default.
We now have two patches for "default to seccomp" - one for Chromium 21 and one
for 22 or higher.
2012-08-27 06:50:35 +02:00
Lluis Batlle
e5bf4de6b6
go: improving the expression so it works if overriden by hg src
...
Users might want to override the 'src' and 'name' of go from 'hg'.
I make the expression compatible with that.
Aside, I also set GOARM in the wrapper for it to build programs fine on
armv5tel by default.
2012-08-26 23:16:29 +02:00
Lluis Batlle
ba47bf7258
fetchhg: removing the nix dependency
...
I don't think it's required for anything. I tried once without it, and it
worked equally fine.
2012-08-26 23:16:28 +02:00
Lluis Batlle
df35189985
go: Removing an out of date comment
2012-08-26 23:16:27 +02:00
Lluis Batlle
bf007753d1
go: make it accept armv5tel
...
It doesn't build though, due to some problems fixed in go trunk. But
I failed to port them over to 1.0.2.
2012-08-26 23:16:26 +02:00
Shea Levy
7e24bde3d9
Add node-gyp
2012-08-26 16:18:03 -04:00
Shea Levy
ddb3f8c34e
Add npm2nix 0.1.2
2012-08-26 16:11:29 -04:00
Shea Levy
a94e8d2756
Add npm2nix as a nodePackage
2012-08-26 16:02:04 -04:00
Shea Levy
9a8b0b644b
Add semver node package
2012-08-26 15:43:02 -04:00
Yury G. Kudryashov
77da73a72b
akonadi-1.7.2
2012-08-26 22:38:50 +04:00
Yury G. Kudryashov
40078e2f90
xf86-input-wacom-0.16.0
2012-08-26 22:38:15 +04:00
Yury G. Kudryashov
ce5d5568a4
Soprano-2.8.0
2012-08-26 22:23:25 +04:00
Yury G. Kudryashov
497c364f7c
SDO-0.10.0
2012-08-26 22:23:17 +04:00
Yury G. Kudryashov
a4d13df801
Add qoauth
2012-08-26 22:21:14 +04:00
Yury G. Kudryashov
448b7cce53
Merge branch 'fix-NM-pptp'
2012-08-26 22:09:56 +04:00
Yury G. Kudryashov
bee287597a
Fix gnokii URL
2012-08-26 22:08:41 +04:00
Yury G. Kudryashov
1e3c42eb69
Libspectre: a couple of upstream patches (fix 2 crashes)
2012-08-26 22:06:45 +04:00
Yury G. Kudryashov
c03efbd8f9
Fix libical
...
Libical searched zoneinfo in /usr/share/zoneinfo, and failed to find it.
This leads to, e.g., random Kontact freezes.
2012-08-26 22:05:19 +04:00
Shea Levy
016b665402
Default 'jdk' and 'jre' to openjdk and openjre, respectively, on supporting systems
2012-08-26 13:33:44 -04:00