Commit Graph

19525 Commits

Author SHA1 Message Date
Vincent Laporte
4f0bc8e060 ocaml-oasis: adds missing dependency to caml4 2014-10-10 17:00:30 +01:00
Vincent Laporte
7bfe6144c6 ocaml-data-notation: adds missing dependency to camlp4 2014-10-10 17:00:29 +01:00
Shell Turner
96fcc3437b libsieve: new package 2014-10-10 16:21:57 +01:00
Lluís Batlle i Rossell
bd19f65ebf Making A/V disabled in tox for ARM. 2014-10-10 17:12:51 +02:00
Lluís Batlle i Rossell
704fc40bd8 Fix ARM/Arm typo. 2014-10-10 17:12:50 +02:00
Lluís Batlle i Rossell
372b0cda52 Making spidermonkey_185 build on ARM, and so also polkit. 2014-10-10 17:12:49 +02:00
Lluís Batlle i Rossell
eb21ef2bc7 Updating go from 1.3.2 to 1.3.3. 2014-10-10 17:07:16 +02:00
Vincent Laporte
d99ea69225 zarith: update from 1.2.1 to 1.3 2014-10-10 14:47:33 +01:00
Jaka Hudoklin
47e8ee287f golang: add golint and gotags 2014-10-10 15:27:44 +02:00
Christopher Poole
f3b8324fc5 Added Christopher Poole to the list of dlib package maintainers. 2014-10-10 10:18:42 +11:00
Austin Seipp
849bfc88f5 concurrencykit: 0.4.3 -> 0.4.4
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-10-09 17:10:58 -05:00
Austin Seipp
c98592f200 re2c: 0.13.7.4 -> 0.13.7.5
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-10-09 17:08:28 -05:00
Arseniy Seroka
762480b334 update rustc 2014-10-10 00:04:18 +04:00
Aristid Breitkreuz
ab1f89a161 Merge pull request #4439 from DamienCassou/pharo-vm-with-cairo
pharo-vm: Add dependency to cairo
2014-10-09 20:36:00 +02:00
Aristid Breitkreuz
78b8a7794c Merge pull request #4443 from flazz/master
jq & thrift build on darwin
2014-10-09 20:35:41 +02:00
Aristid Breitkreuz
afe8b54b49 Merge pull request #4381 from khumba/claws-mail
New packages: claws-mail-3.10.1, libetpan-1.5.
2014-10-09 20:31:01 +02:00
Aristid Breitkreuz
85f1889466 asio: update from 1.10.2 to 1.10.4 2014-10-09 20:17:24 +02:00
Francesco Lazzarino
9db29d7e5b jq builds on darwin 2014-10-09 12:00:34 -05:00
Francesco Lazzarino
b007ae3d08 thrift builds on darwin 2014-10-09 11:57:18 -05:00
Damien Cassou
a365f5080a pharo-vm: Add dependency to cairo 2014-10-09 16:56:54 +02:00
Pascal Wittmann
13048b252f Merge pull request #4426 from ollieh/master
Added granite and pantheon-terminal
2014-10-09 12:39:09 +02:00
Oliver Hunt
6f64a7cf43 Added granite
Added meta details, changed hash to sha256, and added versions for granite

Changed name to use versions

Fixed license

Yet another typo fix

Added myself as maintainer and fixed typo

Fixed maintainers

Added pantheon terminal

woops
2014-10-09 01:55:27 +02:00
Peter Simons
31ea2fc8d5 haskell-conduit-extra: don't run the test suite to avoid spurious build errors
https://github.com/snoyberg/conduit/issues/177
2014-10-08 21:04:31 +02:00
Peter Simons
b8bf903b02 haskell-zeromq4-haskell: update to version 0.6.2 2014-10-08 21:04:31 +02:00
Peter Simons
25f2295906 haskell-yst: update to version 0.4.1.1 2014-10-08 21:04:31 +02:00
Peter Simons
2da7e03ed7 cabal2nix: fix build with old versions of GHC 2014-10-08 21:04:31 +02:00
Aristid Breitkreuz
a01a64e5a4 Revert "ocamlPackages.twt: update from 0.93.2 to 0.931"
This reverts commit 684a9e22a1.
2014-10-08 20:44:22 +02:00
Florent Becker
e7f712e2a2 Update ocamlfind to version 1.5.3 2014-10-08 20:37:30 +02:00
Vincent Laporte
59a184824f lablgtk: update 2.16.0 -> 2.18.2 2014-10-08 20:24:41 +02:00
Vincent Laporte
ef169ca69d camlimages: fixes the spelling of propagatedBuildInputs 2014-10-08 20:23:30 +02:00
Vincent Laporte
7fd487018c ocaml-lablgl: fixes the META file 2014-10-08 20:23:30 +02:00
Aristid Breitkreuz
3f2a64d132 ocamlPackages.utop: update from 1.14 to 1.15 2014-10-08 20:23:29 +02:00
Aristid Breitkreuz
684a9e22a1 ocamlPackages.twt: update from 0.93.2 to 0.931 2014-10-08 20:23:29 +02:00
Aristid Breitkreuz
e105c818c6 ocamlPackages.ocaml_ssl: update from 0.4.4 to 0.4.7 2014-10-08 20:23:29 +02:00
Aristid Breitkreuz
7476b76d1d ocamlPackages.ocaml_oasis: update from 0.4.1 to 0.4.4 2014-10-08 20:23:29 +02:00
Aristid Breitkreuz
b9487dcd00 ocamlPackages.calendar: update from 2.03.2 to 2.5 2014-10-08 20:23:28 +02:00
Aristid Breitkreuz
91ce3084a7 libbsd: update from 0.3.0 to 0.7.0 2014-10-08 20:23:28 +02:00
Aristid Breitkreuz
408ddf0f56 isocodes: update from 3.51 to 3.56 2014-10-08 20:23:27 +02:00
Aristid Breitkreuz
29e38aeb9d xmlsec: update from 1.2.19 to 1.2.20 2014-10-08 20:23:26 +02:00
Aristid Breitkreuz
bc2c150766 phonon_backend_vlc: update from 0.7.0 to 0.7.2, potentially fixes CVE-2012-1775, CVE-2012-1776, CVE-2012-3377, CVE-2013-7340 2014-10-08 20:23:25 +02:00
Aristid Breitkreuz
ebca16a208 phonon_backend_gstreamer: update from 4.7.0 to 4.7.2 2014-10-08 20:23:25 +02:00
Aristid Breitkreuz
76e4c34d55 phonon: update from 4.7.1 to 4.7.2 2014-10-08 20:23:24 +02:00
Aristid Breitkreuz
16e771c393 lcms2: update from 2.5 to 2.6 2014-10-08 20:23:24 +02:00
Aristid Breitkreuz
b3ddfb76b9 ccrtp: update from 2.0.6 to 2.0.9 2014-10-08 20:23:24 +02:00
Aristid Breitkreuz
908a9fcf12 add assertion to keep libvirt and libvirt-python versions in sync 2014-10-08 19:01:05 +02:00
Shea Levy
a9ce15dc99 Merge branch 'master' of github.com:soenkehahn/nixpkgs
haskell-interpolate: update to version 0.1.0
2014-10-08 10:07:24 -04:00
Domen Kožar
9aeb10fa12 python: 3.4.1 -> 3.4.2 2014-10-08 13:43:36 +02:00
Sönke Hahn
4899af447a haskell-interpolate: update to version 0.1.0 2014-10-08 17:48:41 +08:00
William A. Kennington III
2ae3cc7ef4 libstatgrab: Add package 2014-10-08 01:27:26 -07:00
William A. Kennington III
ed76e77806 librdmacm: Add package 2014-10-08 01:27:26 -07:00
William A. Kennington III
2636436359 libibverbs: Add package 2014-10-08 01:27:26 -07:00
William A. Kennington III
33cd48a470 libqb: Add package 2014-10-08 01:27:26 -07:00
Pascal Wittmann
2ff0c8d6ef epm: update from 4.1 to 4.2 2014-10-08 09:17:28 +02:00
Aristid Breitkreuz
99f5a08de2 popplerQt4: update from 0.26.3 to 0.26.5 2014-10-07 23:22:09 +02:00
Aristid Breitkreuz
478f3e2627 libyubikey: update from 1.11 to 1.12 2014-10-07 22:57:38 +02:00
Aristid Breitkreuz
dbeb5099bb libvirt-glib: update from 0.1.8 to 0.1.9 2014-10-07 22:56:38 +02:00
Aristid Breitkreuz
e200a98843 libvirt: update from 1.2.7 to 1.2.9 2014-10-07 22:54:05 +02:00
Aristid Breitkreuz
34e2c6cc6f perl520: update from 5.20.0 to 5.20.1 2014-10-07 22:43:08 +02:00
Aristid Breitkreuz
0e0f704354 libofx: update from 0.9.9 to 0.9.10 2014-10-07 21:50:40 +02:00
Aristid Breitkreuz
8eb3b41c55 liblastfm: update from 1.0.8 to 1.0.9 2014-10-07 21:50:40 +02:00
Aristid Breitkreuz
be7f5bc489 libmtp: update from 1.1.6 to 1.1.8 2014-10-07 21:50:40 +02:00
Aristid Breitkreuz
a4dde10336 libdc1394: update from 2.2.1 to 2.2.3 2014-10-07 21:50:40 +02:00
Aristid Breitkreuz
d98fe20bde libevdev: update from 1.2 to 1.2.1 2014-10-07 21:50:40 +02:00
Aristid Breitkreuz
bc3461da55 libcdio: update from 0.92 to 0.93 2014-10-07 21:50:40 +02:00
Aristid Breitkreuz
a7b16c4176 libbluray: update from 0.6.0 to 0.6.2 2014-10-07 21:50:40 +02:00
Aristid Breitkreuz
f17bce449e ldns: update from 1.6.16 to 1.6.17 2014-10-07 21:50:40 +02:00
Aristid Breitkreuz
6b315040f3 intel-gpu-tools: update from 1.7 to 1.8 2014-10-07 21:50:40 +02:00
Aristid Breitkreuz
361375c3ac go: update from 1.3.2 to 1.3.3 2014-10-07 21:50:40 +02:00
Aristid Breitkreuz
a31d6a0b61 php_fpm53: update from 5.3.28 to 5.3.29, potentially fixes CVE-2014-0237, CVE-2014-0238, CVE-2014-4721, CVE-2014-5459 2014-10-07 21:05:57 +02:00
Aristid Breitkreuz
9fc7eed1dc php: update from 5.4.32 to 5.4.33 2014-10-07 20:57:33 +02:00
Aristid Breitkreuz
b2f1641a2d icedtea7_web: update from 1.5 to 1.5.1, potentially fixes CVE-2010-3860 2014-10-07 20:50:10 +02:00
Sander van der Burg
c07579aa4a titaniumsdk: Make xcode path configurable 2014-10-07 18:13:52 +02:00
Mateusz Kowalczyk
9440e6ba7d haskell-objective: new package 2014-10-07 16:55:12 +01:00
Mateusz Kowalczyk
3a5708ddc2 haskell-clean-unions: new package 2014-10-07 16:55:12 +01:00
Mateusz Kowalczyk
2dc7f89bee haskell-WAVE: new package 2014-10-07 16:08:01 +01:00
Mateusz Kowalczyk
3c22bdd271 haskell-trivia: new package 2014-10-07 16:08:01 +01:00
Domen Kožar
b0294578eb add opentracker: free bittorrent tracker project. It aims for minimal resource usage and is intended to run at your wlan router 2014-10-07 17:06:46 +02:00
Sander van der Burg
0a7449775d titaniumsdk: Add expression to 3.4.0 SDK 2014-10-07 15:31:11 +02:00
Sander van der Burg
2b5a27c3d8 titaniumsdk: Add version 3.4.0 support 2014-10-07 15:29:58 +02:00
Mateusz Kowalczyk
da9c4c05eb glm: update from 0.9.5.3 to 0.9.5.4 2014-10-07 14:00:11 +01:00
Michael Raskin
ec484c6a1e Update F# 2014-10-07 16:23:28 +04:00
Michael Raskin
e465806c5e Update GeoIP 2014-10-07 16:23:28 +04:00
Michael Raskin
f67e66cf4c Specify branch for eigen2 2014-10-07 16:23:28 +04:00
Michael Raskin
1be33f81d1 Specify meta.branch for CLisp-2.44.1 2014-10-07 16:23:27 +04:00
Michael Raskin
e190813003 Specify meta.branch for pinned celt versions 2014-10-07 16:23:27 +04:00
Michael Raskin
fdc29c0ed2 Specify Box2D_2_0_1 branch 2014-10-07 16:23:27 +04:00
Christopher Poole
f5e7b089d0 Fixed the mirror:// download link for GDCM. 2014-10-07 18:23:16 +11:00
Christopher Poole
7af2d07f24 Added the dlib machine learning library. 2014-10-07 16:36:30 +11:00
Christopher Poole
19cceb91bd Added the grassroots DICOM library. 2014-10-07 16:01:26 +11:00
Bryan Gardiner
de0a388ccf Add claws-mail and libetpan.
Adds Nix expressions for claws-mail (http://www.claws-mail.org) and a
dependency that is not already in the tree, libetpan
(http://www.etpan.org/libetpan.html).

The Claws expression has flags for toggling the build of various plugins.
2014-10-06 18:07:43 -07:00
Aristid Breitkreuz
46a9e805ef gmime: update from 2.6.19 to 2.6.20 2014-10-06 22:46:04 +02:00
Mateusz Kowalczyk
23fbed1fef ffmpeg: update from 2.4.1 to 2.4.2 2014-10-06 17:36:40 +01:00
Peter Simons
eab5ca0c3a haskell-Ebnf2ps: update to version 1.0.12 2014-10-06 11:21:39 +02:00
Peter Simons
e3d0676b65 haskell-BNFC: update to version 2.7.0.1 2014-10-06 11:21:39 +02:00
Peter Simons
a24c070b44 haskell-liblastfm: update to version 0.4.1.0 2014-10-06 11:21:39 +02:00
Peter Simons
48b1e3d72b haskell-cabal2nix: update to version 1.70 2014-10-06 11:21:39 +02:00
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
_1126
7b81cd68b7 stumpwm: removed from lisp-packages. 2014-10-05 16:42:32 +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
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