jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
42,915 Commits 266 Branches 122 Tags 5.3 GiB
373defe9cd
Commit Graph

15858 Commits

Author SHA1 Message Date
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