alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
42707 commits 217 branches 121 tags 4.5 GiB
Commit graph

36265 commits

Author SHA1 Message Date
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
aszlig 33eced411f
python-django: Update to 1.4.11, 1.5.6 and 1.6.3. 
This fixes CVE-2014-0472, details can be found at:

http://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2014-0472
https://www.djangoproject.com/weblog/2014/apr/21/security/

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
(cherry picked from commit 4a0c468043)
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-04-25 12:30:23 +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
Rob Vermaas 477b9a9bbb Merge pull request #2363 from wizeman/u/nethogs 
nethogs: Add package
 2014-04-25 11:34:22 +02: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 ba57ef9ff2 Merge pull request #2383 from jwiegley/texlive 
Update texlive expressions with new tarball versions
 2014-04-25 10:19:38 +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
Eelco Dolstra 1bae93cb82 debian: Update to 6.0.9 2014-04-25 10:43:26 +02:00
Sander van der Burg 1e31184de6 Merge pull request #2382 from linquize/DisnixWebService 
DisnixWebService: Fix broken build by exposing jdk as buildInputs
 2014-04-25 10:30:14 +02:00
Sander van der Burg ff48fce0cf Merge pull request #2381 from linquize/axis2 
axis2: Remove the extra slash in URL
 2014-04-25 10:29:52 +02:00
Peter Simons 83df08830f qfsm: mark 'broken' because of build errors 
Upstream seems to have abandoned the package.
 2014-04-25 10:04:58 +02:00
Peter Simons 964f1e0e20 tkgate-2.x: mark 'broken' because the application segfaults after startup 2014-04-25 10:04:30 +02:00
John Wiegley 369c227973 Update texlive expressions with new tarball versions 
This is needed because the older tarballs are no longer available for
download.
 2014-04-25 00:44:05 -05:00
Ricardo M. Correia efae8ce543 grsecurity: Update all patches 
stable:  3.0-3.2.57-201404182109            -> 3.0-3.2.57-201404241714
test:    3.0-3.14.1-201404201132            -> 3.0-3.14.1-201404241722
vserver: 3.0-3.2.57-vs2.3.2.16-201404182110 -> 3.0-3.2.57-vs2.3.2.16-201404241715
 2014-04-25 04:41:58 +02:00
Linquize 9cacabd5bb DisnixWebService: Fix broken build by exposing jdk as buildInputs 2014-04-25 07:44:48 +08:00
Linquize 7d5a5354d8 axis2: Remove the extra slash in URL 2014-04-25 07:32:23 +08:00
Vladimír Čunát 116d52c6df linux-3.12: bump .17 -> .18 2014-04-24 20:02:34 +02:00
Shea Levy d4cb80eaf4 sproxy: bump 2014-04-24 13:21:46 -04:00
Shea Levy c7f2d87a56 Add haskell-http-kit 2014-04-24 13:06:01 -04:00
Eelco Dolstra d304b277bd Silence some Hydra evaluation warnings 2014-04-24 15:40:55 +02:00
Eelco Dolstra 2d8c0d24f2 dhcpcd: Fix segfaults 
This fixes several problems in the dhcpcd service:

* A segfault during startup, due to a race with udev (dhcpcd would get
  an ADD event from udev, causing it to re-add an interface that it
  already had, leading to a segfault later on).

* A hang/segfault processing "dhcpcd rebind" (which NixOS calls after
  waking up from suspend).

Also, add "lo" to the list of ignored interfaces. It usually ignores
"lo", but apparently not when it gets an ADD event from udev.
 2014-04-24 15:19:26 +02:00
robberer a2fad89723 kde: “kdnssd” package is now called “zeroconf-ioslave” 
Close #2358.
 2014-04-24 13:29:38 +02:00
Rickard Nilsson 7336218a9e postfix: Add version 2.11.0 as nixpkgs.postfix211 
I think this version should replace the current nixpkgs.postfix,
but it could potentially break stuff since the version jump is
big (2.8 -> 2.11).
 2014-04-24 11:56:54 +02:00
vi a16098995a New package: lists and its dependency, list-extras (Haskell.) 2014-04-24 17:41:40 +08:00
Mathijs Kwik 1a877418d4 node-packages: upgrade all generated expressions 2014-04-24 08:05:44 +02:00
Mathijs Kwik d2edc329e1 neoload: upgrade to 4.1.4 and fix mem issues 2014-04-24 08:05:44 +02:00
Mathijs Kwik 925c75c68d node.js - use bundled v8 :14.04-bugfix: 
node needs v8 3.14, which is no longer maintained.
They bundle an in-tree version which does receive backports.
 2014-04-24 08:05:44 +02:00
Domen Kožar 7eabca3409 Merge pull request #2315 from lethalman/gnome3 
gedit, libmediaart, fix xdg-user-dirs, enable GI in grilo, prioritize nautilus mimetype, seahorse, gnome-music, glade, gnome-documents
 2014-04-24 01:16:54 +02:00
Luca Bruno fcd67236f3 accountsservice: fix creating data under /var/lib 2014-04-23 23:19:48 +02:00
Bjørn Forsman 83d0fd3078 thrift: unbreak build 
Add a tiny patch (already upstream) that fixes this build error:

  <flex>/lib/libfl.so: undefined reference to `yylex'
 2014-04-23 21:51:21 +02:00
Ricardo M. Correia 347db30cb8 nethogs: Add package 
nethogs is a small 'net top' tool, grouping bandwidth by process.
 2014-04-23 17:54:04 +02:00
Vincent Bernardoff b0a6bb414d Updated react to 1.0.1 2014-04-23 17:02:46 +02:00
Shea Levy a3b1f48c5d Add gcc-4.9.0 2014-04-23 10:45:00 -04:00
Lluís Batlle i Rossell 8ef1d4ecdb Making nvidia build with linux 3.14. Patch not needed anymore. 2014-04-23 16:06:15 +02:00
Eelco Dolstra dbd332d147 Fix meta.maintainer -> meta.maintainers 2014-04-23 14:26:32 +02:00
Eelco Dolstra 9050fc6168 kwallet: Rename to kwalletmanager 
Upstream renamed this package:

http://lists.kde.org/?l=kde-i18n-doc&m=139215908204279
 2014-04-23 12:49:48 +02:00
Peter Simons 0753d64478 haskell-hlint: update to version 1.8.61 2014-04-23 11:17:11 +02:00
Peter Simons c6d74cd5a6 haskell-yesod-static: update to version 1.2.2.5 2014-04-23 11:17:10 +02:00
Peter Simons 8ca9e5975d haskell-yesod-core: update to version 1.2.14 2014-04-23 11:17:10 +02:00
Peter Simons 5d36a8cc53 haskell-yesod-bin: update to version 1.2.8.1 2014-04-23 11:17:10 +02:00
Peter Simons d698efaace haskell-yaml: update to version 0.8.8.2 2014-04-23 11:17:10 +02:00
Peter Simons 40ecb7d787 haskell-warp: update to version 2.1.4.1 2014-04-23 11:17:10 +02:00
Peter Simons 0f3cbb71ad haskell-vcswrapper: update to version 0.0.4 2014-04-23 11:17:10 +02:00
Peter Simons 751fb11e26 haskell-vcsgui: update to version 0.0.4 2014-04-23 11:17:10 +02:00
Peter Simons 17b1fd5652 haskell-uulib: update to version 0.9.16 2014-04-23 11:17:10 +02:00
Peter Simons d414e49375 haskell-testing-feat: update to version 0.4.0.2 2014-04-23 11:17:10 +02:00
Peter Simons 8080a35f32 haskell-test-framework-quickcheck2: update to version 0.3.0.3 2014-04-23 11:17:10 +02:00
Peter Simons e73b6253f0 haskell-terminal-progress-bar: update to version 0.0.1.4 2014-04-23 11:17:10 +02:00
Peter Simons 4817cf0253 haskell-syb-with-class: update to version 0.6.1.5 2014-04-23 11:17:10 +02:00
Peter Simons 92cc1addfd haskell-svgcairo: update to version 0.12.5.2 2014-04-23 11:17:10 +02:00
Peter Simons fa61d4ae42 haskell-snap-server: update to version 0.9.4.3 2014-04-23 11:17:10 +02:00
Peter Simons d7e5724db1 haskell-snap-loader-static: update to version 0.9.0.2 2014-04-23 11:17:10 +02:00
Peter Simons 9d4cfd51d5 haskell-simple-sendfile: update to version 0.2.14 2014-04-23 11:17:10 +02:00
Peter Simons 808b19b3fc haskell-simple-reflect: update to version 0.3.2 2014-04-23 11:17:10 +02:00
Peter Simons 8455e75173 haskell-resourcet: update to version 1.1.2 2014-04-23 11:17:10 +02:00
Peter Simons f5df3851af haskell-pipes: update to version 4.1.1 2014-04-23 11:17:10 +02:00
Peter Simons 2e36bcbb61 haskell-pem: update to version 0.2.2 2014-04-23 11:17:09 +02:00
Peter Simons 6e3e9fce30 haskell-pcre-light: update to version 0.4.0.1 2014-04-23 11:17:09 +02:00
Peter Simons a5fdc77c4c haskell-ncurses: update to version 0.2.8 2014-04-23 11:17:09 +02:00
Peter Simons 9425cf9206 haskell-monoid-transformer: update to version 0.0.3 2014-04-23 11:17:09 +02:00
Peter Simons 2bfb9a5458 haskell-midi: update to version 0.2.1.2 2014-04-23 11:17:09 +02:00
Peter Simons c12db35f57 haskell-linear: update to version 1.10.1.1 2014-04-23 11:17:09 +02:00
Peter Simons 94c86ba55a haskell-lifted-async: update to version 0.1.2 2014-04-23 11:17:09 +02:00
Peter Simons 0615619335 haskell-language-ecmascript: update to version 0.16.2 2014-04-23 11:17:09 +02:00
Peter Simons b7223cbda7 haskell-language-c: update to version 0.4.5 2014-04-23 11:17:09 +02:00
Peter Simons 61072c89ab haskell-io-streams: update to version 1.1.4.3 2014-04-23 11:17:09 +02:00
Peter Simons 64f7da41cf haskell-http-reverse-proxy: update to version 0.3.1.6 2014-04-23 11:17:09 +02:00
Peter Simons 0325be8d50 haskell-http-conduit: update to version 2.1.1 2014-04-23 11:17:09 +02:00
Peter Simons ef5ef8b155 haskell-http-client: update to version 0.3.1.1 2014-04-23 11:17:09 +02:00
Peter Simons 93ba774067 haskell-hoogle: update to version 4.2.32 2014-04-23 11:17:09 +02:00
Peter Simons a80ec739b5 haskell-hledger: update to version 0.22.2 2014-04-23 11:17:09 +02:00
Peter Simons 450c7b9bdf haskell-hledger-web: update to version 0.22.7 2014-04-23 11:17:09 +02:00
Peter Simons d90cb9ebec haskell-hledger-lib: update to version 0.22.2 2014-04-23 11:17:09 +02:00
Peter Simons dd9b958765 haskell-haskell-names: update to version 0.3.3.1 2014-04-23 11:17:09 +02:00
Peter Simons 918ad1af54 haskell-happstack-server: update to version 7.3.5 2014-04-23 11:17:09 +02:00
Peter Simons fb74f950c0 haskell-gtk: update to version 0.12.5.7 2014-04-23 11:17:08 +02:00
Peter Simons 3244e10c1b haskell-glib: update to version 0.12.5.4 2014-04-23 11:17:08 +02:00
Peter Simons cf71fce3a2 haskell-fay: update to version 0.19.2.1 2014-04-23 11:17:08 +02:00
Peter Simons d0967c1324 haskell-explicit-exception: update to version 0.1.7.2 2014-04-23 11:17:08 +02:00
Peter Simons f6c8a17fb5 haskell-esqueleto: update to version 1.3.12 2014-04-23 11:17:08 +02:00
Peter Simons 50780aabe3 haskell-dns: update to version 1.2.2 2014-04-23 11:17:08 +02:00
Peter Simons 7cc98529c7 haskell-derive: update to version 2.5.15 2014-04-23 11:17:08 +02:00
Peter Simons b16fcdcddf haskell-dataenc: update to version 0.14.0.6 2014-04-23 11:17:08 +02:00
Peter Simons 1983e40f10 haskell-cookie: update to version 0.4.1.1 2014-04-23 11:17:08 +02:00
Peter Simons 7f72b38f3c haskell-connection: update to version 0.2.1 2014-04-23 11:17:08 +02:00
Peter Simons fef13a99f9 haskell-conduit: update to version 1.1.0.2 2014-04-23 11:17:08 +02:00
Peter Simons 7acbb2938a haskell-conduit-extra: update to version 1.1.0.1 2014-04-23 11:17:08 +02:00
Peter Simons 2a3cb33350 haskell-conduit-combinators: update to version 0.2.4.1 2014-04-23 11:17:08 +02:00
Peter Simons 00bc025d05 haskell-chell-quickcheck: update to version 0.2.3 2014-04-23 11:17:08 +02:00
Peter Simons 6fa686c078 haskell-atomic-primops: update to version 0.6.0.5 2014-04-23 11:17:08 +02:00
Peter Simons 0ab1f4305b haskell-alsa-pcm: update to version 0.6.0.2 2014-04-23 11:17:08 +02:00
Peter Simons e138265a5b haskell-alsa-mixer: update to version 0.2.0.2 2014-04-23 11:17:08 +02:00
Peter Simons d8e36fac62 haskell-aeson: update to version 0.7.0.3 2014-04-23 11:17:08 +02:00
Peter Simons 9eaa3ef5a2 haskell-RepLib: update to version 0.5.3.2 2014-04-23 11:17:07 +02:00