Commit graph

8385 commits

Author SHA1 Message Date
Vincent Laporte
58297aa1e7 Why3: build also the Coq tactic. 2015-01-29 08:43:15 +01:00
Rok Garbas
21db3eaa60 i3lock: it's cleaner to use $out/share/man in the first place.
it is true that $out/man is automatically moved to $out/share/man, but using
"share" folder is cleaner solutions suggested by @edolstra here #6014
2015-01-28 19:56:13 +01:00
lethalman
2140080b08 Merge pull request #5750 from rycee/issue/5741
Wrap 'tig' command to add with git to PATH.
2015-01-28 14:52:45 +01:00
lethalman
057eac65d9 Merge pull request #5587 from nckx/keyfinder
Add libkeyfinder and keyfinder{,-cli} interfaces
2015-01-28 14:49:57 +01:00
Wout Mertens
7e045d412a pstree: fix direct reference to gcc 2015-01-28 12:35:54 +01:00
Pascal Wittmann
fcd3270737 Merge pull request #6011 from taku0/firefox-bin-35.0.1
Update firefox-bin to 35.0.1
2015-01-28 12:10:31 +01:00
lethalman
56f829e460 Merge pull request #5940 from badi/mendeley
new package: Mendeley
2015-01-28 10:57:11 +01:00
lethalman
136eea2c16 Merge pull request #6014 from malyn/fix-i3lock-man
i3lock: Make sure that man pages get installed
2015-01-28 10:25:06 +01:00
Michael Alyn Miller
ed359e453c
i3: Make sure that man pages get installed 2015-01-28 08:00:30 +01:00
Michael Alyn Miller
264da9e509 i3lock: Make sure that man pages get installed 2015-01-27 20:49:09 -08:00
taku0
c5079ee886 Update firefox-bin to 35.0.1 2015-01-28 09:49:33 +09:00
Bart Brouns
6abc915f6c # This is a combination of 2 commits.
# The first commit's message is:

add sooperlooper

# The 2nd commit message will be skipped:

#	add sooperlooper
2015-01-27 19:17:52 +01:00
Bart Brouns
81f0af0274 Merge branch 'master' of https://github.com/NixOS/nixpkgs 2015-01-27 19:04:51 +01:00
Eelco Dolstra
6f8fad2253 Remove executable bits from non-executable files 2015-01-27 18:54:38 +01:00
Ricardo M. Correia
f46a6c92c0 flashplayer: Update from 11.2.202.438 -> 11.2.202.440 2015-01-27 17:22:30 +01:00
Peter Simons
e13a30333b stellarium: update from 0.12.4 to 0.13.2 2015-01-27 14:04:54 +01:00
Peter Simons
4dac26b569 ikiwiki: update from 3.20141016.1 to 3.20150107 2015-01-27 14:04:54 +01:00
Peter Simons
e4a58244d8 gravit: update from 0.5.0 to 0.5.1 2015-01-27 14:04:54 +01:00
Peter Simons
b5ed72ceec rcs: update from 5.9.3 to 5.9.4 2015-01-27 14:04:54 +01:00
Peter Simons
96aa27c772 pspp: update from 0.8.2 to 0.8.3 2015-01-27 14:04:54 +01:00
lethalman
cd487d6489 Merge pull request #5911 from echo-oddly/leocad
new package: leocad
2015-01-27 12:59:26 +01:00
Domen Kožar
09d8b0fca6 Merge pull request #5989 from skityl/master
Updated version number
2015-01-27 10:38:26 +01:00
Ricardo M. Correia
934ea63e8f firefox: Update from 35.0 -> 35.0.1 2015-01-27 04:39:45 +01:00
Thomas Tuegel
c6f1c75472 kdeApps: update to 14.12.1 2015-01-26 21:01:06 -06:00
Thomas Tuegel
a0b811a08c kdeApps_14_12.ark: wrap PATH for unzip 2015-01-26 21:00:40 -06:00
Thomas Tuegel
5a52ddb243 kf5, plasma5, kdeApps: add documentation for maintainers 2015-01-26 21:00:39 -06:00
Thomas Tuegel
8fb5494309 add kde-applications-14.12.1 2015-01-26 20:59:52 -06:00
Thomas Tuegel
5360bbfb62 quassel: add Qt 5 version 2015-01-26 20:59:51 -06:00
Thomas Tuegel
d06b75b421 clementine: wrap for GST_PLUGINS_PATH 2015-01-26 20:59:49 -06:00
Charles Strahan
5a73cda9b5 terminal-notifier: add package 2015-01-26 17:06:20 -05:00
skityl
400adb7ec4 Bumped version of irssi-0.8.16 to irssi-0.8.17
Signed-off-by: skityl <mopofhair@gmail.com>
2015-01-27 00:57:19 +11:00
Eelco Dolstra
fa4d1e1b0a Merge pull request #5963 from ttuegel/firefox-mime
firefox: set mime-type in desktop entry
2015-01-26 12:10:35 +01:00
Domen Kožar
da0207b75c Merge pull request #5978 from malyn/fix-freerdp-pcsclite-path
freerdp: Use absolute path when calling dlopen
2015-01-26 11:46:05 +01:00
aszlig
9343f6f461
chromium: Ensure runtime deps for enabled plugins.
We're propagating the plugin flags by importing from another Nix
expression file, which in turn exports the Nix path to the wrapper. This
causes that the store path isn't referenced in the wrapper and the path
isn't recognized by scanning the wrapper script (only those already
referenced at build time are).

So let's add the activated plugins to the buildInputs of the wrapper.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2015-01-26 09:31:03 +01:00
aszlig
ced5afc38c
chromium: Update all channels to latest versions.
This brings a new stable version 40.0.2214.91 along with a beta update
to version 41.0.2272.16, the dev channel is still stuck at version
41.0.2272.12 and within the next days will jump to version 42.

For this reason, I've done some cheating here and brought the beta
channel in par with the dev channel, because dev is older than beta on
OmahaProxy.

Here's an overview of the channel upgrades:

stable: 39.0.2171.65 -> 40.0.2214.91 [1]
beta:   40.0.2214.10 -> 41.0.2272.16 [1] [2] [3]
dev:    41.0.2224.3  -> 41.0.2272.16 [1] [2] [3]

[1]: We needed to patch in locations of lib{pci,udev}.so, because
     Chromium tries to load them at runtime. For version 41 startup will
     fail if it is unable to load libudev, but it also has the advantage
     that this fixes GPU detection using libpci in the stable version,
     which in turn could fix a few bugs on NixOS.

[2]: The upstream Debian package for the binary plugins now uses XZ
     compression for the enclosed data tarball.

[3]: Chromium 41 needs {shapshot,natives}_blob.bin in order to start up,
     so let's cp it among with the .pak files to avoid adding a
     conditional for version 40.

The release annoucement of the stable channel update can be found here:

http://googlechromereleases.blogspot.de/2015/01/stable-update.html

Note that this release contains 62 security fixes(!) and I'm hereby
apologizing for the delay of this update.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2015-01-26 09:31:03 +01:00
David Virgilio
cd96404ff9 new package: leocad 2015-01-26 01:44:33 -06:00
Michael Alyn Miller
1751ee35aa freerdp: Use absolute path when calling dlopen 2015-01-25 20:43:36 -08:00
Charles Strahan
cb395eaadb gitlab-shell: fix evaluation 2015-01-25 16:28:20 -05:00
Charles Strahan
6eaa419920 gitlab: fix evaluation 2015-01-25 16:28:18 -05:00
Benno Fünfstück
be58ce4815 google-drive-ocamlfuse: new expression 2015-01-25 22:10:09 +01:00
Thomas Tuegel
3c15d2aa0d firefox: set mime-type in desktop entry 2015-01-25 14:43:42 -06:00
Badi' Abdul-Wahid
32670b75f3 restrict platforms to Linux 2015-01-25 12:27:53 -05:00
Badi' Abdul-Wahid
b80847b3e5 rename to default.nix 2015-01-25 12:08:50 -05:00
Badi' Abdul-Wahid
4544cdc508 cleanup description 2015-01-25 12:08:01 -05:00
Cillian de Róiste
18a317c7a9 DISTRHO: disable the build temporarily
The repo has been split into smaller repos and it will require some more
work to get it building again and to figure out which ports and plugins
to include.
2015-01-25 15:47:13 +01:00
Edward Tjörnhammar
0691a2c915 Merge pull request #5919 from pjones/feature/pwsafe
New package: pwsafe (Password Safe)
2015-01-25 10:21:42 +01:00
Tobias Geerinckx-Rice
5f7ebd07c6 Add keyfinder-cli: musical key detection 2015-01-25 10:17:49 +01:00
Tobias Geerinckx-Rice
7ccc6a3620 Add keyfinder: musical key detection gui 2015-01-25 10:17:49 +01:00
Vladimír Čunát
45a34f65fe meld: drop gnome2.scrollkeeper (no longer used)
Also indent the overlong lines in the expression.
2015-01-25 08:59:05 +01:00
Peter Jones
4f189f04ca New package: Password Safe (pwsafe) 2015-01-24 16:01:32 -07:00