Commit graph

15305 commits

Author SHA1 Message Date
Peter Simons
ea50da9041 haskell-libnotify: re-generate with cabal2nix (and override reference to pkgs.libnotify) 2014-12-24 13:43:42 +01:00
Domen Kožar
20e0da55f5 add kodi 14.0 (renamed from xbmc, new release) 2014-12-24 10:57:41 +01:00
Peter Simons
157e63c6e6 Update default Haskell compiler from GHC 7.8.3 to 7.8.4. 2014-12-24 09:56:31 +01:00
Domen Kožar
6a236b214a Merge pull request #5151 from offlinehacker/pkgs/pythonPackages/fig
pythonPackages: add fig
2014-12-24 09:54:13 +01:00
Marcell Vazquez-Chanlatte
7613a7e03f adding rawdog rss reader 2014-12-23 21:30:54 -06:00
Vladimír Čunát
fd9d8edc51 nvidia_x11: add 343 branch as the default (close #5070)
It's just a plain copy of the 340 expressions (only hash and version changed).
2014-12-24 00:06:46 +01:00
Domen Kožar
d682779be7 Merge pull request #5448 from bdimcheff/devede
Add devede
2014-12-23 22:13:03 +01:00
Peter Simons
8311973759 Add GHC 7.8.4 and create haskellPackages_ghc784 package set. 2014-12-23 20:44:49 +01:00
Domen Kožar
667b97b5c2 fix selenium python bindings 2014-12-23 20:36:55 +01:00
Vincent Laporte
81a2b58c39 nixpkgs: remove redundant attribute sip
Because:

 1. It is a mere alias of `pythonPackages.sip`
 2. It is usually not needed since propagated by `pyqt4`
 3. It makes it easy to have a packages depend on two different versions
 of sip
2014-12-23 19:37:21 +01:00
Brandon Dimcheff
d76a42494b add devede DVD creator gui 2014-12-23 12:31:45 -05:00
Eelco Dolstra
49f53f63f5 blender: Add OpenCOLLADA support 2014-12-23 18:17:09 +01:00
Tobias Geerinckx-Rice
bc5938b07d Add remotebox: VirtualBox client with remote management 2014-12-23 16:22:07 +01:00
Tobias Geerinckx-Rice
7137ae48bc Add Gtk2 (and required Pango, Cairo & Glib) Perl bindings 2014-12-23 16:22:06 +01:00
Eelco Dolstra
4a63787b78 pstack: Remove
It doesn't work anymore. And anyway, this probably shouldn't have been
a package in the first place (it's just some gdb options).
2014-12-23 16:07:02 +01:00
Peter Simons
4bb1e611a2 Merge pull request #5440 from ip1981/strongswan
Patches to Strongswan
2014-12-23 13:02:08 +01:00
Peter Simons
cbe0a81041 all-packages.nix: strip trailing whitespace 2014-12-23 12:51:49 +01:00
Peter Simons
f0c80e1ced haskell-mode: add current snapshot of git 'master' branch as a low-prio alternative to the (fairly old) release version 2014-12-23 12:50:43 +01:00
Cray Elliott
d54db47b3c add new emulator, nestopia undead 2014-12-23 02:33:00 -08:00
Domen Kožar
168f541724 Merge pull request #5442 from rycee/package/trash-cli
Add package 'trash-cli'.
2014-12-23 11:17:41 +01:00
Robert Helgesson
b017231a21 Add package 'trash-cli'. 2014-12-23 10:22:37 +01:00
Igor Pashev
d57927748a autoreconf may need gettext
E. g. for AC_LIB_PREFIX
2014-12-22 20:20:00 +00:00
Shea Levy
4e558732e7 Add newrelic-sysmond 2014-12-22 15:13:08 -05:00
lethalman
74fbd2f676 Merge pull request #5436 from mcmtroffaes/feature/easytag-fix-gsettings
easytag: Fix "Using the 'memory' GSettings backend" (see issue  #4415).
2014-12-22 16:14:01 +01:00
Matthias C. M. Troffaes
6c9eb020ab easytag: Fix "Using the 'memory' GSettings backend" (see issue #4415). 2014-12-22 11:17:38 +00:00
lethalman
91061d287d Merge pull request #5401 from bergey/fonts
No need for squash, merged thanks.
2014-12-21 15:34:58 +01:00
Pascal Wittmann
b676be70fc Merge pull request #5412 from devhell/mp3gain
mp3gain: Add package
2014-12-20 21:45:41 +01:00
Peter Simons
b9331b0100 Merge pull request #5402 from bergey/haskell-csv-conduit-packdeps
haskell: add csv-conduit, packdeps
2014-12-20 17:26:00 +01:00
devhell
1b4094cf5a mp3gain: Add package
This adds mp3gain which is a normalizer for mp3 audio files.
2014-12-20 15:29:53 +00:00
Pascal Wittmann
3106bab31d bfr: justify perl516
docs fail to build with newer versions
2014-12-19 23:22:15 +01:00
Pascal Wittmann
bc19ef9efe bfr: update source url, fix build and adopt it 2014-12-19 23:17:07 +01:00
Daniel Bergey
856fa922c4 haskell: add csv-conduit, packdeps
csv-conduit is a CSV library using conduit (streams)

packdeps is an executable to compare Haskell dependencies to latest
available versions
2014-12-19 19:35:34 +00:00
Daniel Bergey
a2db5ebf20 add TeX Gyre fonts 2014-12-19 19:31:58 +00:00
Daniel Bergey
123f553a22 add League of Moveable Type fonts
Conflicts:
	pkgs/top-level/all-packages.nix
2014-12-19 19:31:56 +00:00
Pascal Wittmann
2679fc571c node-packages: add trash and empty-trash 2014-12-19 18:53:38 +01:00
Domen Kožar
71316f7c42 Merge pull request #5273 from berdario/master
Skip nonreproducible Util test in paramiko
2014-12-19 10:59:56 +01:00
lethalman
0cd639ebf8 Merge pull request #5304 from puffnfresh/package/mimms
Add mimms, an mms (e.g. mms://) stream downloader
2014-12-19 10:50:28 +01:00
lethalman
ce8b10ef59 Merge pull request #5320 from teh/hyperdex
Add hyperdex.
2014-12-19 10:47:44 +01:00
lethalman
bff11526f1 Merge pull request #5325 from prikhi/add-gtk2fontsel
Add the gtk2fontsel Font Viewer
2014-12-19 10:44:07 +01:00
lethalman
70bede51a2 Merge pull request #5370 from KoviRobi/master
Added package 'fatsort'.
2014-12-19 10:23:13 +01:00
lethalman
5ff1f17248 Merge pull request #5393 from abbradar/ocz-toolbox
ocz-toolbox: new package
2014-12-19 10:21:32 +01:00
Peter Simons
d461256d8b haskell-transformers-compat: update to version 0.3.3.4 2014-12-19 07:45:12 +01:00
Peter Simons
b441fa9f19 haskell-defaults.nix: always build jailbreak-cabal with the latest possible Cabal version 2014-12-19 07:45:11 +01:00
Evgeny Egorochkin
0f3b1cedcd Revert "phonon-backend-gstreamer: add Qt 5 support"
This reverts commit b1123db790.
2014-12-19 08:14:00 +02:00
Nikolay Amiantov
b62a2b07f4 ocz-toolbox: new package 2014-12-19 05:04:31 +03:00
aszlig
ebf216bd56
Merge pull request #5389 from devhell/mediainfo.
Introduces a video/audio information utility, both CLI and GUI.

Thanks to @devhell.

* devhell-mediainfo:
  libzen: Add --enable-shared to configureFlags.
  mediainfo-gui: Add package
  mediainfo: Add myself to meta.maintainers.
  mediainfo: Add package and dependencies
2014-12-19 00:17:21 +01:00
Arseniy Seroka
5bafbd3a2e libnotify: add haskell lib 2014-12-19 01:18:08 +03:00
devhell
162c9a5455 mediainfo-gui: Add package 2014-12-18 22:11:07 +01:00
Peter Simons
fa165e137d cabal-install: update to version 1.20.0.4
The test suite had to be disabled because of https://github.com/haskell/cabal/issues/2285.
2014-12-18 18:36:49 +01:00
Peter Simons
f698fbecd2 Merge pull request #5376 from Zert/master
Add poker-eval library
2014-12-18 14:10:40 +01:00
lethalman
659dca9b81 Merge pull request #5373 from daogames/este/czmq
added czmq v3.0.0-rc1
2014-12-18 10:32:44 +01:00
Domen Kožar
6b207721cb dropbox: 2.0.0 -> 2.2.0, disable tests
(cherry picked from commit b0a0fb60dfea819703889150ce6dc311ac85f0d7)
Signed-off-by: Domen Kožar <domen@dev.si>
2014-12-18 09:22:47 +01:00
Maxim Treskin
70cd78ff89 Add poker-eval library 2014-12-18 01:05:03 +01:00
Ronny Esterluss
f41be3fa2b added czmq v3.0.0-rc1 2014-12-17 20:59:32 +01:00
lethalman
319b981f22 Merge pull request #5372 from matejc/e19update
E19 update and keyboard layouts fix
2014-12-17 20:25:57 +01:00
William A. Kennington III
52dde68a85 Revert "mongodb: Attempt to use boost157"
This reverts commit f8a4dc80b8.
2014-12-17 10:12:26 -08:00
Benno Fünfstück
34e45a7924 firefox-wrapper: more gstreamer plugins
The previous commit effaa51 broke some of soundcloud in firefox.
2014-12-17 17:23:54 +01:00
Matej Cotman
c1bf0837a1 e19: update enlightenment core libraries 2014-12-17 15:44:32 +01:00
Luca Bruno
614162ee6c Some lua and awesome improvements
- Move lgi to luaPackages
- Use luaPackages in awesome and passthru lua
- Allow to pass lua modules to the awesome WM so that those can be used in the configuration
2014-12-17 15:08:21 +01:00
Kovacsics Robert (rmk35)
6f608967f4 Added package 'fatsort'.
Fatsort sorts partition table on FAT12/16/32 partitions for devices that
don't sort the files for themselves (e.g. some media players).
2014-12-17 13:54:13 +00:00
Rob Vermaas
f5680cdd49 gsutil: add crcmod to dependencies. Needed to download from Google Storage. 2014-12-17 11:29:13 +01:00
wmertens
2fb69f5277 Merge pull request #5196 from madjar/cloud-init
cloud-init: add expression and service
2014-12-17 06:58:54 +01:00
Luca Bruno
8c8750c3c5 wml: new package and perl dependency Image::Size
Off-line HTML generation toolkit for Unix

http://thewml.org/
2014-12-17 01:36:07 +01:00
devhell
9901537209 mediainfo: Add package and dependencies
Includes only the CLI version and the following dependencies:

 * libzen
 * libmediainfo
2014-12-17 01:28:46 +01:00
Domen Kožar
9de5eb6ade remove btrfsProgs-3_16, not needed anymore 2014-12-17 01:20:05 +01:00
William A. Kennington III
f8a4dc80b8 mongodb: Attempt to use boost157 2014-12-16 15:18:22 -08:00
William A. Kennington III
4b73212241 kernel: Remove 3.16 2014-12-16 14:15:17 -08:00
Vladimír Čunát
304484a753 ffmpeg_2_3: use 2.2 instead of 2.3
2.3 branch is unmaintained and was critically vulnerable (I thank to monitor).
2014-12-16 21:33:24 +01:00
Arseniy Seroka
aa88a070bb Merge pull request #5357 from DamienCassou/pylint-1.4-astroid-1.3.2
Update pylint and astroid
2014-12-16 20:44:20 +03:00
Damien Cassou
8967e88438 Update pylint and astroid 2014-12-16 16:54:41 +01:00
Wayne Scott
6dc9ea2a2c Package attic-backup.org 2014-12-15 17:00:10 -05:00
Georges Dubus
e07f7cd802 nox: switch dependency from nixUnstable to nix 2014-12-15 17:32:23 +01:00
Tom Hunger
013bd9247d Add hyperdex. 2014-12-15 10:27:00 +00:00
Thomas Tuegel
23b387236d zotero: use firefox instead of xulrunner to fix i686 build 2014-12-14 13:49:34 -06:00
Shea Levy
e82aed56f9 nix-exec: use nix stable 2014-12-14 13:11:32 -05:00
Oliver Charles
6221af50c4 apitrace: New expression 2014-12-14 15:41:51 +00:00
Vladimír Čunát
1a0a161920 gnat: make it build again (close #5307)
Problems are worked around by using older gcc wrapper for gnat bootstrap.
(from ca441636f1^)

I tried nicer solutions first, but I was unable to fix all problems for hours.
2014-12-14 16:24:31 +01:00
lethalman
8ad61fcb10 Merge pull request #5327 from k0ral/moreutils
New package: moreutils-0.54
2014-12-14 13:33:11 +01:00
koral
421b3ebe25 New package: moreutils-0.54 2014-12-14 12:49:07 +01:00
Arseniy Seroka
60d3660f71 Merge pull request #5324 from prikhi/add-wyrd
Add the Wyrd Front-End for Remind
2014-12-14 13:31:46 +03:00
Pavan Rikhi
292eb57af8 Add the gtk2fontsel Font Viewer 2014-12-13 23:37:44 -05:00
Eelco Dolstra
e115bdecd8 nix: Update to 1.8 2014-12-14 05:29:24 +01:00
Pavan Rikhi
62b98c458d Add the Wyrd Front-End for Remind 2014-12-13 20:23:09 -05:00
Eelco Dolstra
188c038897 Add nix-serve 2014-12-14 02:19:54 +01:00
Pascal Wittmann
1f0fdd7c28 added tmsu, a tool for tagging your files 2014-12-13 23:50:49 +01:00
Arseniy Seroka
3e66ed0432 Merge pull request #5321 from teh/master
Add pycosat.
2014-12-13 23:25:38 +03:00
Domen Kožar
637b4d76f7 fix perl build failures
(cherry picked from commit 94c1406951edb37670740f3218a6e064be768555)
Signed-off-by: Domen Kožar <domen@dev.si>
2014-12-13 16:32:51 +01:00
Tom Hunger
67935713a9 Add pycosat. 2014-12-13 14:54:52 +00:00
Pavan Rikhi
0df1c05f71 Add the Profile Sync Daemon Package & NixOS Module 2014-12-13 09:24:12 -05:00
Julian K. Arni
5c405a8152 Update servant packages to 0.2 2014-12-13 15:17:26 +01:00
lethalman
46eef38486 Merge pull request #5294 from DamienCassou/mutag
Add python package mutag
2014-12-13 14:51:54 +01:00
Peter Simons
1cbd08aa15 haskell-text: update to version 1.2.0.3 2014-12-13 14:05:16 +01:00
Peter Simons
8e2b61c5d3 Build Agda and hindent with a recent version of src-exts. 2014-12-13 12:53:45 +01:00
Peter Simons
0028f765f4 haskell-type-aligned: add version 0.9.3 2014-12-13 12:53:42 +01:00
Peter Simons
299fe02d00 haskell-quickcheck-unicode: add version 1.0.0.0 2014-12-13 12:53:41 +01:00
Peter Simons
f52619082e haskell-text: update to version 1.2.0.2 2014-12-13 12:53:41 +01:00
Peter Simons
d2b117e0f6 haskell-zip-archive: update to version 0.2.3.5 2014-12-13 12:53:41 +01:00
Peter Simons
610981dcf0 haskell-transformers: add version 0.4.2.0 2014-12-13 12:53:40 +01:00
Peter Simons
bb770ba61d haskell-scientific: update to version 0.3.3.3 2014-12-13 12:53:40 +01:00
Peter Simons
6ad9a19684 haskell-parallel: update to version 3.2.0.5 2014-12-13 12:53:40 +01:00
Peter Simons
ebe67709f1 haskell-vector: update to version 0.10.12.2 2014-12-13 12:53:40 +01:00
Peter Simons
58a5933b99 haskell-monad-par: update to version 0.3.4.7 2014-12-13 12:53:40 +01:00
Peter Simons
09e7a217ff haskell-MonadRandom: update to version 0.3.0.1 2014-12-13 12:53:40 +01:00
Peter Simons
ccd74d7497 haskell-ghc-server: drop obsolete package 2014-12-13 12:06:01 +01:00
Peter Simons
5e2f4a4a73 haskell-gloss-rendering: add version 1.9.2.1 2014-12-13 12:06:01 +01:00
Peter Simons
17589d33da haskell-list-t: add version 0.3.0 2014-12-13 12:06:01 +01:00
Peter Simons
f514804aad haskell-mtl-prelude: add version 1.0.1 2014-12-13 12:06:01 +01:00
Michael Raskin
2c85888a04 Fix Firefox wrapper set-as-default functionality 2014-12-12 22:03:06 +03:00
Jaka Hudoklin
13e58784bf nixos/gitlab: fixes
- fix timezone data not found
- fix module, add simple test
- allow to set port
2014-12-12 18:01:31 +01:00
Thomas Hunger
59995e168c nixos: Add gitlab and gitlab-shell
I had to make several adjustments to make it work with nixos:

* Replace relative config file lookups with ENV variable.
* Modify gitlab-shell to not clear then environment when running
  pre-receive.
* Modify gitlab-shell to write some environment variables into
  the .authorized_keys file to make sure gitlab-shell reads the
  correct config file.
* Log unicorn output to syslog.
  I tried various ways of adding a syslog package but the bundler would
  not pick them up. Please fix in a better way if possible.
* Gitlab-runner program wrapper.
  This is useful to run e.g. backups etc. with the correct
  environment set up.
2014-12-12 18:01:29 +01:00
tv
86055e2f00 nixopsUnstable: Initial version 1.3pre1362_2a616f8 2014-12-12 16:30:54 +01:00
Damien Cassou
bc789064d8 Package for the Polari IRC app
This commit includes a patch to telepathy's derivation, written by
Lethalman. This patch makes public the Telepathy's dependency to
dbus_glib. This patch will become problematic with the next pkgconfig
upgrade but this upgrade should make the patch irrelevant. See these 2
links for more information:
- https://bugs.freedesktop.org/show_bug.cgi?id=15199
- https://bugzilla.redhat.com/show_bug.cgi?id=436773

Modified by Luca Bruno:
- Moved telepathy_idle to propagatedUserEnvPkgs
- Added myself to maintainers
- Enable parallel building
2014-12-12 15:12:19 +01:00
Damien Cassou
f581054dc4 Add python package mutag 2014-12-12 13:35:27 +01:00
lethalman
ed485025e3 Merge pull request #5305 from wizeman/u/scikit
python3Packages.scikitlearn: Enable on py3k
2014-12-12 09:48:51 +01:00
Austin Seipp
0bdff430a4 nixpkgs: rr 2.0.0 -> 3.0.0, with 64bit support
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-12-12 01:20:23 -06:00
Ricardo M. Correia
b772ba327e python3Packages.scikitlearn: Enable on py3k 2014-12-12 03:48:07 +01:00
Brian McKenna
a20ffe7f0f Add mimms, an mms (e.g. mms://) stream downloader 2014-12-11 19:27:36 -07:00
Jaka Hudoklin
8b512261be Add cava, console-based Audio Visualizer for Alsa 2014-12-12 00:09:32 +01:00
Domen Kožar
d83bae657a deluge: 1.3.10 -> 1.3.11 2014-12-11 15:40:59 +01:00
Domen Kožar
8853d30707 pythonPackages.pyptlib: disable tests
(cherry picked from commit c8d9073c0ef2886b06d3817c174d93970690c919)
Signed-off-by: Domen Kožar <domen@dev.si>
2014-12-11 11:46:36 +01:00
Domen Kožar
aaf998f604 remove libvlc, unused package
cc @ttuegel
2014-12-11 10:38:52 +01:00
Domen Kožar
9768adaf1e Revert "xulrunner: use gold linker"
This reverts commit 4a3510ae2b.

Error occurs randomly http://hydra.nixos.org/eval/1165369
2014-12-10 21:15:25 +01:00
Domen Kožar
89fa1733fa python3Packages.dateutil_2_1: fix build 2014-12-10 21:10:15 +01:00
Eelco Dolstra
4d918cb6c7 php-5.3: Remove
PHP 5.3 is EOL (see http://php.net/supported-versions.php). NixOS
14.12 is a good opportunity to drop it.
2014-12-10 17:19:37 +01:00
Vladimír Čunát
62e5e2a880 apparmor: fix build by using older perl
This is work around #5270.
Also bogus path in wrapper got fixed.

CC: maintainers @phreedom, @thoughtpolice.
It would be better to test this as well by someone who actually uses it.
2014-12-10 16:11:29 +01:00
Rok Garbas
ed79420b55 weechatDevel: removing it 2014-12-10 14:59:41 +01:00
Mathijs Kwik
4a3510ae2b xulrunner: use gold linker 2014-12-10 13:56:04 +01:00
Vladimír Čunát
d7a7b72353 qt5SDK: fix build by not building docs
Feel free to find a proper fix.
2014-12-10 13:20:36 +01:00
Domen Kožar
73ef06de48 flexget: fix runtime dependencies 2014-12-10 12:55:05 +01:00
Austin Seipp
b31283dd8b nixpkgs: add tor-arm 1.4.5.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-12-10 03:59:59 -06:00
Mateusz Kowalczyk
4d520d9e12 haskell-call: new package 2014-12-10 09:42:03 +00:00
Mateusz Kowalczyk
c4b4dfa1dc haskell-elevator: new package 2014-12-10 09:42:03 +00:00
Mateusz Kowalczyk
891a293aa6 haskell-bindings-portaudio: new package 2014-12-10 09:42:02 +00:00
lethalman
4faed098e8 Merge pull request #5278 from nckx/ftop
Add ftop: show progress of open files and file systems
2014-12-10 09:37:31 +01:00
Mateusz Kowalczyk
a50a7ca3da haskell-hspec-laws: new package 2014-12-10 07:45:16 +00:00
Tobias Geerinckx-Rice
2e7d552122 Add ftop: show progress of open files and file systems 2014-12-10 05:34:57 +01:00
Domen Kožar
0fcef83b0d fix a bunch of perl modules 2014-12-10 01:38:00 +01:00
Vincent Laporte
ef5c48326a Adds ocaml-fieldslib
This library defines a syntax extension for OCaml using Camlp4 that
can be used to define first class values representing record fields,
and additional routines, to get and set record fields, iterate and
fold over all fields of a record and create new record values.

Homepage: https://ocaml.janestreet.com/
2014-12-09 19:37:48 +01:00
Bjørn Forsman
1b396c7ae9 buildbot-slave: align attrname with pkgname
Keep old attrname (buildbotSlave) around for backward compatibility.
2014-12-09 19:14:03 +01:00
Dario Bertini
4ac75c3f79
Add paramiko test removal comment 2014-12-09 18:16:17 +01:00
Dario Bertini
d1f9d97569
Skip nonreproducible Util test in paramiko 2014-12-09 17:21:53 +01:00
Domen Kožar
fe28966179 pyptlib: disable py3k and pypy 2014-12-09 13:23:18 +01:00
Domen Kožar
d7ab16aee4 remove cppnetlib, we already have cpp-netlib 2014-12-09 12:24:57 +01:00
lethalman
765eab6d5b Merge pull request #5269 from luke-clifton/lc-soundtouch
Added SoundTouch library
2014-12-09 10:25:26 +01:00
Luke Clifton
e62aa58f71 Added SoundTouch library 2014-12-09 17:15:30 +08:00
William A. Kennington III
a6f4c3624e kernel: Add 3.18 2014-12-08 23:18:04 -08:00
Alex Chapman
31b163b90b Add haskellPackages.ofx at version 0.4.0.0 2014-12-09 07:04:49 +11:00
Thomas Tuegel
d75485c945 Add fontconfig-ultimate-20141123 2014-12-08 10:55:23 -06:00
wmertens
24924e4fdf Merge pull request #5125 from nckx/eid-mw
Add eid-mw: authenticate & sign with Belgian eID identity cards
2014-12-08 16:40:54 +01:00
Domen Kožar
de99c9c955 Merge branch 'staging' 2014-12-08 16:28:45 +01:00
Luca Bruno
0b1d16cff2 vanubi: use Vala 0.26 2014-12-08 15:36:29 +01:00
Edward Tjörnhammar
3ce89ba002 srm: added package 2014-12-08 11:51:39 +01:00
Edward Tjörnhammar
7102ef5d49 Revert "nixpkgs: remove tsocks"
torsocks and tsocks are not equivalent. torsocks needs a
tor proxy for DNS, tsocks do not.

This reverts commit 1ef6470f15.

tsocks: adding myself as maintainer
2014-12-08 11:51:22 +01:00
Vincent Laporte
6a69a25c56 Adds coq-interval
This library provides vernacular files containing tactics for
simplifying the proofs of inequalities on expressions of real numbers
for the Coq proof assistant.

Homepage: http://coq-interval.gforge.inria.fr/
2014-12-08 09:15:13 +01:00
Michael Raskin
06f4ddf962 Add suckless.org sinit for experiments 2014-12-08 09:12:14 +03:00
Pavan Rikhi
211c9ba7f5 Add the Dina font 2014-12-07 18:11:49 -05:00
Benno Fünfstück
90c7b16fcf firefox-wrapper: add gstreamer plugins for h264 video support
These plugins are required by firefox for the h264 support in HTML5 <video> tags.
2014-12-07 20:37:17 +01:00
Cillian de Róiste
0d4843a388 ingen: update from 5464 to 5490, use default boost, wrap python scripts 2014-12-07 15:39:45 +01:00
Domen Kožar
4aa3eec330 Merge branch 'master' into staging
Conflicts:
	pkgs/development/libraries/fontconfig/default.nix
2014-12-07 14:02:48 +01:00
Emery Hemingway
541ac07607 meters.lv2: initial package at 0.8.1 2014-12-06 14:20:58 -05:00
Bjørn Forsman
f85ad2d378 nfs-utils: align attrname with pkgname
nfsUtils => nfs-utils. Keep copy of old attribute for backward
compatibility.
2014-12-06 17:01:05 +01:00
Bjørn Forsman
748b335256 sqlite-interactive: align attrname with pkgname
sqliteInteractive => sqlite-interactive. Keep copy of old attribute for
backward compatibility.
2014-12-06 17:01:05 +01:00
Bjørn Forsman
289ec3b5aa html-tidy: align attrname with pkgname
htmlTidy => html-tidy. Keep copy of old attribute for backward
compatibility.
2014-12-06 17:01:05 +01:00
Peter Simons
0d9001e934 haskell-preprocessor-tools: remove obsolete version 0.1.3 2014-12-06 16:41:40 +01:00
Peter Simons
e56b1610e7 haskell-ixdopp: remove obsolete package 2014-12-06 16:41:22 +01:00
Arseniy Seroka
6641f5d220 binary-strict: add haskell pkg 2014-12-06 18:34:23 +03:00
Arseniy Seroka
3cc8b15721 haskell: add pkg lin-alg 2014-12-06 18:24:30 +03:00
Bjørn Forsman
0ec7a55ec1 python-pycollada: update 0.4 -> 0.4.1
Build tested with freecad, the only dependee.
2014-12-06 16:13:15 +01:00
cillianderoiste
aeea41f5c8 Merge pull request #5244 from ftrvxmtrx/schismtracker
schismtracker: new package
2014-12-06 14:40:08 +00:00
Austin Seipp
d4dd59e74d nixpkgs: obfsproxy 0.2.2 -> 0.2.12
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-12-06 05:01:28 -06:00
Austin Seipp
1ef6470f15 nixpkgs: remove tsocks
tsocks is old, and users should be using torsocks these days instead.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-12-06 05:00:26 -06:00
Pascal Wittmann
47eabfabe2 Merge pull request #5239 from robberer/pkgs/mrtg
mrtg: add 2.17.4
2014-12-06 10:58:53 +01:00
Longrin Wischnewski
cf4318ad4e mrtg: add 2.17.4
- The Multi Router Traffic Grapher
- You have a router, you want to know what it does all day long?
- Then MRTG is for you. It will monitor SNMP network devices and draw
- pretty pictures showing how much traffic has passed through each interface.
2014-12-06 09:05:29 +01:00
Tobias Geerinckx-Rice
51ccf09ba2 Add duff: find duplicate files from the command line 2014-12-06 00:10:08 +01:00
Tobias Geerinckx-Rice
b7425f8fef Add eid-mw: authenticate & sign with Belgian eID identity cards 2014-12-05 23:15:44 +01:00
Peter Simons
efccab0cf2 Merge pull request #5232 from joachifm/haskell-mvc
haskell-packages: add mvc and mvc-updates
2014-12-05 18:53:02 +01:00
Peter Simons
6b45125f59 Merge pull request #5231 from luke-clifton/lc-linear-opengl
Haskell package: linear-opengl
2014-12-05 18:52:49 +01:00
Vincent Laporte
9d9323b3a9 camlimages: fix dependency 2014-12-05 14:55:25 +01:00
Joachim Fasting
0a9c590c8c haskell-mvc-updates: new expression 2014-12-05 14:25:50 +01:00
Joachim Fasting
757c39877b haskell-mvc: new expression 2014-12-05 14:25:50 +01:00
Benno Fünfstück
effaa51680 firefox-wrapper: add missing gstreamer plugins
These GStreamer plugins are required for H264 <video> tag support in Firefox.
2014-12-05 14:22:51 +01:00
Pavan Rikhi
b79bf417f0 Add the Clearlooks-Phenix GTK3 Theme 2014-12-05 05:13:17 -05:00
Luke Clifton
581fcc2ad2 Added linear-opengl 2014-12-05 16:08:39 +08:00
Michael Raskin
b4084d4913 Just use old glm for LO, the rest of LO is not keen on using C++ git add -A 1 2014-12-05 10:51:40 +03:00
Bas van Dijk
3b25e233ab Use lens-4.6.0.1 instead of lens-4.4
lens-4.4 doesn't build because it requires an old version of text.
2014-12-05 07:55:27 +01:00
Bas van Dijk
6fa969839a Merge branch 'master' of https://github.com/NixOS/nixpkgs into update
Conflicts:
	pkgs/development/libraries/haskell/text-binary/default.nix
	pkgs/top-level/haskell-defaults.nix
	pkgs/top-level/haskell-packages.nix
2014-12-05 07:54:48 +01:00
Charles Strahan
aadb556e29 lastpass-cli: new package
This adds the official lastpass CLI, a utility for manipulating lastpass logins.
2014-12-04 18:23:25 -05:00
Arseniy Seroka
973e8ed171 Merge branch 'submit/vim-plugins-extra-file' of https://github.com/MarcWeber/nixpkgs into MarcWeber-submit/vim-plugins-extra-file 2014-12-05 01:43:18 +03:00
Peter Simons
e51ece3a65 Merge pull request #5225 from jkarni/jkarni/monadIO
Add haskell monadIO package.
2014-12-04 22:36:49 +01:00
John Wiegley
e5d92d45b7 coqPackages.coqeal: new expression 2014-12-04 14:15:30 -06:00
Julian K. Arni
1c55e474b9 Add haskell monadIO package. 2014-12-04 20:16:09 +01:00
Peter Simons
730286ddfd Merge pull request #5223 from Gonzih/master
Add mopidy-mopify package
2014-12-04 20:02:11 +01:00
Julian K. Arni
f840b05fa1 Add haskell library parsec-extra. 2014-12-04 19:51:17 +01:00
Max Gonzih
0dd9d5d7d2 Add mopidy-mopify package to list of top-level packages 2014-12-04 18:46:40 +01:00
Thomas Tuegel
5c9de38488 zotero: use private firefox and xulrunner
Zotero breaks every time firefox is updated (about every six weeks). It
is always fixed with the next zotero update, but that can take weeks.
Sometimes, upstream even skips firefox releases. This will stop zotero
breaking every time.
2014-12-04 09:40:57 -06:00
Marc Weber
abd016cea8 Refactoring vim plugins again:
- sort automatcially generated vim derivations
- move the plugins to be derived by VAM into its own file: vim-plugin-names
- rename vimrc into vimUtils moving all common code into it
  so that it is possible to use it within ~/.nixpkgs/config.nix
- Moving all important documentation into vimUtils
- provide vimPlugins.pluginnames2Nix to provide a bin/vim-* command
  writing updated derivations into its buffer

VAM's repository's nix.vim got some improvements @ VAM repository, eg hg
fetchout out got fixed and shell failures are noticed now (Thanks to Arseniy
Seroka)
2014-12-04 15:32:38 +01:00
Domen Kožar
bd85d3ea7d qt-gstreamer1: fix build 2014-12-04 14:27:09 +01:00
Georges Dubus
e019249936 Merge pull request #5169 from AndersonTorres/altcoins
Altcoins
2014-12-04 13:58:00 +01:00
Luca Bruno
51992d82a1 Merge "Ipxe" PR #5208
Fixed some indentation issues
2014-12-04 12:04:08 +01:00
Emery Hemingway
3faacca044 nixpkgs: iPXE initial package 2014-12-04 11:03:56 +01:00
cillianderoiste
24c0b84bea Merge pull request #5218 from olcai/icalendar
Add pythonPackages.icalendar
2014-12-04 09:14:40 +00:00
Erik Timan
c0e7497484 Add olcai to maintainers
Takes maintainership of pythonPackages.icalendar as well
2014-12-04 09:05:36 +00:00
Evgeny Egorochkin
4672aadce2 KDE4: fix kdepim build 2014-12-04 10:22:27 +02:00
Erik Timan
d41ae7ee90 Add pythonPackages.icalendar 2014-12-04 07:56:53 +00:00
John Wiegley
aefdaaa098 haskellPackages.unboundGenerics: new expression 2014-12-04 00:19:29 -06:00
John Wiegley
cded93d25d haskellPackages.hoopl: new expression 3.10.0.1 2014-12-03 22:33:13 -06:00
Domen Kožar
942d7b9006 pythonPackages.sure: fix pypy and py3k builds 2014-12-03 21:16:27 +01:00
Thomas Tuegel
f7c27885d0 Add iwlegacy firmware for old Intel wireless cards 2014-12-03 10:10:00 -06:00
Peter Simons
1487b451c0 all-packages.nix: the default entry point to the R packages set is now pkgs/development/r-modules/default.nix 2014-12-03 16:28:28 +01:00
Georges Dubus
3441b41791 Merge pull request #5213 from olcai/master
Add pythonPackages.azure
2014-12-03 13:33:35 +01:00
Oliver Charles
9f30d7d038 haskellPackages.fixed,gl,half: New expressions 2014-12-03 12:07:06 +00:00
Erik Timan
ce45fd97d4 Add pythonPackages.azure 2014-12-03 10:42:45 +00:00
Domen Kožar
edef7d7ce0 pythonPackages.greenlet: 0.4.4 -> 0.4.5 2014-12-03 11:20:20 +01:00
Domen Kožar
e144d50237 pythonPackages.sure: 1.2.7 -> 1.2.8 2014-12-03 11:10:47 +01:00
Bjørn Forsman
fad7619799 python-seqdiag: update from 0.9.0 to 0.9.4 2014-12-03 07:43:06 +01:00
Bjørn Forsman
7317066e64 python-nwdiag: update from 1.0.0 to 1.0.3 2014-12-03 07:42:08 +01:00
Bjørn Forsman
6600bff65a python-construct: update from 2.5.1 to 2.5.2 2014-12-03 07:31:20 +01:00
Bjørn Forsman
e3fcb91e42 python-blockdiag: update from 1.3.2 to 1.4.7 2014-12-03 07:26:20 +01:00
Bjørn Forsman
8bd848a565 python-actdiag: update from 0.5.1 to 0.5.3 2014-12-03 07:24:49 +01:00
Bjørn Forsman
cf33e3c3eb python-robotframework-selenium2library: update 1.5.0 -> 1.6.0 2014-12-02 22:56:43 +01:00
Bjørn Forsman
f7b0cc6fab python-robotframework: update 2.8.5 -> 2.8.6 2014-12-02 22:56:43 +01:00
Bjørn Forsman
af6001a625 python-usbtmc: update 0.5 -> 0.6 2014-12-02 21:23:50 +01:00
cillianderoiste
ebc96e4b0a Merge pull request #5201 from geerds/pidgin-window-merge
Add package pidgin-window-merge
2014-12-02 16:35:24 +00:00
Jaka Hudoklin
67e703e630 pythonPackages: ugly fix docker registry dependencies 2014-12-02 16:50:11 +01:00
Jaka Hudoklin
aeba2947b0 Add chronos, fault tolerant job scheduler for Mesos 2014-12-02 12:22:05 +01:00
Jascha Geerds
4ba9aa074f Add package pidgin-window-merge 2014-12-02 11:37:11 +01:00
lethalman
14ba80a6e1 Merge pull request #5008 from nbp/rr
Add rr & libpfm.
2014-12-02 11:17:28 +01:00
Domen Kožar
9744404038 Merge pull request #5147 from teh/matplotlib
Update matplotlib to 1.4.2.
2014-12-02 10:55:43 +01:00
Michael Raskin
60b660b33a Adding slmenu 2014-12-02 12:29:54 +03:00
William A. Kennington III
1716c12b54 iwlwifi: Split into separate package with more up to date firmware 2014-12-01 16:25:20 -08:00
Arseniy Seroka
ea3292523c daemons: add haskell pkg 2014-12-02 01:12:05 +03:00
Domen Kožar
e8c4ef278c Merge pull request #5007 from nbp/bugwarrior
Add Bugwarrior and its dependencies.
2014-12-01 22:20:17 +01:00
Domen Kožar
50515b221e Merge pull request #5090 from eduarrrd/gramps
Add gramps package.
2014-12-01 22:06:22 +01:00
Oliver Charles
465a163e95 haskellPackages.opaleye: New expression 2014-12-01 19:18:43 +00:00
Siarhei Zirukin
1518d65866 schismtracker: new package 2014-12-01 19:58:25 +01:00
Moritz Ulrich
77049af46f pngcheck: New package. 2014-12-01 17:05:20 +01:00
Georges Dubus
1c3a9336ed Packaged cloud-init and its dependencies 2014-12-01 10:55:45 +01:00
Charles Strahan
fcb173f70f rescuetime: a time tracking service 2014-12-01 05:16:57 +00:00
Jaka Hudoklin
725c55c810 nodePackages: hack version override sed some more to support github packages, until better solution is found 2014-12-01 03:04:55 +01:00
Jaka Hudoklin
61e19d6e81 rubyLibs: add tmuxinator, update 2014-12-01 00:39:40 +01:00
Domen Kožar
304b71bf64 deluge: 1.3.7 -> 1.3.10 2014-11-30 20:42:06 +01:00
Bas van Dijk
f16e4508f4 Use optparse-applicative-0.11.0.1 in ghcjs 2014-11-30 18:08:28 +01:00
Domen Kožar
1ad22e8c55 Merge pull request #5189 from NixOS/almir
almir: pin the sqlalchemy version used by zope.sqlalchemy to 8
2014-11-30 17:23:53 +01:00
Nicolas Pierron
1b294105d7 libpfm & rr: Add packages. 2014-11-30 17:20:34 +01:00
Nicolas B. Pierron
ccc089f601 Add python-bugwarrior 1.0.2. 2014-11-30 16:48:52 +01:00
Nicolas B. Pierron
43bbfae9e5 Add python-taskw 0.8.6. 2014-11-30 16:48:51 +01:00
Nicolas B. Pierron
82f42f38bf Bump Jinja2 to version 2.7.3. 2014-11-30 16:48:51 +01:00
Nicolas B. Pierron
e778d5dcfb Add python-bugzilla 1.1.0. 2014-11-30 16:48:51 +01:00
Nicolas B. Pierron
9e4de80736 Add python-Twiggy 0.4.5. 2014-11-30 16:48:51 +01:00
William A. Kennington III
92448fb3ae boost: Pin packages to 1.56 2014-11-30 05:33:35 -08:00