Commit graph

50177 commits

Author SHA1 Message Date
AndersonTorres
9a6e559b9d mpv: update to 0.5.4
Also, a small update on internal let-waf expression

Closes #4306
2014-09-28 22:46:49 +01:00
AndersonTorres
0a6bfe69e5 Tilda: update to 1.1.13
Closes #4307
2014-09-28 22:45:26 +01:00
Vincent Laporte
a65767a0b4 nixpkgs manual: packaging coq libraries 2014-09-28 22:02:36 +01:00
Shea Levy
d34cd13a31 Add nix-exec package 2014-09-28 15:24:38 -04:00
Nikolay Amiantov
0728fee205 paprefs: Add package 2014-09-28 21:49:05 +04:00
Nikolay Amiantov
d006273e7a pavucontrol: Adopt and clean dependencies 2014-09-28 21:48:57 +04:00
Thomas Tuegel
58d838024b Merge pull request #4289 from muflax/zsh
zsh: version bump to 5.0.6 and enable pcre
2014-09-28 10:50:59 -05:00
Vladimír Čunát
b16994f7ce fontconfig: stop using xml:space; vital for nixos+2.11
This is a proper fix for problems described in ec985c8ffa .
The code is from @lethalman.
2014-09-28 16:57:47 +02:00
Pascal Wittmann
a1b7743b52 Merge pull request #4303 from hrdinka/nsd
NSD update to version 4.1.0
2014-09-28 15:46:31 +02:00
Nikolay Amiantov
263132f5d6 Added me as a maintainer. 2014-09-28 17:44:00 +04:00
Russell O'Connor
94c6af494a Exponentially reduce computation time needed for replace-dependency by using memoization.
This patch makes two changes.

(1) It memoizes the computation of dependsOnOld.
(2) It replaces rewrittenDerivations with a similar memoized table rewriteMemo.

This prevents the entire tree of run-time dependencies from being traversed and instead only traverses the graph of run-time dependencies.
In the case of deep dependency changes (such as changing one's bash version for an entire NixOS system) this can lead to an exponential speedup in processing time
because shared dependencies are no longer traversed multiple times.

This patch isn't quite derivation-per-derivation equivalent to the original computation.
There are two immaterial differences.

(1) The previous version would always call upon sed to replace oldDependency with newDependency even when the store object being updated doesn't directly depend on
oldDependency.
The new version only replaceds oldDependency with newDependency when the store object being updated actually directly depends on oldDependency (which means there is
actually a hash to replace).
(2) The previous version would list the old store object as a source input of the new store object, *except* for the root derivation being updated.  Because the
root derivation being updated has its actual derivation avaiable the previous verions would make the updated root derivation depend on the old derivation as a
derivation input instead of a source input.
The new version always lists the old store object as a source input, including the root derivation.
2014-09-28 09:39:39 -04:00
Christoph Hrdinka
f5cd9d2460 nsd: fix description, license and platforms 2014-09-28 15:30:39 +02:00
Vincent Laporte
94828070ed ProofGeneral: makes the dependency on TeXLive optional
And fixes the default value of $PGHOME
2014-09-28 14:03:15 +01:00
Vincent Laporte
f3b8d82ce6 Removes duplicate ssreflect 2014-09-28 14:03:15 +01:00
Vincent Laporte
c30c5f7cf3 Adds three coq libraries: containers, mathcomp, ssreflect
Containers is a reimplementation of the FSets/FMaps library from the
standard library, using typeclasses.

Homepage: http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.4

The Mathematical Components (mathcomp) contains advanced theory files
covering a wide spectrum of mathematics.

Homepage: http://ssr.msr-inria.inria.fr/

Ssreflect is a proof language (plugin for Coq) and a small set of core
theory libraries about boolean, natural numbers, sequences, decidable
equality and finite types.

Homepage: http://ssr.msr-inria.inria.fr/
2014-09-28 14:03:15 +01:00
Vincent Laporte
fde68228d9 coq: setup-hook for libraries
Adds a hook to automatically populate the $COQPATH variable.
Coq libraries are expected to be installed in

    lib/coq/${coq-version}/user-contrib/
2014-09-28 14:03:14 +01:00
Vincent Laporte
181139fe09 Adds license CeCILL-B 2014-09-28 14:03:14 +01:00
Christoph Hrdinka
f1b3196f2d nsd: update to version 4.1.0 2014-09-28 14:43:26 +02:00
Christoph Hrdinka
29b4258622 nsd: add hrdinka to maintainers 2014-09-28 14:43:16 +02:00
Domen Kožar
63280c511e nixos: munin/jenkins: specify timeout correctly 2014-09-28 14:25:11 +02:00
Pascal Wittmann
97be74be16 Merge pull request #4302 from k0ral/tty-clock
New package: tty-clock-0.1
2014-09-28 13:10:55 +02:00
koral
14930900c8 New package: tty-clock-0.1 2014-09-28 13:05:58 +02:00
Rok Garbas
28ea895b08 pythonPackages.configobj: new version needs six as dependency 2014-09-28 12:56:08 +02:00
Pascal Wittmann
943b1a4768 Merge pull request #4301 from AndersonTorres/windowmaker
Windowmaker: update to 0.95.6
2014-09-28 12:54:12 +02:00
Mateusz Kowalczyk
714dc47696 agda-iowa-stdlib: renamed from aaron-stump-stdlib
Per author's request.
2014-09-28 02:21:21 +01:00
Siarhei Zirukin
448f3229f8 package update: go-1.3.1 -> go-1.3.2
Closes #4279
2014-09-28 01:35:49 +01:00
Domen Kožar
1e05bbaa96 nixos: increase timeout for jenkins/munin systemd services 2014-09-27 23:28:49 +02:00
Domen Kožar
2df644a9e1 pythonPackages.nose: disable tests 2014-09-27 22:34:51 +02:00
Domen Kožar
2fea016f4d python3Packages.pelican: fix build 2014-09-27 22:34:51 +02:00
AndersonTorres
fb184b0316 Windowmaker: update to 0.95.6 2014-09-27 17:23:38 -03:00
Bjørn Forsman
a2a5b539a1 python2nix: update to latest
Switch to upstream repo now that pull request #3 is merged.
2014-09-27 20:09:08 +02:00
Pascal Wittmann
a0e82a304f bro: update from 2.1 to 2.3.1 2014-09-27 19:34:20 +02:00
Vladimír Čunát
a5e8f410bf thunderbird: maintenance update
The corresponding security problem should've been fixed by the latest nss update.
2014-09-27 18:24:45 +02:00
Vladimír Čunát
85fba5fdbd kde-4.14: fix kactivities download
It was not released with 4.14.
http://osdir.com/ml/kde-commits/2014-07/msg02039.html
2014-09-27 18:16:26 +02:00
Vladimír Čunát
4bcae6dc96 merge #4265: add KDE 4.14.1 2014-09-27 18:15:00 +02:00
koral
47636809ea dulwich: added tests dependencies. 2014-09-27 16:50:36 +02:00
Mateusz Kowalczyk
02c979aa9f haskell-vado: update to 0.0.2
This is a version-bump only, putting the attoparsec version bound up on
Hackage through proper means:
https://github.com/hamishmack/vado/issues/5
2014-09-27 15:14:19 +01:00
Bjørn Forsman
a6c7c1db7f ntopng: update from 1.2.0 to 1.2.1
Successfully tested with the NixOS ntopng service.
2014-09-27 15:42:18 +02:00
Bjørn Forsman
273aa589d2 ntopng: update hashes and url
All geoip data files have changed, update hashes. The ntopng source url
itself has changed, the source is now located in an "old/" directory
(hash unchanged).

Build tested.
2014-09-27 13:52:19 +02:00
Luca Bruno
b86fdea43e gnucash: delete icon theme cache 2014-09-27 13:48:09 +02:00
Vladimír Čunát
7a47efe8f4 lyx: maintenance update 2014-09-27 13:00:21 +02:00
Cillian de Róiste
5276adc1b4 Tidy up #4283 and move freewheeling to APPLICATIONS 2014-09-27 12:52:30 +02:00
cillianderoiste
40ef936fb5 Merge pull request #4283 from sepi/master
Added Freewheeling
2014-09-27 12:44:09 +02:00
lethalman
9e7619b09b Merge pull request #4292 from DamienCassou/gpaste-3.12.3
gpaste 3.12.2 -> 3.12.3
2014-09-27 12:32:11 +02:00
Damien Cassou
f160705eb2 gpaste 3.12.2 -> 3.12.3 2014-09-27 12:24:12 +02:00
Raffael Mancini
f80e897add Merge branch 'master' of github.com:NixOS/nixpkgs 2014-09-27 12:09:48 +02:00
Raffael Mancini
122cfdcecf Removed unnecessary and wrong "priority = 10" from default.nix. 2014-09-27 12:08:24 +02:00
Vladimír Čunát
7323d5e128 lib/platforms: add "armv6l-linux" to all platforms
It was only in mesaPlatforms, which caused nix appear unsupported in there.
2014-09-27 11:23:03 +02:00
muflax
9d9258be5c zsh: bump version 2014-09-27 08:33:32 +01:00
muflax
368d0b4213 zsh: enable pcre 2014-09-27 08:33:29 +01:00