Peter Simons
e0a257ae59
haskell-monad-extras: update to version 0.5.8
2014-05-03 20:03:31 +02:00
Peter Simons
45165186dc
haskell-logging: update to version 1.4.1
2014-05-03 20:03:31 +02:00
Peter Simons
f899787872
haskell-libmpd: update to version 0.8.0.3
2014-05-03 20:03:31 +02:00
Peter Simons
9953352f3e
haskell-github: update to version 0.8
2014-05-03 20:03:31 +02:00
Peter Simons
b851ea759e
haskell-ghc-events: update to version 0.4.3.0
2014-05-03 20:03:31 +02:00
Peter Simons
3a784a6b8c
haskell-JuicyPixels: update to version 3.1.5.1
2014-05-03 20:03:31 +02:00
Peter Simons
0f6bd32324
haskell-Hipmunk: update to version 5.2.0.14
2014-05-03 20:03:30 +02:00
Peter Simons
13b246b221
ghc-head: update snapshot to 7.9.20140430 (and download the tarball from Debian)
...
https://github.com/NixOS/nixpkgs/pull/2480
2014-05-03 20:03:30 +02:00
Peter Simons
0138b81ed6
Merge pull request #2483 from proger/haskell-ekg-0.4
...
haskell: bump ekg to 0.4, add ekg-core
2014-05-03 19:30:02 +02:00
Cillian de Róiste
f3e0a29338
aubio: update from 0.4.0 to 0.4.1
2014-05-03 17:12:06 +02:00
Vladimir Kirillov
599f9a09fe
haskell: bump ekg to 0.4, add ekg-core
2014-05-03 17:36:03 +03:00
Rob Vermaas
837ddd22f2
Merge pull request #2388 from bennofs/update-jdk7
...
jdk7: update patchversion 51 -> 55.
2014-05-03 15:59:49 +02:00
Peter Simons
64d662e056
Agda: move compiler and standard library into a common directory
...
Also renamed AgdaStdLib attribute to AgdaStdlib, since upstream doesn't
seem to capitalize that name.
2014-05-03 12:37:17 +02:00
Peter Simons
801a4818c8
Merge pull request #2474 from jwiegley/agda-stdlib
...
Add expression for the Agda standard library
2014-05-03 12:33:26 +02:00
Mateusz Kowalczyk
ab7e2f1dc5
haskell-HTTP: update to version 4000.2.13
2014-05-03 12:27:25 +02:00
Oliver Charles
4e70c764f5
Merge pull request #2473 from jwiegley/these
...
Add expression for Haskell library 'these'
2014-05-03 11:19:18 +01:00
Vladimír Čunát
6faa50e11d
libmms: bugfix update, including CVE-2014-2892
2014-05-03 11:38:20 +02:00
Vladimír Čunát
3bb121e50e
dbus: minor update 1.8.0 -> .2
2014-05-03 11:31:28 +02:00
Vladimír Čunát
e0be3df0eb
harfbuzz: minor update 0.9.27 -> .28
2014-05-03 11:31:27 +02:00
Peter Simons
ca35c44408
haskell-streaming-commons: update to version 0.1.2.1
2014-05-03 10:53:22 +02:00
Peter Simons
49503c10c7
haskell-hledger: update to version 0.23
2014-05-03 10:53:22 +02:00
Peter Simons
bad008d48a
haskell-hledger-web: update to version 0.23
2014-05-03 10:53:22 +02:00
Peter Simons
7cbf87792a
haskell-hledger-lib: update to version 0.23
2014-05-03 10:53:22 +02:00
Peter Simons
92c9b2eb8f
haskell-conduit: update to version 1.1.1.1
2014-05-03 10:53:22 +02:00
Peter Simons
6e58bbe32b
haskell-conduit-extra: update to version 1.1.0.3
2014-05-03 10:53:22 +02:00
Peter Simons
6fe44baced
haskell-conduit-combinators: update to version 0.2.5.1
2014-05-03 10:53:22 +02:00
Peter Simons
b4893842d2
haskell-classy-prelude: update to version 0.9.1
2014-05-03 10:53:22 +02:00
Peter Simons
48f2ae7dec
haskell-classy-prelude-conduit: update to version 0.9.1
2014-05-03 10:53:22 +02:00
Peter Simons
084cec9404
haskell-arithmoi: update to version 0.4.1.0
2014-05-03 10:53:21 +02:00
John Wiegley
7d788d5e4f
Add expression for the Agda standard library
2014-05-02 19:15:38 -05:00
宋文武
388d32d966
gst-plugins-bad: build with wildmidi and fluidsynth
...
remove timidity, the plugin does not build at all
2014-05-02 21:31:06 +02:00
宋文武
da98b7d65e
renpy: update from 6.17.3 to 6.17.4
2014-05-02 21:31:05 +02:00
宋文武
b57c9ed9d5
gstreamer: update from 1.2.3 to 1.2.4
2014-05-02 21:31:05 +02:00
宋文武
69c4dae379
gst-plugins-ugly: update from 1.2.3 to 1.2.4
2014-05-02 21:31:05 +02:00
宋文武
cd5702da47
gst-plugins-good: update from 1.2.3 to 1.2.4
2014-05-02 21:31:05 +02:00
宋文武
98dd37afad
gst-plugins-bad: update from 1.2.3 to 1.2.4
2014-05-02 21:31:05 +02:00
宋文武
6324296900
gst-libav: update from 1.2.3 to 1.2.4
2014-05-02 21:31:05 +02:00
Austin Seipp
59528d9f0e
clang-analyzer: respect $NIX_CFLAGS_COMPILE
...
When using scan-build, you're often going to want to use it in the
context of a Nix expression with buildInputs, and the default wrapper
scripts will put things like include locations for those inputs
$NIX_CFLAGS_COMPILE. Thus, scan-build also needs to pass them to the
analyzer - while the link flags aren't relevant, the include flags are.
This is because the analyzer executable that gets run by scan-build is
*not* clang-wrapper, but the actual clang executable, so it doesn't
implicitly add such arguments. The build is two-stage - it runs the real
clang wrapper once, and then the analyzer once.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 14:07:37 -05:00
Austin Seipp
27a0d56514
compcert: Fix Hydra platforms
...
Copy-pasta error, and compcert doesn't really make sense on Darwin or
64bit linux (it's callPackage_i686 anyway).
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-02 14:07:36 -05:00
John Wiegley
fb778b705f
Add expression for Haskell library 'these'
2014-05-02 13:43:34 -05:00
Michael Raskin
feddcfaf1e
Readding Erlang R16B02: R17 is a major update and it breaks Ejabberd.
2014-05-02 20:50:58 +04:00
Peter Simons
de26954b30
Merge pull request #2470 from sol/master
...
Update haskell-hspec to version 0.9.5
2014-05-02 12:09:08 +02:00
Simon Hengel
e4dead3171
Update haskell-hspec to version 0.9.5
2014-05-02 14:57:46 +08:00
Austin Seipp
f21d619558
nixpkgs: move frama-c to a more appropriate directory
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:14:08 -05:00
Austin Seipp
0c51a4ac98
nixpkgs: add CompCert
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:11:46 -05:00
Peter Simons
303ddfab4c
haskell-ghc-mod: re-generate with cabal2nix
2014-05-01 23:40:13 +02:00
Peter Simons
baa1543dbc
cabal-bounds: re-generate with cabal2nix
2014-05-01 23:38:20 +02:00
Peter Simons
8b67834bf3
haskell-ghc-mod: make sure GHC <7.8 and >7.8 pick the same datadir install path
2014-05-01 22:57:09 +02:00
Peter Simons
d6dd5688a2
haskell-ghc-mod: disable test suite to fix build with GHC 7.8.2
...
https://github.com/kazu-yamamoto/ghc-mod/issues/242
2014-05-01 22:56:44 +02:00
Peter Simons
74a9767c5e
haskell-libmpd: jailbreak to fix build with recent versions of 'text'
2014-05-01 22:28:13 +02:00
Peter Simons
b5113c90a4
haskell-yesod-form: update to version 1.3.8.3
2014-05-01 21:57:04 +02:00
Peter Simons
cf871089b5
haskell-warp: update to version 2.1.5.1
2014-05-01 21:57:04 +02:00
Peter Simons
373defe9cd
haskell-sqlite-simple: update to version 0.4.7.0
2014-05-01 21:57:04 +02:00
Peter Simons
eead385738
haskell-snap-cors: update to version 1.2.4
2014-05-01 21:57:04 +02:00
Peter Simons
07b80292a0
haskell-pandoc-types: update to version 1.12.3.3
2014-05-01 21:57:04 +02:00
Peter Simons
f1ce1480df
haskell-nanospec: update to version 0.2.0
2014-05-01 21:57:04 +02:00
Peter Simons
e942079d46
haskell-mono-traversable: update to version 0.5.0
2014-05-01 21:57:03 +02:00
Peter Simons
c4eb80e485
haskell-lifted-async: update to version 0.2.0
2014-05-01 21:57:03 +02:00
Peter Simons
9921686058
haskell-largeword: update to version 1.2.2
2014-05-01 21:57:03 +02:00
Peter Simons
8fc6f1a080
haskell-language-javascript: update to version 0.5.13
2014-05-01 21:57:03 +02:00
Peter Simons
705888c629
haskell-http-client: update to version 0.3.2.1
2014-05-01 21:57:03 +02:00
Peter Simons
62a775df61
haskell-hspec: update to version 1.9.4
2014-05-01 21:57:03 +02:00
Peter Simons
3b6b967b9d
haskell-hspec-meta: update to version 1.9.4
2014-05-01 21:57:03 +02:00
Peter Simons
a1952b5e13
haskell-hledger-web: update to version 0.22.8
2014-05-01 21:57:03 +02:00
Peter Simons
84c41f46f7
haskell-ghc-mod: update to version 4.1.0
2014-05-01 21:57:03 +02:00
Peter Simons
45af6556f6
haskell-fay: update to version 0.20.0.0
2014-05-01 21:57:03 +02:00
Peter Simons
14edbe5597
haskell-fay-base: update to version 0.19.1.2
2014-05-01 21:57:03 +02:00
Peter Simons
42e324c537
haskell-cassava: update to version 0.4.0.0
2014-05-01 21:57:03 +02:00
Peter Simons
87f8a70f9c
haskell-blaze-html: update to version 0.7.0.2
2014-05-01 21:57:03 +02:00
Peter Simons
7452e8b4eb
haskell-Elm: update to version 0.12.1.3
2014-05-01 21:57:03 +02:00
Peter Simons
e81ac36bff
haskell-spoon: add version 0.3.1
2014-05-01 21:57:02 +02:00
Peter Simons
39c3cb1d99
haskell-groom: add version 0.1.2
2014-05-01 21:57:02 +02:00
Domen Kožar
1d2278f480
pypy: disable sqlite3 tests (failing due to sqlite bump)
2014-05-01 18:38:06 +02:00
Austin Seipp
4fe2f98051
zarith: fix perl path
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 09:14:16 -05:00
Peter Simons
979520396e
Merge pull request #2311 from bennofs/haskell-cabal-bounds
...
haskell-cabal-bounds: New expression
2014-05-01 14:53:10 +02:00
Tom Dimiduk
c4f66df29a
add zeromq4 and zeromq4-haskell
2014-05-01 07:52:21 -04: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
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
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
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
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
John Wiegley
3988f438ef
Add expression for the Haskell posix-paths library
2014-04-30 17:19:34 -04: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
Jaka Hudoklin
ab53d469f8
erlang: enable and fix builds on darwin
2014-04-29 22:06:53 +02:00
Benno Fünfstück
3685bf378f
haskell: new expression cabal-bounds
2014-04-29 19:19:10 +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
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