Commit Graph

15962 Commits

Author SHA1 Message Date
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
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
192ef70a7c haskell-prelude-extras: add version 0.4 2014-04-29 01:35:45 +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
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
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
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
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
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
Benno Fünfstück
9d15c568d8 Fix whitespace 2014-04-26 21:15:06 +02:00
Peter Simons
75da9d640e Merge pull request #2374 from klao/tz
Add tzdata and tz Haskell packages
2014-04-26 16:06:55 +02:00
Oliver Charles
f6e8b77294 Merge pull request #2399 from ttuegel/hmatrix-special
Add haskell-hmatrix-special-0.2.0
2014-04-26 09:58:37 +01:00
vi
74efbde57c Derivation for the Haskell library, "bv". 2014-04-26 16:17:04 +08:00
cillianderoiste
d733b49385 Merge pull request #2401 from linquize/lvtk
lvtk: Upgrade to 1.2.0
2014-04-26 09:49:40 +02:00
宋文武
0b99e20a3c love: update 0.9.0 -> 0.9.1
Changelog:
  https://www.love2d.org/wiki/0.9.1
2014-04-26 00:03:34 -05:00
Sterling Stein
63b3cf669b Add subtitle option for ffmpeg. 2014-04-25 20:13:12 -07:00
Linquize
e6359b4048 lvtk: Upgrade to 1.2.0 and switch to github tarball 2014-04-26 01:21:08 +02:00
Thomas Tuegel
7c274bf958 Add haskell-hmatrix-special-0.2.0 2014-04-25 17:17:47 -05:00
Oliver Charles
282a662a32 Merge pull request #2392 from cstrahan/capnproto
capnproto: Add package
2014-04-25 17:06:20 +01:00
Charles Strahan
604a4b680c capnproto: Add package 2014-04-25 11:18:18 -04:00
Mihaly Barasz
8bb3f19c6b Add tz Haskell package 2014-04-25 16:21:50 +02:00
Mihaly Barasz
2d37f8ecf0 Add tzdata Haskell package 2014-04-25 16:21:50 +02:00
mornfall
abe9fb340e Merge pull request #2390 from ertes/ertes-haskell-jack
haskell: Added enumset and jack.
2014-04-25 14:28:13 +02:00
Shea Levy
e85b164df8 Add php 5.3 variant with fpm support 2014-04-25 08:19:45 -04:00
Ertugrul Söylemez
a3a2222fec haskell: Added enumset 0.0.4 and jack 0.7.0.2. 2014-04-25 14:03:57 +02:00
Oliver Charles
5de0ca50d7 Merge pull request #2389 from bennofs/haskell-ghc-gc-tune
haskell-ghc-gc-tune: new expression
2014-04-25 12:12:57 +01:00
Austin Seipp
5401849e3a 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>
2014-04-25 05:42:00 -05:00
Benno Fünfstück
027319708e haskell-ghc-gc-tune: new expression 2014-04-25 12:33:07 +02:00
Benno Fünfstück
a2de61e2b6 jdk7: update patchversion 51 -> 55. 2014-04-25 12:29:25 +02:00
Oliver Charles
cb82334421 Merge pull request #2336 from jwiegley/cabal
Add expression for cabal-install 1.20.0.0
2014-04-25 10:55:12 +01:00
Oliver Charles
954bc3131e haskellPackages.wreq: New expression 2014-04-25 10:33:23 +01:00
Oliver Charles
2fde59d20f Merge pull request #2356 from hrdinka/haskell-msgpack
haskell-msgpack: add version 0.7.2.5
2014-04-25 10:31:45 +01:00
Oliver Charles
f7de4f099f Merge pull request #2347 from vbmithr/ocaml-pcre
Updated OCaml package pcre
2014-04-25 10:31:18 +01:00
Oliver Charles
61d74e4c8c Merge pull request #2345 from vbmithr/master
Updated OCaml package findlib
2014-04-25 10:31:04 +01:00
Oliver Charles
d6a3bb64d2 Merge pull request #2361 from vbmithr/ocaml_react
Updated react to 1.0.1
2014-04-25 10:25:58 +01:00
Oliver Charles
4ccda3324f Merge pull request #2369 from fmap/master
New package: lists and its dependency, list-extras (Haskell.)
2014-04-25 10:18:57 +01:00