cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
50189 commits 1 branch 0 tags 3.7 GiB
Commit graph

13814 commits

Author SHA1 Message Date
John Wiegley
10e215a3ae isabelle: Version 2014 building on Linux and Darwin 2014-09-30 23:15:31 -05:00
Shea Levy
516be15130 Merge branch 'mac-purity' of git://github.com/copumpkin/nixpkgs 
Let’s compile the Mac OS X SecurityTool ourselves

copumpkin:

This allows us to compile SecurityTool ourselves. There are several more
Apple opensource projects that can be compiled this way that I'll slowly
add.

Remaining sources of impurity:

Reference to absolute path to Xcode. This should be integrated with the
xcode derivation (and the iOS wrapper chain that exists under mobile
development) but it's not obvious how to do that yet.
Absolute reference to xcodebuild.
Adding this should make it possible for #3629 to work reasonably
cleanly.
 2014-09-30 21:28:07 -04:00
AndersonTorres
1c0d37a038 Higan: adding config.higan.{guiToolkit,profile} options 
Now we can parametrize Higan locally.
By default, guiToolkit = "gtk" and profile = "performance" (the accuracy
profile is seriously slow on my machine :) )

Closes #4340
 2014-10-01 02:17:40 +01:00
Daniel Peebles
0e9cf136af A simple ADC downloader for upcoming darwin awesomeness 
Closes #4327
 2014-10-01 02:10:31 +01:00
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
Daniel Peebles
58ea86bd87 Let’s compile the Mac OS X SecurityTool ourselves 2014-09-30 01:14:14 -04: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