Pascal Wittmann
47a6f5eda9
spin: update from 6.3.2 to 6.4.1 and add myself to maintainers
2014-10-06 11:19:15 +02:00
Peter Simons
972808f00a
haskell-hinotify: this package is supported on Linux only
2014-10-06 10:54:46 +02:00
Vincent Laporte
579e74549d
CompCert: update to 2.4
2014-10-05 23:38:16 +01:00
Michael Raskin
d04db3bf41
Update SCons
2014-10-06 02:43:58 +04:00
Michael Raskin
e256d6a062
Update sodium to 1.0.0
2014-10-06 02:43:57 +04:00
Michael Raskin
02e221eb11
Fix the version
2014-10-06 02:43:57 +04:00
Pascal Wittmann
e47819134c
gtk-doc: update from 1.18 to 1.21 and add meta information
2014-10-05 22:50:55 +02:00
Oliver Charles
91d1ebdd75
haskellPackages.socketIo: Update to 1.1.1
2014-10-05 20:36:12 +01:00
Oliver Charles
cc6dca4c64
haskellPackages.engineIoSnap: Update to 1.0.2
2014-10-05 20:36:12 +01:00
Oliver Charles
37a794841d
haskellPackages.engineIo: Update to 1.2.0
2014-10-05 20:36:12 +01:00
Oliver Charles
9e155d6d94
haskellPackages.diagramsGtk: New expression
2014-10-05 20:36:11 +01:00
Baptist BENOIST
46d0ebca70
qtcreator: Update from 3.1.0 to 3.2.0
2014-10-05 21:23:00 +02:00
Ricardo M. Correia
02c8dbe382
rustcMaster: Update to more recent commit and remove patch
...
The patch to the tests is now included upstream. Also in this version,
an issue was fixed upstream where LTO would fail with permission denied
in NixOS.
2014-10-05 17:47:36 +02:00
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