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 02b056c5b180b4b8ba22ddc3061d78258e2ef98f 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