Mateusz Kowalczyk
bc2ab990cc
haskell-vty: update to 5.2.3
2014-10-05 14:58:30 +01:00
Vincent Laporte
96da271ae0
libmsgpack: update to 0.5.9
2014-10-05 13:23:17 +01:00
Peter Simons
0d32fcad87
haskell-lzma-enumerator: disable builds of this package on 32 bit Linux
...
https://github.com/alphaHeavy/lzma-enumerator/issues/2
2014-10-04 21:15:25 +02:00
Aristid Breitkreuz
71806b7cba
Merge pull request #4368 from michelk/r-XML
...
r-XML: adding system-dependency libxml2
2014-10-04 19:56:18 +02:00
Peter Simons
8ebba517e2
Merge pull request #4225 from michelk/rJava
...
rJava: adding missing dependencies and setting JAVA-env-variables
2014-10-04 10:31:19 +02:00
Mateusz Kowalczyk
5bb8260bfb
haskell-graphmod: new package
2014-10-04 07:54:12 +01:00
Damien Cassou
5d294db3b2
shellcheck is packaged twice
...
I removed development/libraries/haskell/ShellCheck and kept
development/tools/misc/ShellCheck.
2014-10-03 20:16:25 +02:00
Peter Simons
b55760e83c
haskell-sdl2: update to version 1.1.1
2014-10-03 20:02:00 +02:00
Peter Simons
68894fb707
haskell-ghc-parser: re-generate with cabal2nix
2014-10-03 20:02:00 +02:00
Peter Simons
f0e9b680e8
Re-generate Haskell packages with cabal2nix.
2014-10-03 20:02:00 +02:00
Mateusz Kowalczyk
3d26ea99dc
Merge pull request #4342 from vbgl/camlp5-6.12
...
Camlp5: update to 6.12; hol-light: update to r199
2014-10-03 18:36:06 +01:00
Peter Simons
d28b75564c
Merge pull request #4334 from aaronlevin/wai-util
...
Add haskell package wai-util to nixpkgs
2014-10-03 19:16:38 +02:00
Peter Simons
5e62bd5343
Merge pull request #4272 from edwtjo/ihaskell
...
ihaskell: added package
2014-10-03 19:12:08 +02:00
Domen Kožar
b9eda15dc0
telepathy-qt: specify platforms
2014-10-03 15:27:13 +02:00
Edward Tjörnhammar
6becaca7b3
ihaskell: added package
2014-10-02 20:53:55 +02:00
Edward Tjörnhammar
949b80a229
system-argv0: added package
2014-10-02 20:53:55 +02:00
Edward Tjörnhammar
bf885a8d87
ghc-parser: added package
2014-10-02 20:53:55 +02:00
Edward Tjörnhammar
5765ce1b2d
here: added package
2014-10-02 20:53:55 +02:00
Michael Raskin
907af9e9e6
Merge pull request #3963 from christopherpoole/geant4
...
Add the Geant4 Monte Carlo radiation transport toolkit and its Python bindings.
2014-10-02 22:42:15 +04:00
Joachim Fasting
72d7f73a64
webkitgtk: bump to version 2.4.6
2014-10-02 18:37:10 +02:00
Sander van der Burg
470007e7e1
Make path to Xcode configurable
2014-10-02 15:49:33 +02:00
Domen Kožar
1b929642ea
telepathy: 0.5.3 -> 0.8.80
2014-10-02 11:14:38 +02:00
Mateusz Kowalczyk
2e51b2e18a
agda-base: new package
2014-10-02 09:49:42 +01:00
Michel Kuhlmann
29b2a1fbd3
r-XML: adding system-dependency libxml2
2014-10-02 08:03:50 +02:00
Boris Sukholitko
0d41386f48
haskell: add blank-canvas package
...
Closes #4356
2014-10-02 06:47:52 +01:00
Boris Sukholitko
f806977d78
haskell: add kansas-comet package
...
Closes #4356
2014-10-02 06:47:47 +01:00
Emery Hemingway
7a610e8b67
assimp: initial package expression for version 3.1.1
...
Open Asset Import Library is a library for importing 3D models in
various formats
Closes #4352
2014-10-02 06:45:17 +01:00
Mateusz Kowalczyk
fa910f2f74
giflib: default to 5.0.5
...
5.1.0 apparenlty breaks a bunch of stuff, see comments on
61f8cee6ce
2014-10-02 06:24:51 +01:00
Austin Seipp
5f7d5c09f3
Merge pull request #4298 from daogames/tb/elixir-mix-curl-fix
...
elixir: make curl available to mix
2014-10-01 18:54:24 -05:00
Luca Bruno
e707530751
giflib: add back the 5.0 version
...
Should fix tracker and may be used to fix
other packages after commit 61f8cee
.
Untested as it takes too much time to recompile
everything these days.
2014-10-02 01:41:35 +02:00
viric
63bacb79b1
Merge pull request #4361 from bbenoist/feature/INFO-34
...
vtk: Update from 5.10.0 to 5.10.1
2014-10-01 23:39:24 +02:00
Tino Breddin
4ef1099310
fix double slash in mix binary path
2014-10-01 20:27:55 +02:00
Vincent Laporte
01c6d8569f
coq-containers: package is broken
2014-10-01 18:39:31 +01:00
wyvie
83fc5069f4
lua: Fixed luasql.patch
...
Closes #4344
2014-10-01 06:00:06 +01:00
John Wiegley
10e215a3ae
isabelle: Version 2014 building on Linux and Darwin
2014-09-30 23:15:31 -05:00
Ricardo M. Correia
272c44f1a5
rustcMaster: Fix test_override_env and enable tests
...
We also need to disable parallel building due to rust-lang/rust#16305.
Closes #4339
2014-10-01 02:34:25 +01:00
Vincent Laporte
a6af1e96de
Updates camlp5 6.11 -> 6.12
2014-10-01 00:44:15 +01:00
Aristid Breitkreuz
5af769fd4e
update libwebp to fix giflib incompatibility
2014-09-30 21:37:56 +02:00
aaron levin
6f8c06c9fa
Add haskell package wai-util to nixpkgs
2014-09-30 11:36:07 -04:00
Mateusz Kowalczyk
ce4ae2aa1e
Merge pull request #4305 from vbgl/coq-containers
...
Working with Coq
2014-09-30 15:04:30 +01:00
Pascal Wittmann
02e29e2eb1
Merge pull request #4274 from DamienCassou/pharo-vm-update
...
Update Pharo VM
2014-09-30 13:42:45 +02:00
Damien Cassou
96098f0bc3
Update Pharo VM
...
- use latest upstream release
- remove all patches as they are now applied upstream
2014-09-30 13:31:57 +02:00
Pascal Wittmann
156d92cfd1
giflib: fixed evaluation
2014-09-30 12:33:52 +02:00
Mateusz Kowalczyk
7b3cef8eac
babeltrace: update from 1.2.1 to 1.2.3
...
cc @bjornfor
2014-09-30 11:19:11 +01:00
Mateusz Kowalczyk
76f07fbafc
ffmpeg-1: meta.branch
2014-09-30 11:13:43 +01:00
Mateusz Kowalczyk
0f485bd0db
ffmpeg_0_10: update from 0.10.14 to 0.10.15
...
cc @lovek323
2014-09-30 11:13:37 +01:00
Mateusz Kowalczyk
8efc0c592b
hunspell: update from 1.3.2 to 1.3.3
...
urkud is no longer active so I am hijacking maintainership label on this
cc @urkud
2014-09-30 11:07:59 +01:00
Mateusz Kowalczyk
85868c6b35
gmm: update from 3.0 to 4.3
...
If this breaks every R package ever, feel free to revert but consider
fixing the R packages instead.
2014-09-30 10:56:12 +01:00
Mateusz Kowalczyk
b186aa8f80
gettext-0.17: meta.branch
2014-09-30 10:56:12 +01:00
Mateusz Kowalczyk
7b4cd347ea
findbugs: update from 2.0.3 to 3.0.0, potentially fixes CVE-2012-5659, CVE-2012-5660
2014-09-30 10:56:11 +01:00
Mateusz Kowalczyk
d47a5cf574
ffms: update from 2.19 to 2.20
2014-09-30 10:56:10 +01:00
Mateusz Kowalczyk
61f8cee6ce
giflib: update from 5.0.5 to 5.1.0
2014-09-30 10:43:49 +01:00
Mateusz Kowalczyk
259aaa8103
gloox: update from 1.0.10 to 1.0.11
2014-09-30 10:36:37 +01:00
Mateusz Kowalczyk
c39a0b0659
glm: update from 0.9.5.1 to 0.9.5.3
2014-09-30 10:34:49 +01:00
Mateusz Kowalczyk
07e2be6c29
ffmpeg-0.6: branch info
2014-09-30 10:33:15 +01:00
Mateusz Kowalczyk
e6c207e5f2
enet: update from 1.3.9 to 1.3.12
2014-09-30 10:31:59 +01:00
Mateusz Kowalczyk
aafca4dd51
Add a few meta.branch to please monitor
2014-09-30 10:07:49 +01:00
Michel Kuhlmann
9357bb51fa
libLAS: initial expression
...
Closes #4233
2014-09-30 09:20:41 +01:00
Damien Cassou
daffd3c90c
New package: pharo launcher
...
http://pharo.org
Closes #4315
2014-09-30 08:01:13 +01:00
Mateusz Kowalczyk
11782ceb6d
Merge pull request #4323 from vbgl/ocaml-ipaddr-2.5.0
...
OCaml-ipaddr: update to 2.5.0
2014-09-30 07:54:06 +01:00
wyvie
d4b7910f80
Added more lua modules to lua-packages, added them as dependencies for
...
mudlet
Closes #4269
2014-09-30 07:42:19 +01:00
Vincent Laporte
7adab7e25e
ocaml-tyxml: update 3.0.0 -> 3.1.1
2014-09-30 06:25:31 +02:00
Vincent Laporte
e9304fe039
ocaml-ipaddr: update 2.4.0 -> 2.5.0
2014-09-30 06:02:53 +02:00
Vincent Laporte
a97cf72a27
ocaml-sexplib: propagate the dependency to typeconv
...
And requires camlp4
2014-09-30 00:13:47 +02:00
Ricardo M. Correia
3f5dcaa577
rustcMaster: Fix version
2014-09-29 14:57:26 +02:00
Ricardo M. Correia
51b8d716f4
rustcMaster: Update to a more recent commit
2014-09-29 14:45:55 +02:00
Lluís Batlle i Rossell
b36095578c
Updating lesstif to 0.95.2 (2009).
...
Some patches can be removed.
I updated it because the scroll wheel was going the oposite direction in ddd.
https://bugs.launchpad.net/ubuntu/+source/ddd/+bug/37664
(cherry picked from commit 0115853aa9
)
2014-09-29 10:26:44 +02:00
Lluís Batlle i Rossell
93fd8fb3a5
Updating utox/libtoxcore to the latest, to fix utox build.
...
There was a test failing. I also renamed the attr uTox to utox, for the more
common lowercase in all-packages.
2014-09-29 10:24:36 +02:00
Lluís Batlle i Rossell
4f5a71385e
Fixing libtoxcore libvpx propagate.
2014-09-29 10:24:36 +02:00
Lluís Batlle i Rossell
c9494b8090
Making tox/toxic A/V libs disabled in ARM.
2014-09-29 10:24:35 +02:00
Lluís Batlle i Rossell
04b3932117
Adding qtox. Making libtoxcore propagate libvpx.
2014-09-29 10:24:35 +02:00
Lluís Batlle i Rossell
1955da1b8c
Updating toxic/libtoxcore/libsodium
2014-09-29 10:24:35 +02:00
Maksymilian Owsianny
a7197741ac
Fixed idris wrapper to make idris work with different backends.
...
Closes #4314
2014-09-29 04:14:59 +01:00
Shea Levy
ee58e82855
nix-exec: set platforms
2014-09-28 20:10:11 -04:00
Shea Levy
d34cd13a31
Add nix-exec package
2014-09-28 15:24:38 -04:00
Vladimír Čunát
b16994f7ce
fontconfig: stop using xml:space; vital for nixos+2.11
...
This is a proper fix for problems described in ec985c8ffa
.
The code is from @lethalman.
2014-09-28 16:57:47 +02:00
Vincent Laporte
c30c5f7cf3
Adds three coq libraries: containers, mathcomp, ssreflect
...
Containers is a reimplementation of the FSets/FMaps library from the
standard library, using typeclasses.
Homepage: http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.4
The Mathematical Components (mathcomp) contains advanced theory files
covering a wide spectrum of mathematics.
Homepage: http://ssr.msr-inria.inria.fr/
Ssreflect is a proof language (plugin for Coq) and a small set of core
theory libraries about boolean, natural numbers, sequences, decidable
equality and finite types.
Homepage: http://ssr.msr-inria.inria.fr/
2014-09-28 14:03:15 +01:00
Mateusz Kowalczyk
714dc47696
agda-iowa-stdlib: renamed from aaron-stump-stdlib
...
Per author's request.
2014-09-28 02:21:21 +01:00
Siarhei Zirukin
448f3229f8
package update: go-1.3.1 -> go-1.3.2
...
Closes #4279
2014-09-28 01:35:49 +01:00
Tino Breddin
cba717fd7b
elixir: make curl available to mix
2014-09-27 21:58:58 +02:00
Vladimír Čunát
4bcae6dc96
merge #4265 : add KDE 4.14.1
2014-09-27 18:15:00 +02:00
Mateusz Kowalczyk
02c979aa9f
haskell-vado: update to 0.0.2
...
This is a version-bump only, putting the attoparsec version bound up on
Hackage through proper means:
https://github.com/hamishmack/vado/issues/5
2014-09-27 15:14:19 +01:00
Mateusz Kowalczyk
d8f2c32bcf
agda-aaron-stump-stdlib: new package
2014-09-27 04:25:26 +01:00
Mateusz Kowalczyk
d409ae809a
agda-pretty: new package
2014-09-27 03:30:30 +01:00
Mateusz Kowalczyk
4ed56b013f
agda-TotalParserCombinators: new package
2014-09-27 03:23:22 +01:00
Mateusz Kowalczyk
4d2a3933a4
agda-prelude: new package
2014-09-27 02:35:54 +01:00
Christopher Poole
a5cf6850e3
Removed all versions of geant4 except for the latest one.
2014-09-27 10:45:06 +10:00
Vincent Laporte
5e4cf92121
ocamlnet: update 3.7.3 -> 3.7.6
...
Closes #4216
2014-09-27 01:09:53 +01:00
Nathaniel Baxter
859918d235
vlc: Add ffmpeg version 2.3.x for vlc.
...
Vlc doesn't support libavcodec >= 56 yet, which means it needs an older
version of ffmpeg.
Closes #4286
2014-09-27 01:04:38 +01:00
Pascal Wittmann
d346a9cc07
fixed some meta.maintainers attributes
2014-09-26 23:44:29 +02:00
Pascal Wittmann
3940aecc0d
remove unused library libchamplain-0.6
2014-09-26 23:22:25 +02:00
Bjørn Forsman
25e726b283
pypy: fix copy-paste error in setup-hook
...
Introduced in 428fdc879f
("pypy: 2.3 -> 2.4").
2014-09-26 20:10:06 +02:00
Domen Kožar
4fa05bdc6f
pypy: disable test_urllib2net and test_urllibnet
2014-09-26 18:12:49 +02:00
Domen Kožar
3aefa63c75
pypy: pytest syntax change
2014-09-26 18:12:37 +02:00
Domen Kožar
428fdc879f
pypy: 2.3 -> 2.4
2014-09-26 18:12:24 +02:00
Sander van der Burg
261a3574f1
Merge pull request #4268 from ftrvxmtrx/androidndk-fix-make-standalone-toolchain
...
androidndk: fix make-standalone-toolchain.sh helper script
2014-09-26 17:44:12 +02:00
Michel Kuhlmann
e83550cae5
gdal: update from 1.7.1 to 1.11.0 and add python support
2014-09-26 15:48:18 +02:00
Pascal Wittmann
58168ed93b
simgear: fix sha256sum and clean up
2014-09-26 12:36:17 +02:00
Domen Kožar
dd5bc7e037
libharu: patches moved
2014-09-26 10:21:13 +02:00
Domen Kožar
8f1aade0ba
Merge pull request #4275 from ambrop72/bossa-fix
...
BOSSA: Try to fix a nondeterministic build failure.
2014-09-26 09:04:50 +02:00