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
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
f04b0b9879
emacs24Packages.tuaregMode: update from 2.0.6 to 2.0.8
2014-09-30 10:56:11 +01:00
Mateusz Kowalczyk
3043af8838
emacs24Packages.rainbowDelimiters: update from 1.3.8 to 1.3.12
2014-09-30 10:56:11 +01:00
Mateusz Kowalczyk
9d246d2cff
emacs24Packages.structuredHaskellMode: update from 1.0.3 to 1.0.4
2014-09-30 10:56:11 +01:00
Mateusz Kowalczyk
ded8bde06b
elasticsearchPlugins.elasticsearch_http_basic: update from 1.2.0 to 1.3.2, potentially fixes CVE-2013-5307
2014-09-30 10:56:11 +01:00
Mateusz Kowalczyk
18476acaff
elasticsearch: update from 1.2.2 to 1.3.2
2014-09-30 10:56:10 +01:00
