Peter Simons
a77e380454
xmonad-contrib: patch to fix build with GHC 7.8.2
2014-05-01 22:28:13 +02:00
Peter Simons
4700996bc7
haskell-sloane: update to version 1.7.1
2014-05-01 21:57:03 +02:00
Emery Hemingway
3b1a171c05
qtbitcointrader: initial expression
2014-05-01 15:50:57 +02:00
Vladimír Čunát
d4e1bd4aa6
libreoffice: fix build after mesa update
...
This is because it uses vanilla pkgconfig,
so it needs Reqires.private deps from mesa during configuration.
2014-05-01 13:08:05 +02:00
Peter Simons
0293dc9fbd
Merge pull request #2357 from Chaddai/texstudio
...
Texstudio : advanced editor for LaTeX
2014-05-01 13:06:06 +02:00
Peter Simons
b9921ab08a
ledger-3.0.nix: cosmetic fix of syntax highlighting in Emacs
2014-05-01 12:58:30 +02:00
Peter Simons
c10a424bdd
ledger-2.6.3: rename the derivation to "ledger2" to allow installing
...
this version instead of ledger 3.x (which doesn't support reading
GNUCash files)
Discussed in <https://github.com/NixOS/nixpkgs/pull/2305 >.
2014-05-01 12:56:45 +02:00
Austin Seipp
6d52463bd3
nixpkgs: add alt-ergo 0.95.2
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:42:31 -05:00
Austin Seipp
4ee4f76176
nixpkgs: add why3 0.83
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:39 -05:00
Austin Seipp
d1a32414cd
nixpkgs: add ltl2ba 1.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:34 -05:00
Moritz Ulrich
444538ca8f
syncthing: Bump to 0.8.2.
...
Tested this in two containers running 0.7.1 before. Upgraded fine and
kept working without configuration changes.
2014-04-30 23:52:54 +02:00
Eelco Dolstra
8f5ebe495c
chatzilla: Update to 0.9.90.1
...
Also, make it work with recent Firefoxes.
2014-04-30 17:02:12 +02:00
Eelco Dolstra
0ac20f0726
flashplayer: Update to 11.2.202.356
...
CVE-2014-0515
2014-04-30 15:52:43 +02:00
Thomas Tuegel
7896a84849
qvim: add lua support
2014-04-29 22:19:58 +02:00
Eelco Dolstra
fe4bc3cc80
Fix evaluation error
...
http://hydra.nixos.org/build/10697257
2014-04-29 20:40:28 +02:00
Eelco Dolstra
1235f693ee
firefox: Update to 29.0
2014-04-29 18:46:06 +02:00
Austin Seipp
c8f82b4ee8
spark: 0.9.0 -> 0.9.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 10:34:28 -05:00
Chaddaï Fouché
600bd22f27
Adding myself as maintainer of texstudio
2014-04-29 16:49:21 +02:00
Chaddaï Fouché
ce82a2d6d9
Cleaning up the description and fixing qt to qt4
2014-04-29 16:49:20 +02:00
Chaddaï Fouché
ed3a809a3d
Add the necessary preConfigure so that TeXstudio compile (find poppler-qt4.h)
2014-04-29 16:48:22 +02:00
Chaddaï Fouché
89595fbcea
Creation of a new package for texstudio, an editor for LaTeX documents
2014-04-29 16:48:22 +02:00
Peter Simons
551cae1aa0
haskell-git-annex: update to version 5.20140421
2014-04-29 01:35:45 +02:00
Peter Simons
6c5d7a63ac
haskell-sloane: update to version 1.7
2014-04-29 01:35:45 +02:00
Peter Simons
3f23727e09
haskell-arbtt: update to version 0.8
2014-04-29 01:35:45 +02:00
Peter Simons
1d7f7ad92f
Merge pull request #2353 from jwiegley/sage
...
Add expression for sage
2014-04-28 22:46:27 +02:00
Peter Simons
3445df42a4
Merge pull request #2368 from Chaddai/texmaker
...
TeXmaker
2014-04-28 22:42:47 +02:00
Austin Seipp
aaa0304a45
nixpkgs: verifast 13.11.14
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 13:46:27 -05:00
Eelco Dolstra
39faed1f2f
qemu: Apply patch for CVE-2014-0150, CVE-2014-2894
2014-04-28 14:37:46 +02:00
Eelco Dolstra
0af5d11a6f
qemu-image: Remove (obsolete)
2014-04-28 14:34:34 +02:00
Austin Seipp
0f1f2115e9
hol_light: fix script, upgrade to r189
...
This also tweaks the version number to just use the SVN revision (rather
than date), since it's unambiguous and increasing anyway.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 13:31:36 -05:00
Austin Seipp
da0c8f33ef
nixpkgs: yices 2.2.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 13:05:40 -05:00
aszlig
d8f8f31726
chromium: Fix desktop icon and duplicate entry.
...
This should fix the desktop icon location for both desktop entries (the
one from the Chromium derivation itself and the wrapper) and renames the
name of the file so that it gets overridden by the wrappers desktop item
so we don't end up having two of them.
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-04-27 18:52:28 +02:00
Austin Seipp
9ef104cbad
cryptol-mode: 0.1.0
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-26 12:51:08 -05:00
Peter Simons
06f59807e6
qfsm: update meta.platforms settings for the new logic
2014-04-26 15:54:52 +02:00
Peter Simons
34a1db9202
tkgate: update meta.platforms settings for the new logic
2014-04-26 15:54:40 +02:00
Austin Seipp
4e15dbe34c
btsync: 1.3.87 -> 1.3.93
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-26 00:13:36 -05:00
Peter Simons
83df08830f
qfsm: mark 'broken' because of build errors
...
Upstream seems to have abandoned the package.
2014-04-25 10:04:58 +02:00
Peter Simons
964f1e0e20
tkgate-2.x: mark 'broken' because the application segfaults after startup
2014-04-25 10:04:30 +02:00
Eelco Dolstra
d304b277bd
Silence some Hydra evaluation warnings
2014-04-24 15:40:55 +02:00
Chaddaï Fouché
31b58dccfe
Added TeXmaker package : an advanced editor for latex
2014-04-24 10:59:29 +02:00
Domen Kožar
7eabca3409
Merge pull request #2315 from lethalman/gnome3
...
gedit, libmediaart, fix xdg-user-dirs, enable GI in grilo, prioritize nautilus mimetype, seahorse, gnome-music, glade, gnome-documents
2014-04-24 01:16:54 +02:00
Eelco Dolstra
dbd332d147
Fix meta.maintainer -> meta.maintainers
2014-04-23 14:26:32 +02:00
Peter Simons
c2516c30e3
haskell-git-annex: update to version 5.20140412
2014-04-23 11:17:07 +02:00
Luca Bruno
422c4d92b5
transmission-remote-gtk: delete hicolor icon cache
2014-04-22 22:17:20 +02:00
Bjørn Forsman
a70197a653
wireshark: add patch to lookup "dumpcap" in PATH
...
What this allows us to do is define a "dumpcap" setuid wrapper in NixOS
and have wireshark use that instead of the non-setuid dumpcap binary
that it normally uses.
As far as I can tell, the code that is changed to do lookup in PATH is
only used by wireshark/tshark to find dumpcap. dumpcap, the thing that's
typically setuid, is not affected by this patch. wireshark and tshark
should *not* be installed setuid, so the fact that they now do lookup in
PATH is not a security concern.
With this commit, and the following config, only "root" and users in the
"wireshark" group will have access to capturing network traffic with
wireshark/dumpcap:
environment.systemPackages = [ pkgs.wireshark ];
security.setuidOwners = [
{ program = "dumpcap";
owner = "root";
group = "wireshark";
setuid = true;
setgid = false;
permissions = "u+rx,g+x";
}
];
users.extraGroups.wireshark.gid = 500;
(This wouldn't have worked before, because then wireshark would not use
our setuid dumpcap binary.)
2014-04-22 21:33:11 +02:00
Bjørn Forsman
cbd4650a1a
wireshark: add myself (bjornfor) as maintainer
2014-04-22 21:33:11 +02:00
Bjørn Forsman
27477f1fac
wireshark: build with libcap (POSIX capabilities)
...
This makes running wireshark (or more specifically, dumpcap) as root a
bit more secure. From <wireshark-1.11.2>/doc/README.packaging:
The "--with-libcap" option is only useful when dumpcap is installed
setuid. If it is enabled dumpcap will try to drop any setuid privileges
it may have while retaining the CAP_NET_ADMIN and CAP_NET_RAW
capabilities. It is enabled by default, if the Linux capabilities
library (on which it depends) is found.
2014-04-22 21:33:11 +02:00
John Wiegley
7ce39b067a
Add expression for sage
2014-04-22 14:10:36 -05:00
Eelco Dolstra
a96b1eb745
firefox: Update to 28.0
2014-04-22 14:45:27 +02:00
Vladimír Čunát
662b92e608
liferea: bugfix update
...
Looks good after some basic testing.
2014-04-22 13:22:14 +02:00