Eelco Dolstra
cb45ecad34
systemd: Look for fsck.* in the right place
...
Fixes #2464 .
2014-05-01 14:32:58 +02:00
Tom Dimiduk
c4f66df29a
add zeromq4 and zeromq4-haskell
2014-05-01 07:52:21 -04:00
Eelco Dolstra
a986bbf4ba
postgresql: Update to latest versions
2014-05-01 13:49:31 +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
Oliver Charles
038645ad97
Merge pull request #2457 from jwiegley/posix-paths
...
Add expression for the Haskell posix-paths library
2014-05-01 11:41:39 +01:00
Eelco Dolstra
65a78e16f1
httpd: Update to 2.2.27
...
CVE-2013-6438, CVE-2014-0098
2014-05-01 11:48:56 +02:00
Eelco Dolstra
ba332accc2
php: Update to 5.4.27
...
CVE-2013-7345, CVE-2014-1943, CVE-2014-2270, CVE-2013-6712
2014-05-01 11:45:35 +02:00
Eelco Dolstra
7e36ddf766
afflib: Fix broken URL
...
Also, use stdenv.mkDerivation and drop unusued libewf dependency.
2014-05-01 10:57:52 +02:00
Eelco Dolstra
6c69ad3a97
Fix meta.license attribute
2014-05-01 10:51:15 +02:00
Austin Seipp
628e914f2b
frama-c: overhaul, upgrade to 20140301-Neon
...
This massively upgrades the frama-c package to be far more useful,
including support for a lot more plugins, including Jessie.
Jessie unfortunately requires that its plugin is installed alongside
frama-c, so we install why2 (where it lives) along with frama-c now.
This increases the size, but makes it much more useful.
In the future, it may be possible to split out the build such that why2
is a separate expression and frama-c only installs the plugin, rather
than all of why2. However, right now this is fine.
Furthermore, why3 is now a dependency - the Jessie plugin can use
either, and defaults to Why3 now. Per the design, Frama-C can also go
from Why2->Why3 as well.
We also make Coq and Alt-Ergo dependencies, so that out-of-the-box users
get at least one SMT solver and a prover for support.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:42:34 -05: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
5f702d52f4
ocamlgraph: upgrade to 1.8.5
...
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
Austin Seipp
02351691ba
ocaml-packages: add zarith 1.2.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:28 -05:00
Austin Seipp
2d7fe68212
lablgtk: remove old patch
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:25:45 -05:00
Moritz Ulrich
1ac4383889
elixir: update from 0.12.4 to 0.13.0
2014-04-30 23:52:55 +02:00
Moritz Ulrich
a21486d990
Erlang: Update from R16B02 to 17.0.
2014-04-30 23:52:55 +02:00
Moritz Ulrich
397682be6b
Bump pass(word-store) to 1.6.1.
...
...and also simplify the expression massively.
2014-04-30 23:52:55 +02:00
Moritz Ulrich
81a6fcd847
anki: update from 2.0.22 to 2.0.26
2014-04-30 23:52:55 +02: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
John Wiegley
3988f438ef
Add expression for the Haskell posix-paths library
2014-04-30 17:19:34 -04: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
Rob Vermaas
fed7a43020
Update nixops 1.1.1 to 1.2.
2014-04-30 11:15:36 +02:00
Austin Seipp
3c3256e4a8
nixpkgs: clang-analyzer 3.4
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 19:36:43 -05:00
Austin Seipp
52514efb16
cryptol: Replace URLs with something meaningful
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 17:54:37 -05:00
Austin Seipp
d9d76f1a3a
cryptol: add 1.8.x expression
...
This also includes support for the verification tools I'm using. Cryptol
2 is still the default obviously.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 17:50:55 -05:00
Austin Seipp
1d3b5874ad
nixpkgs: cov-build 7.0.2
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 16:00:34 -05:00
Jaka Hudoklin
cbfbd01cd7
nodejs: fix on i686-linux
...
Fixes this:
creating ./config.gypi
creating ./config.mk
building
make flags: SHELL=/nix/store/fp0nwhj932kscakw1gbnlmmk8pdfv9sq-bash-4.2-p45/bin/bash
building out/Makefile
/nix/store/vh2zy8l2797yl3mri35y8jnhc81w9hm1-python-2.7.6/bin/python tools/gyp_node.py -f make
/bin/sh: which: command not found
gyp: Call to '(echo | $(echo ${CXX_host:-$(which g++)}) -m32 -E - > /dev/null 2>&1) && echo "-m32" || true' returned exit status 0.
make: *** [out/Makefile] Error 1
[Bjørn: add build error to commit message.]
2014-04-29 22:29:24 +02:00
Thomas Tuegel
7896a84849
qvim: add lua support
2014-04-29 22:19:58 +02:00
Jaka Hudoklin
ca3c2b7b2a
rabbitmq_server: enable builds on darwin
2014-04-29 22:06:54 +02:00
Jaka Hudoklin
ab53d469f8
erlang: enable and fix builds on darwin
2014-04-29 22:06:53 +02:00
Eelco Dolstra
fe4bc3cc80
Fix evaluation error
...
http://hydra.nixos.org/build/10697257
2014-04-29 20:40:28 +02:00
Benno Fünfstück
3685bf378f
haskell: new expression cabal-bounds
2014-04-29 19:19:10 +02:00
Bjørn Forsman
b802924af1
xfce: fix typo introduced in recent commit (s/gtk/gtk3/)
...
Fix typo introduced in commit 0b2dd3a12f
(Xfce: Don't depend on GTK+ 3 by default).
2014-04-29 19:13:43 +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
Mihaly Barasz
1f2228cdc1
tzdata: use symlinks instead of hardlinks
...
Hard links are not handled by nar, so installing from binary cache
unnecessarily duplicates data. Also, it's more common to use symlinks for the
tzdata package in other distributions.
2014-04-29 16:25:10 +02:00
Eelco Dolstra
dc224baba1
tzdata: Update to 2014b
2014-04-29 16:13:15 +02:00
Mihaly Barasz
c2c90bf2bb
tzdata: fix 'posix' symlink
2014-04-29 16:08:19 +02:00
Oliver Charles
7fb22dd5a0
Merge pull request #2444 from sol/update-http-kit
...
Update haskell-http-kit to version 0.2.2
2014-04-29 14:10:06 +01:00
Eelco Dolstra
0b2dd3a12f
Xfce: Don't depend on GTK+ 3 by default
...
Given that Xfce is intended as a light-weight desktop environment,
pulling in two versions of GTK+ by default is not ideal.
2014-04-29 14:42:36 +02:00
Simon Hengel
6cb6694f8b
Update haskell-http-kit to version 0.2.2
2014-04-29 20:24:14 +08:00
Eelco Dolstra
5ae8ed381c
Shut up warning about missing fonts.dtd
2014-04-29 12:27:03 +02:00
Kirill Elagin
8dc287b88c
Let users install fonts to their HOME directory
2014-04-29 12:27:03 +02:00
Vladimír Čunát
920a734a15
qt48: bugfix update 4.8.5 -> .6
...
Some patches dropped, as they seemed included.
2014-04-29 09:29:11 +02:00
Peter Simons
50d5d8b33f
The hamlet and shakespeare-* packages are deprecated and no longer
...
export any code. This means that we cannot run the Haddock phase.
2014-04-29 01:35:50 +02:00
Peter Simons
1a06bcc109
haskell-packunused: update to version 0.1.1.2
2014-04-29 01:35:50 +02:00
Peter Simons
d163de3bdb
haskell-zip-archive: update to version 0.2.2.1
2014-04-29 01:35:49 +02:00
Peter Simons
2b1fc1ad1b
haskell-yesod-test: update to version 1.2.1.4
2014-04-29 01:35:49 +02:00
Peter Simons
247b903b68
haskell-yesod-core: update to version 1.2.15
2014-04-29 01:35:49 +02:00
Peter Simons
91af4b57ac
haskell-yesod-bin: update to version 1.2.9.1
2014-04-29 01:35:49 +02:00
Peter Simons
c1d56bb242
haskell-xml-hamlet: update to version 0.4.0.8
2014-04-29 01:35:49 +02:00
Peter Simons
0c7b8142da
haskell-x509-system: update to version 1.4.5
2014-04-29 01:35:49 +02:00
Peter Simons
b39407d997
haskell-websockets: update to version 0.8.2.2
2014-04-29 01:35:49 +02:00
Peter Simons
b0ea67aa87
haskell-warp: update to version 2.1.5
2014-04-29 01:35:49 +02:00
Peter Simons
045b7d77a1
haskell-warp-tls: update to version 2.0.5
2014-04-29 01:35:49 +02:00
Peter Simons
73bfdbf69f
haskell-wai-test: update to version 2.0.1.2
2014-04-29 01:35:49 +02:00
Peter Simons
76f369772f
haskell-twitter-types: update to version 0.2.20140424
2014-04-29 01:35:49 +02:00
Peter Simons
a9f35c5e67
haskell-tagged: update to version 0.7.2
2014-04-29 01:35:49 +02:00
Peter Simons
74e12c231b
haskell-syntactic: update to version 1.12.1
2014-04-29 01:35:48 +02:00
Peter Simons
e4186ad25c
haskell-stylish-haskell: update to version 0.5.10.0
2014-04-29 01:35:48 +02:00
Peter Simons
8825b68758
haskell-streaming-commons: update to version 0.1.2
2014-04-29 01:35:48 +02:00
Peter Simons
4cc210e793
haskell-sqlite-simple: update to version 0.4.6.1
2014-04-29 01:35:48 +02:00
Peter Simons
fd5cf61924
haskell-snap-server: update to version 0.9.4.4
2014-04-29 01:35:48 +02:00
Peter Simons
8ebb807985
haskell-snap-cors: update to version 1.2.3
2014-04-29 01:35:48 +02:00
Peter Simons
466f5ce639
haskell-smtps-gmail: update to version 1.2.0
2014-04-29 01:35:48 +02:00
Peter Simons
63ec22b6b4
haskell-sized-types: update to version 0.5.0
2014-04-29 01:35:48 +02:00
Peter Simons
e9aa6c017a
haskell-shakespeare: update to version 2.0.0.3
2014-04-29 01:35:48 +02:00
Peter Simons
fa92bc88ca
haskell-shakespeare-text: update to version 1.1.0
2014-04-29 01:35:48 +02:00
Peter Simons
8884a80caf
haskell-shakespeare-js: update to version 1.3.0
2014-04-29 01:35:48 +02:00
Peter Simons
90ad782cc5
haskell-shakespeare-i18n: update to version 1.1.0
2014-04-29 01:35:48 +02:00
Peter Simons
b6d3a73d52
haskell-shakespeare-css: update to version 1.1.0
2014-04-29 01:35:48 +02:00
Peter Simons
d043573059
haskell-retry: update to version 0.4
2014-04-29 01:35:48 +02:00
Peter Simons
7841191a84
haskell-regular: update to version 0.3.4.3
2014-04-29 01:35:48 +02:00
Peter Simons
0823af1708
haskell-pointedlist: update to version 0.6.1
2014-04-29 01:35:47 +02:00
Peter Simons
65ac678f1b
haskell-persistent-postgresql: update to version 1.3.1
2014-04-29 01:35:47 +02:00
Peter Simons
d2a0bde63f
haskell-permutation: update to version 0.5.0.4
2014-04-29 01:35:47 +02:00
Peter Simons
9131908d53
haskell-nats: update to version 0.1.3
2014-04-29 01:35:47 +02:00
Peter Simons
cee7a67810
haskell-monads-tf: update to version 0.1.0.2
2014-04-29 01:35:47 +02:00
Peter Simons
fe5f31bdb1
haskell-mime-mail: update to version 0.4.5.2
2014-04-29 01:35:47 +02:00
Peter Simons
9aab7494bc
haskell-http-conduit: update to version 2.1.2
2014-04-29 01:35:47 +02:00
Peter Simons
4a1340c780
haskell-http-client: update to version 0.3.2
2014-04-29 01:35:47 +02:00
Peter Simons
da7cc3a1f1
haskell-hspec: update to version 1.9.3
2014-04-29 01:35:47 +02:00
Peter Simons
e74db96100
haskell-hspec-meta: update to version 1.9.3
2014-04-29 01:35:47 +02:00
Peter Simons
5717591f43
haskell-hslua: update to version 0.3.12
2014-04-29 01:35:47 +02:00
Peter Simons
c7bd8255a6
haskell-hinotify: update to version 0.3.7
2014-04-29 01:35:47 +02:00
Peter Simons
f80d29805a
haskell-haskell-src-exts: update to version 1.15.0.1
2014-04-29 01:35:47 +02:00
Peter Simons
01494efdd6
haskell-haskell-names: update to version 0.3.3.2
2014-04-29 01:35:47 +02:00
Peter Simons
0e1af854bb
haskell-happstack-hamlet: update to version 7.0.4
2014-04-29 01:35:46 +02:00
Peter Simons
6f47302ead
haskell-hamlet: update to version 1.2.0
2014-04-29 01:35:46 +02:00
Peter Simons
5926fec3f9
haskell-free: update to version 4.7.1
2014-04-29 01:35:46 +02:00
Peter Simons
27be932ff3
haskell-filestore: update to version 0.6.0.2
2014-04-29 01:35:46 +02:00
Peter Simons
75289fbc31
haskell-extensible-effects: update to version 1.6.0
2014-04-29 01:35:46 +02:00
Peter Simons
b9d4464af6
haskell-esqueleto: update to version 1.4
2014-04-29 01:35:46 +02:00
Peter Simons
8ae402a4a6
haskell-distributive: update to version 0.4.3.2
2014-04-29 01:35:46 +02:00
Peter Simons
e2ecbc0267
haskell-direct-sqlite: update to version 2.3.13
2014-04-29 01:35:46 +02:00
Peter Simons
80454adf79
haskell-dataenc: update to version 0.14.0.7
2014-04-29 01:35:46 +02:00
Peter Simons
740470e6a4
haskell-data-ordlist: update to version 0.4.6.1
2014-04-29 01:35:46 +02:00
Peter Simons
f380255792
haskell-cuda: update to version 0.6.0.0
2014-04-29 01:35:46 +02:00
Peter Simons
cc8959c86a
haskell-contravariant: update to version 0.5
2014-04-29 01:35:46 +02:00
Peter Simons
1f8334eacf
haskell-conduit: update to version 1.1.1
2014-04-29 01:35:46 +02:00
Peter Simons
310c4299a9
haskell-conduit-extra: update to version 1.1.0.2
2014-04-29 01:35:46 +02:00
Peter Simons
8f607fca3a
haskell-conduit-combinators: update to version 0.2.5
2014-04-29 01:35:45 +02:00
Peter Simons
f4524394b0
haskell-cereal-conduit: update to version 0.7.2.2
2014-04-29 01:35:45 +02:00
Peter Simons
a0265900f5
haskell-c2hs: update to version 0.17.2
2014-04-29 01:35:45 +02:00
Peter Simons
e7721d7027
haskell-blaze-markup: update to version 0.6.1.0
2014-04-29 01:35:45 +02:00
Peter Simons
f012c2b131
haskell-bifunctors: update to version 4.1.1.1
2014-04-29 01:35:45 +02:00
Peter Simons
ad784bb2f2
haskell-active: update to version 0.1.0.13
2014-04-29 01:35:45 +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
e8ba2d4ded
haskell-packages.nix: switch ghc-head to cabal-install 1.20.x.x
2014-04-29 01:35:45 +02:00
Peter Simons
2bf7311b3f
haskell-packages.nix: cosmetic
2014-04-29 01:35:45 +02:00
Peter Simons
192ef70a7c
haskell-prelude-extras: add version 0.4
2014-04-29 01:35:45 +02:00
Austin Seipp
7faaa9e6da
lockdep: 3.14 -> 3.14.2
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 17:34:35 -05:00
Austin Seipp
ec13d61cbf
minecraft-server: 1.7.5 -> 1.7.9
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 17:34:35 -05:00
Peter Simons
f060e592cf
desktops/cinnamon/*.nix: mark as broken per https://github.com/NixOS/nixpkgs/issues/2384
2014-04-28 23:20:37 +02:00
Peter Simons
001c64c1df
Merge pull request #2342 from jwiegley/icu
...
Fix icu4c expression for latest gcc (fixes #2341 )
2014-04-28 22:50:31 +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
fec91fd092
fmod: 4.44.32 -> 4.44.33
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 15:27:40 -05: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
Peter Simons
93846bef59
haskell-hfsevents: re-generate with cabal2nix
2014-04-28 19:04:10 +02:00
Peter Simons
11fc857e30
haskell-jack: re-generate with cabal2nix
2014-04-28 19:04:10 +02:00
Peter Simons
5ac35c0f3b
haskell-tz: fix build (of the test suite)
2014-04-28 19:04:10 +02:00
Peter Simons
9eff988bbf
haskell-enumset: re-generate with cabal2nix
2014-04-28 19:04:10 +02:00
Eelco Dolstra
2ca913c509
Add some packages to the channel
2014-04-28 18:34:23 +02:00
Domen Kožar
80f7248c83
Merge pull request #2432 from Fuuzetsu/livestreamer
...
livestreamer: version 1.8.0
2014-04-28 17:08:58 +02:00
Vladimír Čunát
d76b5d5ce3
Merge branch 'x-updates': mesa 10.0.* -> 10.1.1
...
Also minor xorg bumps.
2014-04-28 16:22:55 +02:00
Eelco Dolstra
17336efdd8
apr: Update to 1.5.1
2014-04-28 14:45:54 +02: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
Simon Hengel
62b883070b
Update haskell-base-compat to version 0.5.0
...
Closes #2431
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 04:58:12 -05:00
Simon Hengel
692fc6fdc1
Update haskell-http-kit to version 0.2.1
...
Closes #2430
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 04:58:09 -05:00
Mateusz Kowalczyk
9cb0a79538
livestreamer: version 1.8.0
...
A test fails with Python 3.4 so we ignore that one.
2014-04-28 09:03:44 +00:00
Austin Seipp
111e1536e5
nixpkgs: remove cb1cat
...
Brice Minaud reported a simple attack on the CBEAM Pi permutation
function, resulting in it being withdrawn from CAESAR. :(
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 13:51:56 -05: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
Bjørn Forsman
6859853045
psmisc: (from upstream) Typo in fuser makes -M on all the time
2014-04-27 20:19:31 +02: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
e590c0a867
ats/ats2: clean-up, adopt, add Hydra packages
...
This also bumps ATS2 to version 0.0.7
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 11:26:16 -05:00