Commit graph

50244 commits

Author SHA1 Message Date
Lluís Batlle i Rossell 1955da1b8c Updating toxic/libtoxcore/libsodium 2014-09-29 10:24:35 +02:00
Maksymilian Owsianny a7197741ac Fixed idris wrapper to make idris work with different backends.
Closes #4314
2014-09-29 04:14:59 +01:00
roconnor 6b2ecc5b39 Merge pull request #4313 from NixOS/fastReplaceDeps
Exponentially reduce computation time needed for replace-dependency by u...
2014-09-28 21:19:55 -04:00
Shea Levy ee58e82855 nix-exec: set platforms 2014-09-28 20:10:11 -04:00
Mateusz Kowalczyk 8e876eb395 Merge pull request #4309 from abbradar/paprefs
added "paprefs" package, adopted pavucontrol
2014-09-28 22:50:55 +01:00
AndersonTorres efdc89de60 Mednafen: update to 0.9.36.4
Closes #4304
2014-09-28 22:48:20 +01:00
AndersonTorres 77887c621b Xiphos: update to 3.2.2
Closes #4312
2014-09-28 22:47:29 +01:00
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
Tino Breddin cba717fd7b elixir: make curl available to mix 2014-09-27 21:58:58 +02: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
Tino Breddin eb7bbb4862 postgresql: use configured port when invoking psql 2014-09-27 14:37:11 +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