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

43147 commits

This branch
This branch
All branches
Author SHA1 Message Date
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 f9f19ee938 haskell-xmonad-contrib: update to version 0.11.3 2014-05-03 20:03:30 +02:00
Peter Simons eca445a408 Bootstrap ghc-head with GHC 7.6.3 to see if that solves our weird compiler errors: 
compiler/simplCore/CoreMonad.lhs:835:10:
      Non type-variable argument in the constraint: MonadPlus IO
      (Use -XFlexibleContexts to permit this)
      In the context: (MonadPlus IO)
      While checking an instance declaration
      In the instance declaration for `A.Alternative CoreM'

  compiler/simplCore/CoreMonad.lhs:841:10:
      Non type-variable argument in the constraint: MonadPlus IO
      (Use -XFlexibleContexts to permit this)
      In the context: (MonadPlus IO)
      While checking an instance declaration
      In the instance declaration for `MonadPlus CoreM'
 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
Eelco Dolstra 0ff68e81b9 debian: Update to 7.5 
[Note from Austin: I think @edolstra forgot to merge this to master.]

(cherry picked from commit 02b056c5b1 on
release-14.04)
 2014-05-03 10:55:26 -05:00
Austin Seipp 2be1b4c034 build-support/vm: add Ubuntu 14.04 Trusty Tahir 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-03 10:51:32 -05: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
Cillian de Róiste 849f6788ac darktable: update from 1.4.1 to 1.4.2 2014-05-03 15:16:12 +02:00
Domen Kožar 73e82b9e07 s/config.allowUnfree = true/allowUnfree = true/ 2014-05-03 15:13:01 +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 8c918bdc2c rsync: fix CVE-2014-2855 by upstream patch 2014-05-03 11:31:28 +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
Vladimír Čunát 062e2567c9 curl: minor update 7.35.0 -> 7.36.0, including CVE fixes 2014-05-03 11:30:53 +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
Peter Simons 2b11ec44e8 haskell-hledger-irr: update to version 0.1.1.4 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
Michael Raskin aea5277ca2 Switch Axel to a publically accessible download source 2014-05-03 01:08:15 +04:00
Michael Raskin 4c55ae8588 Update TPTP and make URL set robust to moving old versions to archive 2014-05-03 00:53:46 +04:00
Michael Raskin 87304674a6 Update JWM to an easily available version 2014-05-03 00:42:12 +04:00
Michael Raskin 6548fbfb28 Use the working source for GNU ARch 2014-05-03 00:20:08 +04: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
宋文武 cccaf8c091 midori: update from 0.5.7 to 0.5.8 2014-05-02 21:31:05 +02:00
宋文武 f6b989e6f3 mate-themes: update from 1.6.2 to 1.6.3 2014-05-02 21:31:05 +02:00
宋文武 4080e415ca mate-icon-theme: update from 1.6.2 to 1.6.3 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
宋文武 eb36621839 dvtm: update from 0.10 to 0.11 2014-05-02 21:31:05 +02:00