Pascal Wittmann
0b23b5b141
Merge pull request #4345 from VShell/namecoin
...
Update Namecoin to 0.3.76
2014-10-01 12:37:55 +02:00
wyvie
83fc5069f4
lua: Fixed luasql.patch
...
Closes #4344
2014-10-01 06:00:06 +01:00
Shell Turner
f85a8ab9e2
Update Namecoin to 0.3.76
2014-10-01 06:49:49 +02: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
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
Shea Levy
961d444762
Remove hard-coded /etc from strongswan
2014-09-30 21:28:04 -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
koral
d815b900f4
tmux: wrapped program to set TERMINFO variable
...
Closes #4335
2014-10-01 02:09:06 +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
Vincent Laporte
c260abbff8
hol_light: update to r199
...
And adds compatibility with camlp5-6.12
2014-10-01 00:44:15 +01:00
Vincent Laporte
a6af1e96de
Updates camlp5 6.11 -> 6.12
2014-10-01 00:44:15 +01:00
John Wiegley
57b292fb1b
isabelle: Another Linux hash change?
2014-09-30 16:44:15 -05:00
John Wiegley
5a7ce1185b
isabelle: Remove Linux patches (is this correct?)
2014-09-30 16:41:47 -05:00
John Wiegley
8d9cd1557b
isabelle: Correct the 2014 sha value for Linux
2014-09-30 16:15:34 -05:00
Aristid Breitkreuz
5af769fd4e
update libwebp to fix giflib incompatibility
2014-09-30 21:37:56 +02:00
Michael Raskin
ca626ea96d
A small vanity counter for finding top-grossing committers
2014-09-30 23:11:19 +04:00
Michael Raskin
4dabba4d1e
Add a binary distribution of Apache Jena RDF storage system
2014-09-30 23:11:19 +04:00
Cillian de Róiste
990f6406e5
xf86_input_wacom: update from 0.26.0 to 0.26.1
2014-09-30 20:39:47 +02:00
Cillian de Róiste
fadbb771f2
synthv1: update from 0.5.0 to 0.5.1
2014-09-30 20:39:47 +02:00
Cillian de Róiste
258e75304e
simplescreenrecorder: update from 0.3.0 to 0.3.1
2014-09-30 20:39:47 +02:00
Cillian de Róiste
678b56f068
samplv1: update from 0.5.0 to 0.5.1
2014-09-30 20:39:47 +02:00
Cillian de Róiste
fb27524954
qtractor: update from 0.6.2 to 0.6.3
2014-09-30 20:39:47 +02:00
Cillian de Róiste
e58d8a9ba6
drumkv1: update from 0.5.0 to 0.5.1
2014-09-30 20:39:47 +02:00
William A. Kennington III
03ab965209
btrfsprogs: 3.16 -> 3.16.1
2014-09-30 11:36:21 -07:00
John Wiegley
db690f28a3
isabelle: 2013 -> 2014, plus add darwin support
2014-09-30 12:57:30 -05:00
Bjørn Forsman
f96684c71a
nfs-utils: add missing python dependency
...
nfsiostat is written in python.
python is already in the closure of nfs-utils, so this adds no cost.
2014-09-30 18:40:35 +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
Pascal Wittmann
0a7f196426
cantarell_fonts: fixed derivation
2014-09-30 12:29:11 +02:00
Mateusz Kowalczyk
a345f5cb20
hdparm: fix expression
2014-09-30 11:26:23 +01:00
Mateusz Kowalczyk
e177da1cb6
dhcpcd: update from 6.4.3 to 6.4.7
2014-09-30 11:22:02 +01:00
Mateusz Kowalczyk
00a6dd884d
dmtx: update from 0.7.2 to 0.7.4
...
cc @7c6f434c
2014-09-30 11:21:17 +01:00
Mateusz Kowalczyk
da85164bc4
anki: update from 2.0.28 to 2.0.29
...
cc @the-kenny
2014-09-30 11:19:53 +01: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
e3dc5b5072
bird: update from 1.4.0 to 1.4.4
...
cc @viric
2014-09-30 11:18:42 +01:00
Mateusz Kowalczyk
c9630bb6a9
cantarell_fonts: update from 0.0.15 to 0.0.16
...
Hijacking maintainership as original maintainer is no longer active.
cc @urkud
2014-09-30 11:16:54 +01:00
Mateusz Kowalczyk
ef4a0076e1
fcitx: update from 4.2.8.4 to 4.2.8.5
...
cc @iyzsong
2014-09-30 11:14:23 +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
13fab57d12
ghostscriptX: update from 9.06 to 9.14, potentially fixes CVE-2012-4405
...
cc @viric
2014-09-30 11:11:47 +01:00
Mateusz Kowalczyk
13af1ea08f
gnuplot_qt: update from 4.6.5 to 4.6.6, potentially fixes CVE-2012-5624, CVE-2012-6093, CVE-2013-0254, CVE-2014-0190
...
cc @lovek323
2014-09-30 11:10:30 +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
9440f55ef8
gtkwave: update from 3.3.61 to 3.3.62
...
cc @viric
2014-09-30 11:04:26 +01:00
Mateusz Kowalczyk
d8798a62b7
gutenprint: update from 5.2.9 to 5.2.10
2014-09-30 10:56:12 +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