1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-09-11 15:08:33 +01:00
Commit graph

50286 commits

Author SHA1 Message Date
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
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