Commit Graph

50295 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