宋文武
9a10937f32
love: update 0.9.0 -> 0.9.1
...
Changelog:
https://www.love2d.org/wiki/0.9.1
(cherry picked from commit 0b99e20a3c
)
2014-04-26 00:03:55 -05:00
Ricardo M. Correia
770cd1cd32
grsecurity: Update all patches
...
stable: 3.0-3.2.57-201404182109 -> 3.0-3.2.57-201404241714
test: 3.0-3.14.1-201404201132 -> 3.0-3.14.1-201404241722
vserver: 3.0-3.2.57-vs2.3.2.16-201404182110 -> 3.0-3.2.57-vs2.3.2.16-201404241715
(cherry picked from commit efae8ce543
)
2014-04-25 14:25:57 -05:00
Austin Seipp
1062181037
nixpkgs: Add cryptol2 expression
...
This is just a convenient shorthand so people don't have to spell out
haskellPackages.cryptol
Note that the top-level expression is named 'cryptol2' but the package
isn't. That's because Cryptol is a library and other things could depend
on it (hence the vanilla name), but also the full name will be
disambiguated as 'haskell-cryptol-ghc7.6.3' anyway.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
(cherry picked from commit e146a02d14
)
2014-04-25 14:25:50 -05:00
Austin Seipp
5546e5b5a4
cryptol v2.0.0
...
This comes with several extra libraries, including GraphSCC, monadLib,
presburger, process and smtLib, all required as build dependencies. But
otherwise totally automated via cabal2nix.
Next up is CVC4 (a total pain in the ass to package) for proving/SAT
support.
I have another WIP branch for the unfree 1.x series which I may (or may
not) add later as it has external verification tech at the moment.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
(cherry picked from commit 5401849e3a
)
2014-04-25 14:25:30 -05:00
Austin Seipp
689d7e048d
nixos: only enable spipe when user specifies
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
(cherry picked from commit b470c93c1e
)
2014-04-25 14:25:23 -05:00
Eelco Dolstra
8851990313
debian: Update to 6.0.9
...
(cherry picked from commit 1bae93cb82
)
2014-04-25 14:44:59 +02:00
Eelco Dolstra
dddbcae845
Urgh
...
Can't figure out why "hostname -s" keeps failing randomly :-(
http://hydra.nixos.org/build/10662142
(cherry picked from commit c52fb449f4
)
2014-04-25 14:44:59 +02:00
Eelco Dolstra
1ddbdcdc2d
cups: Add a listenAddresses option
...
(cherry picked from commit b8d59765e1
)
2014-04-25 14:44:59 +02:00
Eelco Dolstra
c6d2739d4b
Manual: Don't include the platform type of the host system
...
This causes unnecessary rebuilds of the manual.
http://hydra.nixos.org/build/10662170
(cherry picked from commit cd05320716
)
2014-04-25 14:44:58 +02:00
Eelco Dolstra
8c65992314
Make nscd startup synchronous
...
Nscd forks into the background before it's ready to accept
connections. So explicitly wait until it's ready.
http://hydra.nixos.org/build/10661767
(cherry picked from commit 23297b0edd
)
2014-04-25 14:44:58 +02:00
Eelco Dolstra
a58e004778
cups: Start after network.target
...
http://hydra.nixos.org/build/10661709
(cherry picked from commit d7a7f80aff
)
2014-04-25 14:44:58 +02:00
Eelco Dolstra
109a2bee28
Remove outdated remark
...
(cherry picked from commit 2c70276d96
)
2014-04-25 14:44:58 +02:00
Vladimír Čunát
4001f85b0c
linux-3.12: bump .17 -> .18
...
(cherry picked from commit 116d52c6df
)
2014-04-25 14:44:57 +02:00
Eelco Dolstra
c3917f4d84
Try again
...
(cherry picked from commit af817ae0d8
)
2014-04-25 14:44:57 +02:00
Eelco Dolstra
feecc6067a
Fix simpleTest function
...
(cherry picked from commit 019e9d8a3d
)
2014-04-25 14:44:57 +02:00
Eelco Dolstra
0d5e3df9d9
Silence some Hydra evaluation warnings
...
(cherry picked from commit d304b277bd
)
2014-04-25 14:44:37 +02:00
Shea Levy
ef618678b8
Add php 5.3 variant with fpm support
...
(cherry picked from commit e85b164df8
)
2014-04-25 08:20:02 -04:00
aszlig
4a0c468043
python-django: Update to 1.4.11, 1.5.6 and 1.6.3.
...
This fixes CVE-2014-0472, details can be found at:
http://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2014-0472
https://www.djangoproject.com/weblog/2014/apr/21/security/
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-04-25 12:24:58 +02:00
Shea Levy
18d2284d15
sproxy: bump
...
(cherry picked from commit d4cb80eaf4
)
2014-04-24 13:29:03 -04:00
Shea Levy
7e375e9aa2
Add haskell-http-kit
...
(cherry picked from commit c7f2d87a56
)
2014-04-24 13:28:54 -04:00
Mathijs Kwik
efd39af1f4
neoload: upgrade to 4.1.4 and fix mem issues
...
(cherry picked from commit d2edc329e1
)
2014-04-24 15:29:14 +02:00
Mathijs Kwik
4e15c2ecc0
node.js - use bundled v8 :14.04-bugfix:
...
node needs v8 3.14, which is no longer maintained.
They bundle an in-tree version which does receive backports.
(cherry picked from commit 925c75c68d
)
2014-04-24 15:28:35 +02:00
robberer
14fd47651a
kde: “kdnssd” package is now called “zeroconf-ioslave”
...
Close #2358 .
(cherry picked from commit a2fad89723
)
2014-04-24 15:28:20 +02:00
Eelco Dolstra
c46e466c40
Make the misc test a bit more robust
...
(cherry picked from commit 2b7e746c02
)
2014-04-24 15:25:36 +02:00
Eelco Dolstra
f171ed481b
dhcpcd: Fix segfaults
...
This fixes several problems in the dhcpcd service:
* A segfault during startup, due to a race with udev (dhcpcd would get
an ADD event from udev, causing it to re-add an interface that it
already had, leading to a segfault later on).
* A hang/segfault processing "dhcpcd rebind" (which NixOS calls after
waking up from suspend).
Also, add "lo" to the list of ignored interfaces. It usually ignores
"lo", but apparently not when it gets an ADD event from udev.
(cherry picked from commit 2d8c0d24f2
)
2014-04-24 15:25:36 +02:00
Eelco Dolstra
242eadeb48
Remove some dead code
...
(cherry picked from commit 25af3671f9
)
2014-04-24 15:25:35 +02:00
Eelco Dolstra
9cdf29589c
Don't create world-readable swapfiles
...
(cherry picked from commit d4986b5fd3
)
2014-04-24 15:25:35 +02:00
Luca Bruno
46c3c741b0
accountsservice: fix creating data under /var/lib
...
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:58 +02:00
Luca Bruno
0cb2766511
gnome-documents: new package
...
Document manager application designed to work with GNOME 3
https://wiki.gnome.org/Apps/Documents
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:58 +02:00
Luca Bruno
827c9be4e3
gnome-online-miners: new package
...
A set of crawlers that go through your online content and index them locally in Tracker
https://wiki.gnome.org/Projects/GnomeOnlineMiners
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:58 +02:00
Luca Bruno
36d73c923c
gfbgraph: new package
...
GLib/GObject wrapper for the Facebook Graph API
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:58 +02:00
Luca Bruno
86a3024dc2
tracker: downgrade to 0.16
...
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:57 +02:00
Luca Bruno
14090a2fe3
glade: new package
...
User interface designer for GTK+ applications
https://wiki.gnome.org/Apps/Glade
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:57 +02:00
Luca Bruno
1c38eb71e6
gnome-music: new package
...
Music player and management application for the GNOME desktop environment
https://wiki.gnome.org/Apps/Music
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:56 +02:00
Luca Bruno
f1faa45bdb
file-roller: delete hicolor icon cache
...
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:56 +02:00
Luca Bruno
b226e4af87
transmission-remote-gtk: delete hicolor icon cache
...
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:56 +02:00
Luca Bruno
372647f6ab
totem: use grilo plugins
...
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:55 +02:00
Luca Bruno
18ced7db7b
grilo-plugins: new package
...
A collection of plugins for the Grilo framework
https://wiki.gnome.org/action/show/Projects/Grilo
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:55 +02:00
Luca Bruno
7e5a05ce9b
grilo: enable grl-net
...
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:54 +02:00
Luca Bruno
0c84492519
seahorse: new package
...
Application for managing encryption keys and passwords in the GnomeKeyring
https://wiki.gnome.org/Apps/Seahorse
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:54 +02:00
Luca Bruno
ae7ea8dc06
gnome3: prioritize nautilus when opening inode/directory
...
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:54 +02:00
Luca Bruno
5ca1f24a96
grilo: enable gobject introspection
...
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:53 +02:00
Luca Bruno
973f83d91a
xdg-user-dirs: fix finding default directory names
...
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:53 +02:00
Luca Bruno
2f9b9de73c
libmediaart: new library used by gnome-music
...
Library tasked with managing, extracting and handling media art caches
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:53 +02:00
Luca Bruno
afbe2b6720
gnome3: moved gnome-desktop from desktop/ to core/
...
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:52 +02:00
Luca Bruno
85f8efc834
gnome3: moved gtksourceview from desktop/ to core/
...
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:52 +02:00
Luca Bruno
b845776a90
gnome3: moved file-roller from desktop/ to apps/
...
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:52 +02:00
Luca Bruno
7043225be2
gedit: new package
...
Official text editor of the GNOME desktop environment
https://wiki.gnome.org/Apps/Gedit
Signed-off-by: Domen Kožar <domen@dev.si>
2014-04-24 01:25:51 +02:00
Bjørn Forsman
e46e9fe4ac
thrift: unbreak build
...
Add a tiny patch (already upstream) that fixes this build error:
<flex>/lib/libfl.so: undefined reference to `yylex'
(cherry picked from commit 83d0fd3078
)
2014-04-23 21:53:42 +02:00
Shea Levy
4dda8b76fe
Add gcc-4.9.0
...
(cherry picked from commit a3b1f48c5d
)
2014-04-23 10:47:53 -04:00