Commit graph

9567 commits

Author SHA1 Message Date
Marco
3af4c7065d Update HOL Light to svn r232 (2015-05-31) 2015-06-03 11:17:39 +02:00
lethalman
997022bea9 Merge pull request #8148 from ts468/jitsi
Update version: jitsi: 2.4.4997 -> 2.8.5426
2015-06-03 10:57:37 +02:00
Cillian de Róiste
68a82a9114 Merge pull request #8145 from robbinch/pkg-wavegain
wavegain: Add package.
2015-06-03 09:59:40 +02:00
Thomas Strobel
ac355ac095 Update version: jitsi: 2.4.4997 -> 2.8.5426 2015-06-03 07:49:01 +02:00
Mateusz Kowalczyk
9e5c2450d8 Merge pull request #8144 from taku0/firefox-bin-38.0.5
firefox-bin: update to version 38.0.5
2015-06-03 06:40:25 +01:00
Robbin C
13ea5b65db wavegain: Add package.
This adds wavegain which is a normalizer for WAV audio files.
2015-06-03 11:06:24 +08:00
taku0
def4876d41 firefox-bin: update to version 38.0.5 2015-06-03 09:32:11 +09:00
Tobias Geerinckx-Rice
1a64d9251c Add git-hub: command line GitHub interface
Rather cool, actually.
2015-06-02 23:58:03 +02:00
Michael Raskin
969776564f Adding TextAdept 2015-06-02 20:32:13 +03:00
Pascal Wittmann
752528ac9c add pdfpc, a presenter console with multi-monitor support for PDF files 2015-06-02 13:15:59 +02:00
Richard Zetterberg
1847e204e0 Adds antimony 0.8.0b CAD program 2015-06-02 11:11:39 +02:00
Pascal Wittmann
526a777ee6 Merge pull request #8104 from vbgl/why3-86
why3: update from 0.85 to 0.86.1
2015-06-01 20:20:56 +02:00
lethalman
ee6808ee69 Merge pull request #8086 from magnetophon/jaaa-master-fixup
jaaa: refactor needed by libclthreads refactor
2015-06-01 17:03:54 +02:00
Arseniy Seroka
d8e5067126 Merge pull request #8100 from codyopel/mopidy
Update Mopidy & plugins
2015-06-01 17:15:07 +03:00
Cillian de Róiste
fa3ce48140 Merge pull request #8029 from magnetophon/Ardour3-Ardour4-update
ardour: give it all the libs it asks for. ardour3: bugfix
2015-06-01 16:04:10 +02:00
codyopel
d866d4616d musescore: 2.0.0 -> 2.0.1 2015-06-01 06:56:42 -04:00
_1126
98e698fad2 maintainers: change of nickname. 2015-06-01 11:00:57 +02:00
William A. Kennington III
5afa4f18d6 qemu-nix: Build statically 2015-06-01 01:50:05 -07:00
Pavan Rikhi
8bea2bc5bb pencil: v2.0.10 -> v2.0.11 2015-06-01 10:18:14 +02:00
Vincent Laporte
28bfbb5562 why3: update from 0.85 to 0.86.1 2015-06-01 05:57:19 +02:00
codyopel
7d42461e5d ncmpcpp: 0.6.3 -> 0.6.4 2015-05-31 20:35:10 -04:00
codyopel
5de70f7bad mopidy-spotify: 1.3.0 -> 1.4.0 2015-05-31 20:10:37 -04:00
codyopel
846fa0b7e4 mopidy-mopify: 1.4.1 -> 1.5.1 2015-05-31 20:08:38 -04:00
codyopel
42be3c6097 mopidy-moped: 0.5.0 -> 0.6.0 2015-05-31 20:06:18 -04:00
codyopel
2d1ac66692 mopidy: 1.0.0 -> 1.0.5 2015-05-31 20:04:31 -04:00
Austin Seipp
f47d22a6f1 nixpkgs: verilator 3.872
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-05-31 17:37:56 -05:00
Arseniy Seroka
58d93d158a Merge pull request #8060 from hiberno/rofi-pass
rofi-pass: initial commit.
2015-06-01 01:28:18 +03:00
Arseniy Seroka
8297b6a125 Merge pull request #7937 from magnetophon/QmidiNet-master
add QmidiNet: a MIDI network gateway application
2015-06-01 01:27:52 +03:00
Arseniy Seroka
e33cb69baa Merge pull request #8027 from magnetophon/mod-distortion-master
mod-distortion init at git-2015-05-18
2015-06-01 01:27:37 +03:00
William A. Kennington III
abecf4aca1 bitlbee: 3.2.2 -> 3.4.0 2015-05-31 13:55:18 -07:00
Pascal Wittmann
3838f1d490 firestr: fix build (qt5.multimedia was missing) 2015-05-31 19:13:28 +02:00
Vincent Laporte
2af5c8d75f qarte: minor update to rev. 147 2015-05-31 19:03:43 +02:00
Vincent Laporte
9e68371f51 smtube: update from 15.5.10 to 15.5.17 2015-05-31 19:03:43 +02:00
Vladimír Čunát
81a79f9d03 ocropus: fix chrooted check phase by patchShebangs 2015-05-31 17:53:58 +02:00
Vladimír Čunát
bba6880aa6 snort.org: switch downloads to SourceForge
On snort.org they only seem to keep the latest release, which is annoying.
Fixes #8065. /cc maintainer @aycanirican.
2015-05-31 17:11:40 +02:00
Pascal Wittmann
59943d69f9 joe: update from 3.7 to 4.0, add meta-information 2015-05-31 16:30:24 +02:00
Pascal Wittmann
a35161177e fbida: update from 2.09 to 2.10
add meta info and adpot it
2015-05-31 16:30:24 +02:00
Pascal Wittmann
8d924455c1 idris-mode: update from 0.9.15 to 0.9.18 2015-05-31 16:30:24 +02:00
Pascal Wittmann
e6ce11f0bd Merge pull request #8073 from magnetophon/MBdistortion-master
init MBdistortion at v1.1
2015-05-31 15:39:09 +02:00
Bart Brouns
5725d6ae7d init MBdistortion at v1.1 2015-05-31 15:35:12 +02:00
Pascal Wittmann
a281c5189c Merge pull request #8071 from magnetophon/LazyLimiter-master
init LazyLimiter at v0.3.01
2015-05-31 15:03:54 +02:00
Bart Brouns
0eca39174b init CharacterCompressor CompBus RhythmDelay constant-detune-chorus
Basically the same pkg,but with different sources
2015-05-31 14:58:49 +02:00
Bart Brouns
39a9f10ccd init LazyLimiter at v0.3.01 2015-05-31 14:52:12 +02:00
Bart Brouns
5d53b9d278 init VoiceOfFaust at v0.7 2015-05-31 14:49:13 +02:00
Bart Brouns
77fc22e679 jaaa: refactor needed by libclthreads refactor 2015-05-31 13:50:02 +02:00
Cillian de Róiste
fe05de0a8e synthv1: update from 0.6.1 to 0.6.3 2015-05-31 13:12:40 +02:00
Cillian de Róiste
11526b23ab samplv1: update from 0.6.1 to 0.6.3 2015-05-31 13:12:40 +02:00
Cillian de Róiste
b140effd2b qtractor: update from 0.6.6 to 0.6.7 2015-05-31 13:12:40 +02:00
Cillian de Róiste
8d6b8be952 drumkv1: update from 0.6.1 to 0.6.3 2015-05-31 13:12:40 +02:00
Cillian de Róiste
72b259f61e darktable: update from 1.6.4 to 1.6.6 2015-05-31 13:12:39 +02:00
Christian Theune
fe2d66ff65 Update syncthing to 0.11.7 2015-05-31 12:42:59 +02:00
Vladimír Čunát
1f18764f47 telepathy-salut: fix build - use openssl instead of gnutls 2015-05-30 22:47:20 +02:00
Vladimír Čunát
ff2ccb2721 linssid: fix build by using qt53 2015-05-30 22:08:09 +02:00
Tobias Geerinckx-Rice
1d4bfeacc5 simple-scan 3.16.0.1 -> 3.17.2 2015-05-30 21:09:25 +02:00
Peter Simons
b462c7908f git-annex: on second thought, let's not break backwards compatibility for no apparent reason 2015-05-30 21:02:45 +02:00
Peter Simons
9cc46aaa4a git-annex: switch to the version built with GHC 7.10.1
Also, this change renames the "gitAnnex" attribute to "git-annex". This
seems more in-line with recent additions to the git package family,
which all used dashed names instead of camel-caps.
2015-05-30 19:54:42 +02:00
Vladimír Čunát
643c515489 dillo: minor update to fix build (after fltk bump) 2015-05-30 17:34:25 +02:00
Bart Brouns
1ed1c3ec92 ardour: give it all the libs it asks for. ardour3: bugfix
The latest ardour3 release loses audio and midi
files under some conditions.
7024232855
fixes that.
2015-05-30 13:06:48 +02:00
_1126
12bfdb5ead rofi-pass: add rofi to deps, adjust description 2015-05-30 10:44:47 +02:00
Bart Brouns
292abec58e mod-distortion init at git-2015-05-18 2015-05-30 10:15:40 +02:00
William A. Kennington III
be5f4082fd pulseaudio: Remove default derivation 2015-05-29 14:47:33 -07:00
William A. Kennington III
b9a366e5c4 Fix typo 2015-05-29 14:35:23 -07:00
William A. Kennington III
b07929b0a3 Use libpulseaudio instead of pulseaudio 2015-05-29 14:32:56 -07:00
William A. Kennington III
cd52c04456 Fix more ca-bundle paths 2015-05-29 14:26:32 -07:00
Arseniy Seroka
95cc27149c Merge pull request #8066 from ftrvxmtrx/chuck-1.3.5.1
chuck: 1.3.5.0 -> 1.3.5.1
2015-05-30 00:04:05 +03:00
William A. Kennington III
14c1e0fa1f Fix ca-bundle paths 2015-05-29 14:03:34 -07:00
Arseniy Seroka
02fd0c8771 Merge pull request #7742 from magnetophon/guitarix-syslibs-master
guitarix: use system zita libs
2015-05-29 23:37:43 +03:00
Pascal Wittmann
c0a5ffc438 wireshark: update from 1.12.4 to 1.12.5, fixes CVE-2015-3808 2015-05-29 22:17:03 +02:00
Siarhei Zirukin
c9f5b8a2ee chuck: 1.3.5.0 -> 1.3.5.1 2015-05-29 21:55:53 +02:00
Arseniy Seroka
7621bea142 Merge pull request #8058 from codyopel/tetraproc
tetraproc: add missing Xorg libs & ensure Jack is in PATH
2015-05-29 21:18:06 +03:00
_1126
c04784dfd6 rofi-pass: initial commit. 2015-05-29 16:42:27 +02:00
codyopel
0ff8e28b83 tetraproc: add missing Xorg libs & ensure Jack is in PATH 2015-05-29 08:53:41 -04:00
Bart Brouns
859ec9719b guitarix: use system zita libs 2015-05-29 14:05:46 +02:00
Pascal Wittmann
e999716d1e calibre: update from 2.28.0 to 2.29.0 2015-05-29 12:57:07 +02:00
William A. Kennington III
035273f813 Merge pull request #8022 from devhell/mediainfo
Update mediainfo{-gui} and dependencies
2015-05-29 00:57:13 -07:00
William A. Kennington III
aa3dee3a2d lightdm: Update to stable 1.14.2 2015-05-28 16:23:46 -07:00
Peter Simons
99273a6716 Merge pull request #8047 from nckx/master
Don't use "with licenses;" for single licences
2015-05-28 22:14:53 +02:00
Tobias Geerinckx-Rice
158e1cfdd0 Don't use "with licenses;" for single licences
And don't use square brackets on such lines.
2015-05-28 19:20:29 +02:00
Pascal Wittmann
8b38912260 potrace: update from 1.11 to 1.12 2015-05-28 19:06:11 +02:00
Pascal Wittmann
8ac4521fee mysql-workbench: fix references to /bin/bash and sudo
Closes #5226
2015-05-28 18:41:22 +02:00
codyopel
ba9867fb5b mpv: refactor & fix youtube-dl support 2015-05-28 09:30:36 -04:00
Marko Durkovic
d917f8c7c9 cygwin: w3m 2015-05-28 10:53:35 +02:00
Evgeny Egorochkin
d2e364c678 unbreak the nixpkgs monitor: url -> urls 2015-05-28 11:38:59 +03:00
William A. Kennington III
0e1477f940 Merge pull request #8033 from codyopel/tetraproc
tetraproc: refactor
2015-05-27 23:32:22 -07:00
codyopel
e4fece4f28 tetraproc: refactor 2015-05-28 02:12:45 -04:00
codyopel
0a9d9639ea jaaa: refactor 2015-05-28 01:57:38 -04:00
Tobias Geerinckx-Rice
b2d7f4b1ba Use common licence attributes from lib/licenses.nix
Many (less easily automatically converted) old-style strings
remain.

Where there was any possible ambiguity about the exact version or
variant intended, nothing was changed. IANAL, nor a search robot.

Use `with stdenv.lib` wherever it makes sense.
2015-05-27 22:00:06 +02:00
devhell
4de17c7837 Update mediainfo{-gui} and dependencies
* mediainfo{-gui} 0.7.73 -> 0.7.74
* libmediainfo    0.7.73 -> 0.7.74

From the mediainfo ChangeLog:
```
Version 0.7.74, 2015-05-25

+ FIMS: Preliminary version (not for production)
+ D-10 audio: display of real bitrate beside the encoded bitrate
+ VC-3: detection of CDP packets (608/708 captions), created by Nexio, inside the VC-3 private data
+ AES3: generic term AES3 replaced by more precise SMPTE ST numbers (302, 331, 337)
+ NUT: basic detection
+ FFV1: more parsing of the bitstream, support of any version of FFV1 in MOV and Matroska
+ DPX: color space and frame rate
x #B906, Matroska: duration was missing if Info block is at the end of the file
x #B908, AC-3: bit depth removed
x #P86, MPEG-4: moov_trak_edts_elst Atom was ignoring version of the atom
x Dolby E: the MXF channel count value was sometimes reported instead of the real channel count
x VorbisComment: WAVEFORMATEXTENSIBLE_CHANNEL_MASK "0X" ("x" in uppercase) is accepted now
x EBUCore: TotalProgrammeDuration was wrongly filled with IdentClockStart value
x EBUCore: Source/Material moved from timecodeStart to timecodeTrack
x MPEG-4: info is missing for some streams in some specific cases
```
2015-05-27 19:57:57 +01:00
Charles Strahan
069913e1b9 bviplus: new package
ncurses based hex editor with a vim-like interface
2015-05-27 11:48:05 -04:00
Charles Strahan
15b9fe1fab heme: new package
A portable and fast console hex editor for unix operating systems.
2015-05-27 11:48:05 -04:00
Charles Strahan
4976bcd218 hexcurse: new package
ncurses-based console hexeditor written in C
2015-05-27 11:48:05 -04:00
Charles Strahan
a22cffa7bb ht: new package
HT is a file editor/viewer/analyzer for executables.
2015-05-27 11:48:05 -04:00
Tobias Geerinckx-Rice
af15a201e1 neovim: update to latest master 2015-05-26 2015-05-27 01:22:43 +02:00
Tobias Geerinckx-Rice
b84588cbde vim (all builds): add licence information 2015-05-27 01:22:43 +02:00
Tobias Geerinckx-Rice
bd67bfa306 neovim: various small improvements
- Fix package name ("neovim-nightly" -> "neovim")
- Use fetchFromGitHub, remove unused parameters
- Improve metadata
- Maintain
2015-05-27 00:13:24 +02:00
Tobias Geerinckx-Rice
661326b34c x2goclient 4.0.3.2 -> 4.0.4.0 2015-05-26 23:59:36 +02:00
Mateusz Kowalczyk
5c401ea5ee Merge branch 'bitmeter-master' of https://github.com/magnetophon/nixpkgs 2015-05-26 11:39:06 +01:00
Mateusz Kowalczyk
227bc88da6 Merge pull request #7991 from vbgl/gappa
Adds gappa 1.2.0
2015-05-26 11:14:20 +01:00
Mateusz Kowalczyk
a2ece3e75e Merge pull request #7999 from dezgeg/pr-urxvt-propagate-terminfo
rxvt_unicode: Add terminfo output to propagated-user-env-packages
2015-05-26 10:55:22 +01:00
Tobias Geerinckx-Rice
7b6d9d4cff Remove arb and then-orphaned lesstif93
Arb has been broken (and marked as such) since the removal of
GCC 4.2 in July 2014. Nothing and no-one uses it. Time to go.
2015-05-26 11:46:41 +02:00