Commit Graph

16195 Commits

Author SHA1 Message Date
Peter Simons
0235fe4819 haskell-shake: update to version 0.11.7 2014-05-07 11:23:43 +02:00
Austin Seipp
b6c7f18711 nixpkgs: add COPRTHR 1.6
COPRTHR is a very excellent little SDK implementing OpenCL and related
tech for regular multicore processors, as well as things like my new
Parallella (along with remote/networked OpenCL compute support).

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-07 04:13:47 -05:00
Oliver Charles
fcc3ae1d84 haskellPackages.snapletStripe: New expression 2014-05-07 09:57:27 +01:00
Oliver Charles
47530778db haskellPackages.stripe: Update to 0.8.1 2014-05-07 09:50:18 +01:00
宋文武
fead8862d6 gst-plugins-base: update from 1.2.3 to 1.2.4 (in #2440) 2014-05-06 18:43:01 +02:00
Vladimír Čunát
6335d5bd3f mesa: bugfix update 10.1.1 -> .2
Contains many driver fixes.
2014-05-06 18:43:01 +02:00
Vladimír Čunát
f91a594748 libdrm: minor update 2.4.52 -> .54
Including support for AMD Mullins chips.
2014-05-06 18:43:01 +02:00
Rob Vermaas
b116679b24 Force --no-same-owner for unpacking node sources. 2014-05-06 14:57:58 +02:00
John Wiegley
2f971193cc Allow Dovecot to build with clucene, and on any Unix 2014-05-05 20:53:32 -05:00
John Wiegley
7848f96b58 Add an expression for the Haskell library djinn 2014-05-05 19:48:50 -05:00
Peter Simons
7b8cd6d788 haskell-cabal-bounds: update to version 0.5 2014-05-05 10:46:40 +02:00
Peter Simons
b658ce7db7 haskell-streaming-commons: update to version 0.1.2.2 2014-05-05 10:46:40 +02:00
Peter Simons
8034dbdb0b haskell-shake: update to version 0.11.6 2014-05-05 10:46:40 +02:00
Peter Simons
f0e2d697ab haskell-repa: update to version 3.2.5.1 2014-05-05 10:46:40 +02:00
Peter Simons
ff8c978e81 haskell-repa-io: update to version 3.2.5.1 2014-05-05 10:46:40 +02:00
Peter Simons
fbcd8f1702 haskell-repa-examples: update to version 3.2.5.1 2014-05-05 10:46:40 +02:00
Peter Simons
7f7a32db50 haskell-repa-algorithms: update to version 3.2.5.1 2014-05-05 10:46:40 +02:00
Peter Simons
59b5aa05f9 haskell-persistent-postgresql: update to version 1.3.1.1 2014-05-05 10:46:40 +02:00
Peter Simons
7780de27d1 haskell-modular-arithmetic: update to version 1.2.0.0 2014-05-05 10:46:40 +02:00
Peter Simons
10d6cf6116 haskell-hit: update to version 0.6.0 2014-05-05 10:46:40 +02:00
Peter Simons
37df971a49 haskell-gloss: update to version 1.8.2.1 2014-05-05 10:46:39 +02:00
Peter Simons
e56622a1ef haskell-gloss-raster: update to version 1.8.2.1 2014-05-05 10:46:39 +02:00
Peter Simons
bea71b95ff haskell-geniplate: update to version 0.6.0.4 2014-05-05 10:46:39 +02:00
Peter Simons
76ca228a48 haskell-SafeSemaphore: update to version 0.10.1 2014-05-05 10:46:39 +02:00
Peter Simons
986a42dfe7 haskell-cabal-lenses: add version 0.1 2014-05-05 10:46:39 +02:00
Peter Simons
e7c207e10d haskell-hourglass: add version 0.1.1 2014-05-05 10:46:39 +02:00
Peter Simons
0ae6cde78a haskell-timezone-series: update to version 0.1.3 2014-05-05 10:46:39 +02:00
Peter Simons
c8f4775b8b r-curl: fix build 2014-05-05 10:22:10 +02:00
Ricky Elrod
d66cdd3c43 scala: Bump to 2.11.0, bump 2.10 to 2.10.4 2014-05-05 02:14:57 -04:00
John Wiegley
66f0275b41 Disable Texinfo tests on Darwin 2014-05-05 01:03:51 -05:00
Mathijs Kwik
00a70b454c v8: remove old version 3.14 2014-05-05 07:32:37 +02:00
Mathijs Kwik
9e7c905d98 re2: upgrade to 20140304 2014-05-05 07:32:36 +02:00
Mathijs Kwik
7e7d8d651a v8: upgrade to 3.26.8 2014-05-05 07:32:36 +02:00
Peter Simons
97262a59b5 cran-packages.nix: provide meta.homepage links for all modules 2014-05-05 00:33:51 +02:00
Peter Simons
f31f57c32d r-generic-builder: don't let derivation override the naming scheme 2014-05-05 00:33:51 +02:00
Peter Simons
66bcd77f0e R: simplify the generic builder 2014-05-04 23:54:11 +02:00
Peter Simons
d03b49c88c Merge pull request #2505 from bennofs/haskell-profiteur
haskell-profiteur: new expression
2014-05-04 23:07:20 +02:00
Benno Fünfstück
d385835c38 haskell-profiteur: new expression 2014-05-04 23:02:46 +02:00
Peter Simons
f604021658 Merge pull request #2504 from bennofs/haskell-jailbreak-case-insensitive
haskell-case-insensitive-1.0.0.1: jailbreak
2014-05-04 23:01:10 +02:00
Peter Simons
912d615fb3 Merge pull request #2503 from bennofs/haskell-jailbreak-async
async-2.0.1.3: jailbreak (see
2014-05-04 22:42:23 +02:00
Benno Fünfstück
14c4249b37 haskell-case-insensitive-1.0.0.1: jailbreak 2014-05-04 22:40:00 +02:00
Peter Simons
950393924f Merge pull request #2501 from bennofs/wreq-disable-check
haskell-wreq: disable check phase, it requires network
2014-05-04 22:36:09 +02:00
Peter Simons
0cb97aa2ac Merge pull request #2500 from ikervagyok/testing
URL-Fix
2014-05-04 22:29:49 +02:00
Peter Simons
4e1e248cf1 r-generic-builder: clean up the expression 2014-05-04 22:24:57 +02:00
Benno Fünfstück
9dd7896cba async-2.0.1.3: jailbreak (see http://hydra.nixos.org/build/10766630/nixlog/1/raw) 2014-05-04 22:00:08 +02:00
Benno Fünfstück
49d62325ea haskell-wreq: disable check phase, it requires network 2014-05-04 21:37:28 +02:00
Peter Simons
a9258080b1 R: don't install the "recommended packages"
These packages come with R, but if we install them as part of this build, then
we cannot update them without re-building R as well. Instead, we add those
packages to the R environment through the r-wrapper. This means that
recommended packages can be updated in cran-packgaes.nix, and those updates
have an effect on the installation without re-building R itself.
2014-05-04 21:12:34 +02:00
Peter Simons
a329900977 Move r-packages.nix into the r-modules directory. 2014-05-04 21:09:38 +02:00
Peter Simons
ac6bcc7836 cosmetic: move the R-wrapper into its own directory 2014-05-04 21:07:54 +02:00
Lengyel Balázs
5f025b6505 Changed URL to upstream, as the old URL was dead 2014-05-04 19:58:16 +02:00
Domen Kožar
26a1763d4b Merge pull request #2408 from scubed2/ffmpeg
Add subtitle support to ffmpeg
2014-05-04 17:04:23 +02:00
Peter Simons
7c6a730e0b R: added wrapper script that provides "R" and "Rscript" binaries that know about extra libraries
Configure an override in ~/.nixpkgs/config.nix as follows:

  {
    packageOverrides = pkgs: {

      rWrapper = pkgs.rWrapper.override {
        packages = with pkgs.rPackages; [ Defaults dataTable foreach xtable ];
      };

    };
  }
2014-05-04 15:33:15 +02:00
Peter Simons
9e5f7ada34 haskell-ghc-mod: revert "wrap the newly added ghc-modi executable"
This reverts commit eba689ad05. ghc-modi
stopped working for me after this change.

https://github.com/NixOS/nixpkgs/pull/2490
2014-05-04 14:07:42 +02:00
Peter Simons
80d39a273e HTTP-4000.2.13: patch Cabal file to declare FlexibleContexts extension to fix the build with ghc-head
https://github.com/haskell/HTTP/issues/62
2014-05-04 13:46:18 +02:00
Peter Simons
911d9d5b1b Merge pull request #2489 from jwiegley/haskexprs
Add several new Haskell expressions
2014-05-04 13:22:13 +02:00
Peter Simons
1220084354 haskell-httpd-shed: jailbreak to fix build with latest version of 'network' 2014-05-04 13:19:56 +02:00
Peter Simons
ce21d883c0 haskell-vinyl: add version 0.3 2014-05-04 13:19:56 +02:00
Peter Simons
b3f3d111ad haskell-graphviz: jailbreak to fix build with fgl 5.x 2014-05-04 13:19:56 +02:00
Peter Simons
eba689ad05 haskell-ghc-mod: wrap the newly added ghc-modi executable
Cherry-picked from <https://github.com/NixOS/nixpkgs/pull/2490>.
2014-05-04 13:03:18 +02:00
Peter Simons
7c06d93c0f haskell-download-curl: jailbreak to fix build with recent versions of tagsoup 2014-05-04 12:53:45 +02:00
Peter Simons
a2ae6ebb7b haskell-HTTP-4000.2.13: disable test suite to fix the build
https://github.com/haskell/HTTP/issues/60
2014-05-04 12:40:58 +02:00
Peter Simons
cfb6902526 HTTP-4000.2.13: jailbreak to fix build with latest version of conduit
https://github.com/haskell/HTTP/issues/61
https://github.com/NixOS/nixpkgs/issues/2495
2014-05-04 12:40:01 +02:00
Peter Simons
c2fd001fd4 Remove obsolete Agda-executable package; the compiler is not part of 'Agda'. 2014-05-04 12:17:35 +02:00
John Wiegley
9bc6893712 Add several new Haskell expressions 2014-05-03 23:01:00 -05:00
Bjørn Forsman
70b39119c3 qwt: add version 6.x (we already have 5.x)
'qgis', one of the few 'qwt' dependees in nixpkgs, fails to build with
qwt 6. So I'm not moving the default version away from 5.x. Also, not
changing the default allows easy/safe cherry-picking to the stable
branch.
2014-05-04 00:11:26 +02:00
Vladimír Čunát
d96f262166 json-c: update to 0.12, fixing CVE-2013-{6370,6371} 2014-05-03 21:30:48 +02:00
Peter Simons
208e7cae1a happy-1.19.3: patch code to build with ghc-head
https://github.com/simonmar/happy/issues/20
2014-05-03 20:22:12 +02:00
Peter Simons
1bfeca7a90 haddock-2.14.2: re-generate with cabal2nix
Fixes <https://github.com/NixOS/nixpkgs/issues/2481>.
2014-05-03 20:03:33 +02:00
Peter Simons
4b307a7b96 haskell-network: update to version 2.5.0.0 2014-05-03 20:03:33 +02:00
Peter Simons
dd1dd06b88 haskell-text: update to version 1.1.1.1 2014-05-03 20:03:32 +02:00
Peter Simons
c1705e8b33 haskell-fgl: add version 5.5.0.1 2014-05-03 20:03:32 +02:00
Peter Simons
eb7958247a haskell-unordered-containers: update to version 0.2.4.0 2014-05-03 20:03:32 +02:00
Peter Simons
074c128fec haskell-attoparsec: update to version 0.11.3.0 2014-05-03 20:03:32 +02:00
Peter Simons
c0d742110f haskell-threadscope: update to version 0.2.3 2014-05-03 20:03:32 +02:00
Peter Simons
0cb0810c96 haskell-hslogger: update to version 1.2.4 2014-05-03 20:03:32 +02:00
Peter Simons
0e4d6747ee haskell-HaRe: update to version 0.7.2.3 2014-05-03 20:03:32 +02:00
Peter Simons
1940a89112 haskell-stringable: update to version 0.1.3 2014-05-03 20:03:32 +02:00
Peter Simons
3aa5ae8f31 haskell-pcre-light: update to version 0.4.0.2 2014-05-03 20:03:31 +02:00
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
Luca Bruno
63cdda1f4e zeitgeist: new package
Zeitgeist is a service which logs the users's activities and events

https://launchpad.net/zeitgeist
2014-05-02 17:43:02 +02: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
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