mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-09-11 15:08:33 +01:00
Code Issues Wiki Activity
50195 commits 218 branches 122 tags 7.1 GiB
Commit graph

19227 commits

Author SHA1 Message Date
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
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
Aristid Breitkreuz 5af769fd4e update libwebp to fix giflib incompatibility 2014-09-30 21:37:56 +02: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
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