Commit Graph

13809 Commits

Author SHA1 Message Date
AndersonTorres
6acd05f27a Sound of Sorting: New Package
Sound of Sorting is an array-sorting visual+sound demo program.
It shows an array as a list of horizontal bars, and realizes a
step-by-step sorting of it. Moreover, it colorizes and emits a
"8-bit-game-like" sound throughout its execution.

Closes #4341
2014-10-01 02:04:36 +01:00
Michael Raskin
4dabba4d1e Add a binary distribution of Apache Jena RDF storage system 2014-09-30 23:11:19 +04:00
Mateusz Kowalczyk
ce4ae2aa1e Merge pull request #4305 from vbgl/coq-containers
Working with Coq
2014-09-30 15:04:30 +01:00
Mateusz Kowalczyk
876bd39fae Merge pull request #4285 from k0ral/hg-git
hg-git: 0.3.1 -> 0.6.1, and its dependency dulwich: 0.8.7 -> 0.9.7
2014-09-30 09:57:39 +01:00
Dmitry V
3eef950762 seturgent: new package
Closes #4329
2014-09-30 09:53:52 +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
AndersonTorres
46d74cae72 Kid3: New Package
Kid3 is a simple and powerful audio tag editor

Closes #4325
2014-09-30 07:55:25 +01:00
koral
7fca2693f5 New package: traceroute-2.0.20
Closes #4322
2014-09-30 07:53:08 +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
AndersonTorres
a4a3503211 Udiskie: update to 1.1.2
Amending to the last commit: added gettext dependency
TODO: investigate Python3/gobject issues

Closes #3720
2014-09-30 01:51:43 +01:00
Gergely Risko
ad135c658d Don't depend specific version of binary in the bmp package
This was added a long time ago, because bmp required binary 0.7.1.0
at least.  But that binary is now the default and requiring a
specific binary just causes issues with setups where the end result
is to have two version of binary in the wrapped package db.
2014-09-29 17:18:43 +02:00
Wout Mertens
d2467f4fe5 Python on Darwin: Don't depend on glibc locales 2014-09-29 14:05:32 +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
04b3932117 Adding qtox. Making libtoxcore propagate libvpx. 2014-09-29 10:24:35 +02:00
Mateusz Kowalczyk
8e876eb395 Merge pull request #4309 from abbradar/paprefs
added "paprefs" package, adopted pavucontrol
2014-09-28 22:50:55 +01:00
Shea Levy
d34cd13a31 Add nix-exec package 2014-09-28 15:24:38 -04:00
Nikolay Amiantov
0728fee205 paprefs: Add package 2014-09-28 21:49:05 +04:00
Vincent Laporte
f3b8d82ce6 Removes duplicate ssreflect 2014-09-28 14:03:15 +01: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
Pascal Wittmann
97be74be16 Merge pull request #4302 from k0ral/tty-clock
New package: tty-clock-0.1
2014-09-28 13:10:55 +02:00
koral
14930900c8 New package: tty-clock-0.1 2014-09-28 13:05:58 +02:00
Rok Garbas
28ea895b08 pythonPackages.configobj: new version needs six as dependency 2014-09-28 12:56:08 +02:00
Mateusz Kowalczyk
714dc47696 agda-iowa-stdlib: renamed from aaron-stump-stdlib
Per author's request.
2014-09-28 02:21:21 +01:00
Domen Kožar
2df644a9e1 pythonPackages.nose: disable tests 2014-09-27 22:34:51 +02:00
Domen Kožar
2fea016f4d python3Packages.pelican: fix build 2014-09-27 22:34:51 +02:00
Vladimír Čunát
4bcae6dc96 merge #4265: add KDE 4.14.1 2014-09-27 18:15:00 +02:00
koral
47636809ea dulwich: added tests dependencies. 2014-09-27 16:50:36 +02:00
Cillian de Róiste
5276adc1b4 Tidy up #4283 and move freewheeling to APPLICATIONS 2014-09-27 12:52:30 +02:00
Raffael Mancini
f80e897add Merge branch 'master' of github.com:NixOS/nixpkgs 2014-09-27 12:09:48 +02: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
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
koral
96dcbc7d83 hg-git: 0.3.1 -> 0.6.1, and its dependency dulwich: 0.8.7 -> 0.9.7 2014-09-27 00:24:27 +02:00
Pascal Wittmann
3940aecc0d remove unused library libchamplain-0.6 2014-09-26 23:22:25 +02:00
Domen Kožar
8723b91cc7 pythonPackages.nose: 1.3.3 -> 1.3.4 2014-09-26 18:49:32 +02:00
Domen Kožar
c4750f6f2e pypyPackages.werkzeug: 0.9.4 -> 0.9.6 2014-09-26 18:22:25 +02:00
Domen Kožar
744c1974d0 pypyPackages.flask: disable tests due to failures 2014-09-26 18:13:11 +02:00
Domen Kožar
26303fd6c8 pypyPackages.area53: use stable release 2014-09-26 18:13:01 +02:00
Domen Kožar
428fdc879f pypy: 2.3 -> 2.4 2014-09-26 18:12:24 +02:00
Raffael Mancini
87dc6a2be6 Added Freewheeling
a live looping instrument for jack with MIDI support
revision r100 from subversion
2014-09-26 17:20:02 +02:00
Oliver Charles
e2d06c45b4 haskellPackages.sdl2: New expression 2014-09-25 21:16:37 +01:00
William A. Kennington III
32aa544fb6 ceph: Add zfs support 2014-09-25 01:24:54 -07:00
ambrop7@gmail.com
0e8e45f3ab kde-4.14: Make it all build. 2014-09-24 23:48:39 +02:00
ambrop7@gmail.com
f6fd3b7754 indilib: Add version 0.9.9. 2014-09-24 23:48:39 +02:00
ambrop7@gmail.com
9c9f694853 Add non-legacy qt-gstreamer.
Only compile tested (needed by Artikulate in KDE 4.14).
2014-09-24 23:48:39 +02:00
ambrop7@gmail.com
8fef5ed675 kde: Copy 4.12 to 4.14 as a base" 2014-09-24 23:48:38 +02:00
cbpark
ea17829df1 Add mersenne-random
Closes #4261
2014-09-24 20:45:32 +01:00