1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-26 15:41:40 +00:00
Commit graph

14138 commits

Author SHA1 Message Date
Domen Kožar 482779e582 python: get rid of ssl module as it's always builtin 2014-10-11 20:23:51 +02:00
Matej Cotman 6d7de06a9a megaglest: new package 2014-10-11 18:56:15 +02:00
Markus Kohlhase d86c2c30c5 prosody: packaged as a service
Conflicts:
	nixos/modules/misc/ids.nix
2014-10-11 18:53:43 +02:00
Peter Simons 2dea014755 haskell-libmpd: remove obsolete version 0.8.0.5 2014-10-11 18:51:55 +02:00
Peter Simons 9bcb7a06f3 all-packages.nix: drop trailing whitespace 2014-10-11 18:38:06 +02:00
Aristid Breitkreuz 372f57cd33 xmobar needs mtl 2.2.1 and transformers 0.4 2014-10-11 18:38:06 +02:00
Aristid Breitkreuz 08ecd3ef40 icedtea7 requires giflib 5.0 2014-10-11 15:06:00 +02:00
Oliver Charles 7927e7cc53 haskellPackages.linuxInotify: New expression 2014-10-11 12:49:17 +01:00
Aristid Breitkreuz 49f03ff5e1 Merge pull request #4471 from vbgl/smplayer
Updates SMPlayer to 14.9.0 and adds SMTube
2014-10-11 13:18:55 +02:00
Aristid Breitkreuz 18bf16843a Merge pull request #4467 from vbgl/ocaml
Adds three OCaml libraries: reactiveData, PG’OCaml and MaCaQue
2014-10-11 12:58:21 +02:00
Vincent Laporte 8280d6522e smtube: new package
SMTube allows to search, play and download Youtube videos.

Homepage: http://smplayer.sourceforge.net/smtube.php
2014-10-11 10:56:00 +01:00
Aristid Breitkreuz 650940185b Update giflib to 5.1 properly, by using 5.1.nix rather than 5.0.nix 2014-10-11 11:10:56 +02:00
Vincent Laporte 8320bbaaa3 ocaml-macaque: new package
MaCaQue (or macaque) is a DSL for SQL Queries in Caml.

Homepage: https://github.com/ocsigen/macaque
2014-10-11 00:54:35 +01:00
Vincent Laporte 33bba5f0b3 ocaml-pgocaml: new package
PG'OCaml provides an interface to PostgreSQL databases for OCaml
applications.

Homepage: http://pgocaml.forge.ocamlcore.org/
2014-10-11 00:49:50 +01:00
Vincent Laporte cdf3dc2793 ocaml-reactivedata: new package
reactiveData is an OCaml module for functional reactive programming
(FRP) based on React.

Homepage: https://github.com/hhugo/reactiveData
2014-10-11 00:49:34 +01:00
Shell Turner e56a6c1bec discount: new package 2014-10-10 16:23:26 +01:00
Shell Turner 96fcc3437b libsieve: new package 2014-10-10 16:21:57 +01:00
Jaka Hudoklin 47e8ee287f golang: add golint and gotags 2014-10-10 15:27:44 +02:00
Longrin Wischnewski 56a2f589b8 fritzing: add version 0.9.0b
- An open source prototyping tool for Arduino-based projects
2014-10-10 12:43:39 +02:00
Nathaniel Baxter 309bfdd8a0 pysocks: Fix license typo 2014-10-10 10:42:19 +11:00
Austin Seipp 7ac2be3fab rainbowstream: 0.9.5 -> 1.1.6
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-10-09 17:23:37 -05:00
Austin Seipp cf58933a9b pythonPackages: add pysocks 1.5.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-10-09 17:23:36 -05:00
Austin Seipp a1dba856f1 pythonPackages.twitter: 0.14.3 -> 0.15.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-10-09 17:14:52 -05:00
Austin Seipp 27d95c25e8 pythonPackages.pyfiglet: 0.7.1 -> 0.7.2
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-10-09 17:14:30 -05:00
codyopel 2986ca34d6 rtorrent-git: new package 2014-10-09 20:47:27 +02:00
Aristid Breitkreuz bf1dd8e931 Merge pull request #4423 from FlorentBecker/svg2tikz
new package: svg2tikz
2014-10-09 20:39:06 +02:00
Aristid Breitkreuz afe8b54b49 Merge pull request #4381 from khumba/claws-mail
New packages: claws-mail-3.10.1, libetpan-1.5.
2014-10-09 20:31:01 +02:00
Georges Dubus a172b4b1f8 Merge pull request #4436 from madjar/kde414
Switch to kde 4.14 and remove 4.12
2014-10-09 17:42:19 +02:00
Georges Dubus 205c550e54 Removed kde4_next, because kde 4.14 will be the last kde4 2014-10-09 16:36:40 +02:00
Pascal Wittmann 13048b252f Merge pull request #4426 from ollieh/master
Added granite and pantheon-terminal
2014-10-09 12:39:09 +02:00
Georges Dubus 0295a6c483 Removed kde 4.12 2014-10-09 12:05:56 +02:00
Georges Dubus 0e3911e92b Made kde 4.14 the default kde 2014-10-09 12:00:12 +02:00
Georges Dubus 0ae81afd3f Removed akunambol
It is not maintained anymore, and is not compatible with kde 4.14.
2014-10-09 12:00:12 +02:00
Pascal Wittmann 68ae4ce95a Merge pull request #4431 from DamienCassou/astroid-1.2.1
Astroid 1.2.1
2014-10-09 11:50:10 +02:00
Florent Becker ed8ced514a Add license for svg2tikz 2014-10-09 11:21:00 +02:00
Damien Cassou af770d4c7c Astroid 1.2.1 2014-10-09 10:22:16 +02:00
Michael Raskin 77f497b78d Merge pull request #4428 from mknight-tag/master
New package: MKRAND
2014-10-09 11:50:47 +04:00
M Knight ab17c2b8f5 Add MKRAND 2014-10-08 20:03:09 -05:00
Oliver Hunt 6f64a7cf43 Added granite
Added meta details, changed hash to sha256, and added versions for granite

Changed name to use versions

Fixed license

Yet another typo fix

Added myself as maintainer and fixed typo

Fixed maintainers

Added pantheon terminal

woops
2014-10-09 01:55:27 +02:00
Peter Simons 2da7e03ed7 cabal2nix: fix build with old versions of GHC 2014-10-08 21:04:31 +02:00
Bjørn Forsman 8542ccc248 python-libvirt: update 1.2.7 -> 1.2.9
Should fix breakage due to out-of-sync version with libvirt.
2014-10-08 18:09:52 +02:00
Georges Dubus 8441d45055 Merge pull request #4420 from flazz/master
new: gist – cli for gist.github.com
2014-10-08 17:39:58 +02:00
Shea Levy 302fd99a11 ujson doesn't build on pypy 2014-10-08 10:27:34 -04:00
Francesco Lazzarino 672654f9e9 new: gist – cli for gist.github.com 2014-10-08 07:31:36 -05:00
Domen Kožar 0723adfa26 pythonPackages.circus: add 2014-10-08 13:31:50 +02:00
Florent Becker ced9fd1310 new package: svg2tikz 2014-10-08 11:59:25 +02:00
William A. Kennington III ee8a97a25e corosync: Add package 2014-10-08 01:46:23 -07:00
William A. Kennington III 2ae3cc7ef4 libstatgrab: Add package 2014-10-08 01:27:26 -07:00
William A. Kennington III ed76e77806 librdmacm: Add package 2014-10-08 01:27:26 -07:00
William A. Kennington III 2636436359 libibverbs: Add package 2014-10-08 01:27:26 -07:00
William A. Kennington III 33cd48a470 libqb: Add package 2014-10-08 01:27:26 -07:00
Francesco Lazzarino 585325dc14 New: gnu datamash 2014-10-07 19:41:31 -05:00
Mateusz Kowalczyk 9440e6ba7d haskell-objective: new package 2014-10-07 16:55:12 +01:00
Mateusz Kowalczyk 3a5708ddc2 haskell-clean-unions: new package 2014-10-07 16:55:12 +01:00
Mateusz Kowalczyk 2dc7f89bee haskell-WAVE: new package 2014-10-07 16:08:01 +01:00
Mateusz Kowalczyk 3c22bdd271 haskell-trivia: new package 2014-10-07 16:08:01 +01:00
Domen Kožar b0294578eb add opentracker: free bittorrent tracker project. It aims for minimal resource usage and is intended to run at your wlan router 2014-10-07 17:06:46 +02:00
Nick Sauce bfa942c9bf sigil: new package 2014-10-07 18:51:33 +04:00
Michael Raskin b32dbc8be6 Gajim update 2014-10-07 16:23:28 +04:00
Michael Raskin 5d584c5109 Update gvpe 2014-10-07 16:23:28 +04:00
Michael Raskin c16cce3204 Update freetalk 2014-10-07 16:23:28 +04:00
Luca Bruno e229cfb57c Revert "Merge pull request #4406 from wavewave/proot"
This reverts commit 552d1ec8b3, reversing
changes made to 3432414808.
2014-10-07 14:05:31 +02:00
Domen Kožar 1992bd1331 Merge pull request #4409 from iElectric/redmine
Add Redmine package and NixOS Service
2014-10-07 13:41:46 +02:00
Shea Levy a18a992785 Add ujson python package 2014-10-07 06:32:48 -04:00
Shea Levy 0f37f832c6 tornadokick: bump 2014-10-07 06:12:50 -04:00
lethalman 552d1ec8b3 Merge pull request #4406 from wavewave/proot
proot: User-space implementation of chroot, mount --bind and binfmt_misc
2014-10-07 12:10:39 +02:00
Domen Kožar 8f27aedb46 add redmine package 2014-10-07 10:54:22 +02:00
Christopher Poole 7af2d07f24 Added the dlib machine learning library. 2014-10-07 16:36:30 +11:00
Christopher Poole 19cceb91bd Added the grassroots DICOM library. 2014-10-07 16:01:26 +11:00
Bryan Gardiner de0a388ccf Add claws-mail and libetpan.
Adds Nix expressions for claws-mail (http://www.claws-mail.org) and a
dependency that is not already in the tree, libetpan
(http://www.etpan.org/libetpan.html).

The Claws expression has flags for toggling the build of various plugins.
2014-10-06 18:07:43 -07:00
Ian-Woo Kim 609bea973a proot: User-space implementation of chroot, mount --bind and binfmt_misc 2014-10-07 02:37:23 +02:00
Rob Vermaas bb0c2fab6d Re-add bower/bower2nix, regenerated node-packages-generated.nix 2014-10-06 20:40:14 +02:00
Aristid Breitkreuz a839129fde Merge pull request #4388 from NixOS/minecraft-sound
Minecraft sound with Pulseaudio
2014-10-06 20:08:29 +02:00
Michael Raskin 08c365979a Fix dadadodo entry in all-packages after cleanup 2014-10-06 14:15:43 +04:00
Peter Simons 8ee5bd585f haskell-sloane: update to version 1.9.3
This version supports the latest optparse-applicative.
2014-10-06 11:21:39 +02:00
Peter Simons 06a62d44fb git-annex: blind attempt to fix the build on Darwin 2014-10-06 11:00:12 +02:00
Charles Strahan fc7098abf7 logstash service improvements
* add logstash-contrib plugins package
* add additional options to the logstash service
2014-10-05 21:53:05 -04:00
Michael Raskin a69caaa65b Update linux_latest reference to 3.17 2014-10-06 02:56:14 +04:00
Michael Raskin 4397ec5cab Add Linux 3.17 2014-10-06 02:43:58 +04:00
Oliver Charles 9e155d6d94 haskellPackages.diagramsGtk: New expression 2014-10-05 20:36:11 +01:00
Aristid Breitkreuz 6c7786074f fix sound in minecraft for pulseaudio users 2014-10-05 19:50:35 +02:00
Mateusz Kowalczyk bc2ab990cc haskell-vty: update to 5.2.3 2014-10-05 14:58:30 +01:00
Aristid Breitkreuz 596b4b42ed Merge pull request #4378 from abbradar/deadbeef-fix
fix "Open..." menu items in "deadbeef"
2014-10-05 14:53:44 +02:00
_1126 7536d41287 stumpwm: update and refactoring
This commit updates the stumpwm to version 0.9.8. Futhermore, it
refactors the expression quite a lot:

* stumpwm has been moved from lisp modules to window-managers.
* stumpwm has been added to the window managers NixOS knows about, this
  enables the user to add stumpwm as a default window manager in his
  NixOS configuration like with Xmonad or i3.
* the package has been split into stumpwm and stumpwmContrib. This is
  due to the fact that development of stumpwm and its extension modules
  has been split into two repositories. As of today, the release is the
  last one before this split. This split into two packages only reflect
  those upcoming upstream changes already.

It is planned to make the addition of the extension modules voluntarily,
like with Xmonads option "enableContribAndExtras". Furthermore it might
be possible to add an option to compile stumpwm with clisp instead of
sbcl.
2014-10-05 14:50:08 +02:00
William A. Kennington III 9e5825ba8e iperf: Add major version 3 2014-10-04 17:23:06 -07:00
Peter Simons b1e52be91d perl-packages.nix: strip trailing whitespace 2014-10-04 22:52:21 +02:00
Peter Simons 1f1971b214 perl-Crypt-RandPasswd: update to version 0.06
The old version is no longer available for download.
2014-10-04 22:52:21 +02:00
Peter Simons 1faca0e3d6 perl-Email-Sender: update to version 1.300014
The old version is no longer available for download
2014-10-04 22:52:21 +02:00
Peter Simons dcaa69a2ea perl-Throwable: update to version 0.200010
The old version is no longer available for download
2014-10-04 22:52:21 +02:00
Peter Simons e3c4b9de14 perl-MooX-Types-MooseLike: add version 0.27 2014-10-04 22:52:21 +02:00
Daniel Peebles aa7839c145 Clean up command-line tools a bit to allow us to use an impure
hdiutil (for an upcoming bootstrapped stdenv for darwin!)

Closes #4382
2014-10-04 20:21:15 +01:00
Bjørn Forsman b17b17be73 python-scipy: update 0.12 -> 0.14
I successfully built all reverse dependencies, using this procedure[1]:

  $ nix-env -f . -qaP \* --drv-path | sort > l1
  (...modify package...)
  $ nix-env -f . -qaP \* --drv-path | sort > l2
  $ changed=$(diff l1 l2 | awk '{print $2}' | sort | uniq)
  $ nix-build $(for i in $changed; do echo -A $i; done)

[1]: https://nixos.org/wiki/Contributing
2014-10-04 18:41:42 +02:00
Mateusz Kowalczyk db55a6788a python-xdot: new package 2014-10-04 08:26:34 +01:00
Mateusz Kowalczyk 5bb8260bfb haskell-graphmod: new package 2014-10-04 07:54:12 +01:00
Nikolay Amiantov 1cc3fc871e deadbeef: fix gtk3, use gtk2 by default, allow simultaneous 2014-10-04 01:50:50 +04:00
Damien Cassou 5d294db3b2 shellcheck is packaged twice
I removed development/libraries/haskell/ShellCheck and kept
development/tools/misc/ShellCheck.
2014-10-03 20:16:25 +02:00
Peter Simons 5e62bd5343 Merge pull request #4272 from edwtjo/ihaskell
ihaskell: added package
2014-10-03 19:12:08 +02:00
Nikita Mikhailov cb18839669 python-linode: add myself as maintainer, fix meta 2014-10-03 12:18:50 +02:00
Nikita Mikhailov 28a04ae236 Add linode python binding 2014-10-03 12:18:50 +02:00
Sander van der Burg 0960e30121 node-packages: update titanium to latest stable version and update other NPM packages 2014-10-03 11:46:22 +02:00
AndersonTorres bf560ce496 PGF: "upgrade" to version 3.00
It is not so properly an update, because the old versions will not be
obliterated from Nixpkgs. Hello backwards compatibility, my old friend...
2014-10-03 00:37:43 -03:00
Edward Tjörnhammar 6becaca7b3 ihaskell: added package 2014-10-02 20:53:55 +02:00
Edward Tjörnhammar 949b80a229 system-argv0: added package 2014-10-02 20:53:55 +02:00
Edward Tjörnhammar bf885a8d87 ghc-parser: added package 2014-10-02 20:53:55 +02:00
Edward Tjörnhammar 5765ce1b2d here: added package 2014-10-02 20:53:55 +02:00
Rickard Nilsson 1ccb2f76b5 Merge pull request #4078 from edwtjo/libretro-cores-addendum
XBMC RetroArch integration and some cores
2014-10-02 20:50:49 +02:00
Michael Raskin 907af9e9e6 Merge pull request #3963 from christopherpoole/geant4
Add the Geant4 Monte Carlo radiation transport toolkit and its Python bindings.
2014-10-02 22:42:15 +04:00
Domen Kožar 91c0ba4b20 pythonPackages.webob: 1.3.1 -> 1.4 2014-10-02 20:09:53 +02:00
Rickard Nilsson f615942664 Syntax fix for xbmc/retroarch in all-packages.nix 2014-10-02 20:09:18 +02:00
Edward Tjörnhammar 9d4e344b46 xbmc: enable plugins to be picked up from the store. 2014-10-02 20:09:18 +02:00
Edward Tjörnhammar 9d93f9bcda XBMC AdvancedLauncher RetroArch launchers.
These are wrappers for retroarch wrappers, they are needed since launching a
process from XBMC(as a display manager and probably otherwise), using
AdvancedLauncher, results in it and it's parent recieving the same gamepad
input.

These wrappers will produce no sound on XBMC and AdvancedLauncher setups not
using a sound daemon, since XBMC gets paused while still holding onto the sound
device.
2014-10-02 20:09:18 +02:00
Mateusz Kowalczyk 2e51b2e18a agda-base: new package 2014-10-02 09:49:42 +01:00
Daniel Peebles c55c435ade Add Apple command-line tools
Closes #4365
2014-10-02 06:50:09 +01:00
AndersonTorres 59418454e6 Bochs: adding configurable options
Now, Bochs expression has a bunch of configurable options!

Unhappily, it is a big and complex project, and some configure options
are in constant clash. But the set created for now is very usable and
stable.

Closes #4366
2014-10-02 06:48:50 +01:00
Boris Sukholitko 0d41386f48 haskell: add blank-canvas package
Closes #4356
2014-10-02 06:47:52 +01:00
Boris Sukholitko f806977d78 haskell: add kansas-comet package
Closes #4356
2014-10-02 06:47:47 +01:00
Emery Hemingway 7a610e8b67 assimp: initial package expression for version 3.1.1
Open Asset Import Library is a library for importing 3D models in
various formats

Closes #4352
2014-10-02 06:45:17 +01:00
Mateusz Kowalczyk fa910f2f74 giflib: default to 5.0.5
5.1.0 apparenlty breaks a bunch of stuff, see comments on
61f8cee6ce
2014-10-02 06:24:51 +01:00
Austin Seipp 6e9d62153f Merge pull request #4354 from k0ral/restview
New python package: restview-2.1.1
2014-10-01 18:53:41 -05:00
Austin Seipp 077fcd8829 Merge pull request #4357 from flazz/master
new: Apache Cassandra 2.1.0
2014-10-01 18:52:54 -05:00
Luca Bruno e707530751 giflib: add back the 5.0 version
Should fix tracker and may be used to fix
other packages after commit 61f8cee.

Untested as it takes too much time to recompile
everything these days.
2014-10-02 01:41:35 +02:00
Francesco Lazzarino 17aae5742d Apache Cassandra 2.1.0 2014-10-01 15:25:32 -05:00
koral 041f507937 New python package: restview-2.1.1 2014-10-01 19:04:22 +02:00
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
ambrop7@gmail.com 0e8e45f3ab kde-4.14: Make it all build. 2014-09-24 23:48:39 +02:00
ambrop7@gmail.com f6fd3b7754 indilib: Add version 0.9.9. 2014-09-24 23:48:39 +02:00
ambrop7@gmail.com 9c9f694853 Add non-legacy qt-gstreamer.
Only compile tested (needed by Artikulate in KDE 4.14).
2014-09-24 23:48:39 +02:00
ambrop7@gmail.com 8fef5ed675 kde: Copy 4.12 to 4.14 as a base" 2014-09-24 23:48:38 +02:00
cbpark ea17829df1 Add mersenne-random
Closes #4261
2014-09-24 20:45:32 +01:00
Thomas Strobel 6bc3907b88 Add package: RedNotebook
Closes #4256
2014-09-24 20:33:32 +01:00
Maksymilian Owsianny 4984b30c18 Fixed idris. 2014-09-24 19:50:08 +02:00
Ricardo M. Correia 614a99bd8e cargoSnapshot: Add package
Cargo downloads your Rust project's dependencies and builds your
project.

The cargoSnapshot derivation simply uses a binary build, because
it's not easy to build cargo from source yet.

In the future, it's expected that we'll also add a derivation for
building cargo from source.
2014-09-24 18:18:15 +02:00
Bjørn Forsman b7672b0125 notify-osd: align attrname with package name
This package was added yesterday, so I don't think we need to keep the
old attribute around for backwards compatibility.
2014-09-24 18:09:40 +02:00
Georges Dubus f0a8b57de8 Updated nox 2014-09-24 13:58:41 +02:00
Georges Dubus 204222bf4c Update py and py.test 2014-09-24 13:57:30 +02:00
Jaka Hudoklin 8eed86fba9 add mfoc, Mifare Classic Offline Cracker 2014-09-24 11:20:47 +02:00
Jaka Hudoklin f26c32f920 pythonPackages: add pelican, simple blog generator 2014-09-24 11:17:49 +02:00
Pascal Wittmann a4e66d77d9 Merge pull request #4241 from bodil/notify-osd
Added notify-osd package.
2014-09-24 10:17:33 +02:00
Pascal Wittmann 3b2ba0ae42 falcon: update to lastest git revision as the lastest release does not build 2014-09-23 23:52:18 +02:00
Mateusz Kowalczyk f0a39395f1 Merge pull request #4223 from michelk/saga
Saga: Initial Expression
2014-09-23 22:38:57 +01:00
Mateusz Kowalczyk f0dae64cf3 Merge pull request #4215 from vbgl/camlp4
Adds camlp4
2014-09-23 22:28:54 +01:00
Peter Simons 6476678236 git-annex: link this binary statically to improve start-up times and to get rid of some run-time dependencies
https://github.com/NixOS/nixpkgs/issues/4239
2014-09-23 23:27:19 +02:00
Peter Simons ed6d7c2234 darcs: link this binary statically to avoid run-time dependencies on GHC and friends 2014-09-23 23:27:19 +02:00
Bodil Stokke 1536c1cc0b Added notify-osd package. 2014-09-23 21:58:44 +01:00
Vincent Laporte b9741719fa Fixes ocamlgraph (depends on camlp4) and prooftree (not ready for
OCaml4.02)
2014-09-23 20:48:50 +01:00
Peter Simons 574c2dd3a0 Merge pull request #4226 from ts468/snapper
Add package: snapper
2014-09-23 19:19:07 +02:00
Peter Simons bf957a4f21 haskell-websockets: build with recent versions of QuickCheck 2014-09-23 19:02:52 +02:00
John Wiegley b26da01082 ocamlPackages: pin at 4.01, since much breaks with 4.02 2014-09-23 09:47:56 -05:00
Thomas Strobel 97437ac7a1 Disable tests for snapper-gui 2014-09-23 15:50:50 +02:00
Thomas Strobel 48265fd181 Use Nix default version of boost library. 2014-09-23 15:46:06 +02:00
Domen Kožar 6e8056ada9 further improvements to buildLuaPackage 2014-09-23 13:56:46 +02:00
wyvie 111b5aa38c Assertion throws err message on fail in buildLuaPackage 2014-09-23 13:56:45 +02:00
wyvie 124ccae2e8 Refactored to use callPackage right 2014-09-23 13:56:45 +02:00
wyvie 6bd2f75f1c Switched from import to callPackage 2014-09-23 13:56:45 +02:00
wyvie 5c4362ae5a Simplified lua-packages function arguments to look nicer in all-packages 2014-09-23 13:56:45 +02:00
wyvie e6eb51496b Added luaPackages, moved lua sockets and lua filesystem to luaPackages, fixed mudlet deps 2014-09-23 13:56:45 +02:00
Thomas Strobel 5aa9869066 Add python package: snapper-gui
Graphical frontend for snapper.
Not tested, yet.
2014-09-23 12:18:52 +02:00
Eelco Dolstra 9126447710 Bring back Boost 1.55 for now 2014-09-23 11:58:03 +02:00
Thomas Strobel 1cd703f3a9 Add package: snapper
Snapper is a tool for Linux filesystem snapshot management, developed for OpenSuSE.
2014-09-23 11:46:56 +02:00
Domen Kožar 6e3114a8a3 k3d: 0.8.0.2 -> 0.8.03 2014-09-23 11:33:40 +02:00
Vincent Laporte d274ee3f80 Adds camlp4
Camlp4 is a software system for writing extensible parsers for
programming languages.

Camlp4 was part of the official OCaml distribution until its version
4.01.0.

Homepage: https://github.com/ocaml/camlp4
2014-09-23 09:34:13 +01:00
Mathijs Kwik eb1ed09b1d neoload: provide fake fontconfig file (fixes chroot builds) 2014-09-23 09:17:02 +02:00
Michael Raskin 6b21183afa Fix Ocaml version for MonotoneViz so that lablgtk woks 2014-09-23 10:04:45 +04:00
Mateusz Kowalczyk bffbed3343 Merge pull request #4203 from k0ral/binwalk
Added binwalk package, and its dependency pyqtgraph.
2014-09-23 05:53:51 +01:00
Domen Kožar dded855483 perlPackages.NetAMQP: disable tests 2014-09-23 00:24:52 +02:00
Mateusz Kowalczyk 7fefb6f5c3 tibia: update to 10.55 2014-09-22 23:16:37 +01:00
Vincent Bernardoff 259bbdd5e4 Added OCaml release 4.02.0.
Closes #4197
2014-09-22 20:13:32 +01:00
Paul Koerbitz c15b4e1ac1 Add gforth to development/compilers 2014-09-22 19:56:52 +02:00
Richard Barrell dd57adfb7c Tidy: gparted and gsmartcontrol are not games. 2014-09-22 17:33:40 +01:00
Peter Simons e288ab79e3 Merge pull request #4208 from joachifm/haskell-libmpd-fixes
haskell-libmpd: follow Haskell package conventions
2014-09-22 17:28:34 +02:00
Eelco Dolstra d49991e40a Net::Amazon::S3: Add to channel 2014-09-22 16:41:06 +02:00
Joachim Fasting 4e9963f07b haskell-libmpd: follow Haskell package conventions
This patch brings libmpd into line with Haskell package conventions,
per feedback from @peti at NixOS/nixpkgs#4190.
2014-09-22 16:13:35 +02:00
Michel Kuhlmann 6516bf4dd0 new 'gis' hierachy and initial saga expression 2014-09-22 13:57:20 +02:00
Peter Simons e81b9f4bd8 Merge pull request #4085 from wkennington/master.boost
Boost Updates
2014-09-22 13:53:34 +02:00
koral 47c2b205ae Added binwalk package, and its dependency pyqtgraph. 2014-09-22 12:44:41 +02:00
Edward Tjörnhammar 383f142858 libretro: added bsnes, fba, gambatte, genesis-plus-gx, prboom 2014-09-22 12:35:07 +02:00
Mateusz Kowalczyk e480764d50 haskell-vty: update to 5.2.2 2014-09-21 23:18:59 +01:00
William A. Kennington III a1d6c60e2d mongodb: Fix build 2014-09-21 15:18:16 -07:00
William A. Kennington III 0f7c7279d2 libyamlcpp03: Remove old version 2014-09-21 15:18:16 -07:00
William A. Kennington III f327e9c922 boostHeaders: regular boost package now only contains headers 2014-09-21 15:18:16 -07:00
William A. Kennington III 89cf0e4fea boost: 1.55 -> 1.56 2014-09-21 15:18:16 -07:00
William A. Kennington III 768fe6ed06 boost-build: Add derivation 2014-09-21 15:18:16 -07:00
Callum Rogers 837fef324d haskell-compdata-param: new package, 0.8.0.2
Closes #4198
2014-09-21 22:59:46 +01:00
Domen Kožar 533e0db424 python3Packages.dropbox: disable tests 2014-09-21 22:16:57 +02:00
Daniel Austin c8ba9e285a haskell-jwt: add 0.4.0 2014-09-21 20:15:18 +01:00
Ian Grant Jeffries db23eace0d Add escoger, a terminal fuzzy selector.
default.nix was generated with cabal2nix, but modified to use GitHub as
the source since escoger isn't on Hackage.

Closes #4194
2014-09-21 20:09:11 +01:00
AndersonTorres d3c7ecb2fd Various SLIM themes, obtained from Sourceforge's SLIM website
Closes #3974
2014-09-21 19:55:26 +01:00
Mateusz Kowalczyk 0872d712a0 Merge pull request #4190 from joachifm/haskell-libmpd_0_9
haskell-libmpd: bump to 0.9.0.1
2014-09-21 18:17:44 +01:00
Edward Tjörnhammar 175a40133a ideas: refactored products into common subexpression.
Closes #4039
2014-09-21 15:20:21 +01:00
cillianderoiste 3675926e19 Merge pull request #4189 from vbgl/maintainer
Adds myself as a maintainer
2014-09-21 13:45:37 +02:00
Joachim Fasting fb46d6bce9 xmobar: use haskell-libmpd-0.8.0.5 2014-09-21 13:34:46 +02:00
Joachim Fasting ec32ea31c3 Add haskell-libmpd-0.8.0.5 2014-09-21 13:28:38 +02:00
Pascal Wittmann 115906c52e add shell-conduit 1.1 2014-09-21 12:21:15 +02:00
Vincent Laporte 857c13e1af Minor modifications of some ocaml packages:
adds myself as a maintainer
adds assertions to have evaluation errors rather than build errors
moves opam out of ocamlPackages, as it does not provide a library
2014-09-21 11:02:55 +01:00
Michel Kuhlmann f427a3d849 LASzip: initial expression
Closes #4128
2014-09-21 01:50:14 +01:00
lostdj a54eb8d8b2 ue4demos: new package
Closes #4082
2014-09-21 01:19:00 +01:00
Emery Hemingway d566fffc43 initial package for TREZOR browser plugin
This plugin allows a browser to access a TREZOR device.
It requires a udev rule and a wrapped browser to operate.

Closes #3475
2014-09-21 00:53:49 +01:00
Jaka Hudoklin 1a87e651e9 add thy-hydra: very fast network logon cracker which support many different services 2014-09-21 01:50:43 +02:00
Jaka Hudoklin bc55a057e7 airfield: fix, add package definition to all-packages 2014-09-21 01:49:36 +02:00
wyvie c891dd2719 new package: mudlet-3.0
Closes #4095
2014-09-21 00:45:31 +01:00
AndersonTorres 5c834022e8 Batti (version 0.3.8): New Package
Batti is a small, GTK+UPower-based battery monitor, ideal for
lightweight desktop environments/window managers.

Closes #4031
2014-09-21 00:22:27 +01:00