Commit Graph

17337 Commits

Author SHA1 Message Date
Vincent Laporte
9f1eb28a20 Adds gappa 1.2.0
Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.

Homepage: http://gappa.gforge.inria.fr/
2015-05-25 19:32:09 +02:00
Eric Merritt
27541f65f3 ocaml-async_find: add initial version (111.28.00) to the system 2015-05-25 10:16:44 -07:00
Eric Merritt
9c4bda2530 ocaml-async_shell: add initial version (109.28.03) to the system 2015-05-25 10:16:43 -07:00
Eric Merritt
96775f0402 ocaml-jingoo: add initial version (1.2.7) to the system 2015-05-25 10:16:43 -07:00
Eric Merritt
c7ba42a516 ocaml-core_extended: add initial version (112.24.00) to the system 2015-05-25 10:16:43 -07:00
Eric Merritt
da56bd3002 ocaml-textutils: add initial version (112.17.00) to the system 2015-05-25 10:16:42 -07:00
Eric Merritt
59b94c36f8 ocaml-re2: add initial version (112.06.00) to the system 2015-05-25 10:16:38 -07:00
Bart Brouns
3ddaf0c32a add bitmeter: also known as jack bitscope. Useful to detect denormals. 2015-05-25 18:56:15 +02:00
Aristid Breitkreuz
04656c6f89 Merge branch 'master' of github.com:NixOS/nixpkgs 2015-05-25 15:32:57 +02:00
Aristid Breitkreuz
c03c7791cc fix roxterm 2015-05-25 15:32:25 +02:00
Edward Tjörnhammar
161fdec0f5 tidy-html5: added package, also provides libtidy5 2015-05-25 15:05:05 +02:00
Tobias Geerinckx-Rice
8d98f626a1 statifier 1.6.15 -> 1.7.3
Also switch to mkDerivation and fix build on amd64.
2015-05-25 13:35:55 +02:00
Tobias Geerinckx-Rice
b10cb12a93 tetgen 1.4.3 -> 1.5.0
Keep version 1.4.3 around as `tetgen_1_4`, because the licence
changed from MIT to AGPL3+ in the meantime.
2015-05-25 13:35:54 +02:00
Edward Tjörnhammar
0e9464478d catch: add version 1.1-3 2015-05-25 10:39:13 +02:00
Thomas Tuegel
d8dab38fda Merge pull request #7899 from thinkpad20/openblas_on_osx
added flags/switches necessary to get openblas to compile on osx
2015-05-24 19:01:50 -05:00
Benjamin Staffin
d3fe5487ad New package: prometheus-collectd-exporter 2015-05-24 14:33:39 -07:00
Benjamin Staffin
af142824cb New package: prometheus-mysqld-exporter 2015-05-24 14:08:16 -07:00
Benjamin Staffin
adf59e7110 New package: prom2json 2015-05-24 14:08:16 -07:00
Eric Merritt
e0f3638fde ocaml-cohttp: add initial version (0.17.1) to the system 2015-05-24 12:33:23 -07:00
Eric Merritt
38cabebc8d ocaml-alcotest: add initial version (0.3.1) to the system 2015-05-24 12:33:21 -07:00
Eric Merritt
745bb72050 ocaml-conduit: add initial version (0.8.3) to the system 2015-05-24 12:33:20 -07:00
Eric Merritt
1c2fcf4115 ocaml-ipaddr: add version (2.6.1) to the system 2015-05-24 12:33:19 -07:00
Eric Merritt
09c6cc19f2 ocaml-async_ssl: add initial version (112.24.03) to the system 2015-05-24 12:33:14 -07:00
Eric Merritt
fbba3c1c33 ocaml-ctypes: add initial version (0.4.1) to the system 2015-05-24 12:33:13 -07:00
Eric Merritt
cd0836233a ocaml-async: add initial version (112.24.00) to the system 2015-05-24 12:33:13 -07:00
Eric Merritt
b20b270607 ocaml-async_extra: add initial version (112.24.00) to the system 2015-05-24 12:33:12 -07:00
Eric Merritt
6fe371a695 ocaml-async_unix: add initial version (112.24.00) to the system 2015-05-24 12:33:09 -07:00
Eric Merritt
a129ec1b9b ocaml-async_kernel: add initial version (112.24.00) to the system 2015-05-24 12:33:07 -07:00
Eric Merritt
ed2782db54 ocaml-core: add initial version (112.24.01) to the system 2015-05-24 12:33:03 -07:00
Eric Merritt
ee089a7f19 ocaml-core_kernel: add initial version (112.24.00) to the system 2015-05-24 12:32:58 -07:00
Eric Merritt
5dc0817b83 ocaml-variantslib: add initial version (109.15.03) to the system 2015-05-24 12:32:57 -07:00
Eric Merritt
e617429759 ocaml-typerep: add initial version (112.24.00) to the system 2015-05-24 12:32:56 -07:00
Eric Merritt
48c98e12d2 ocaml-pipebang: add initial version (110.01.00) to the system 2015-05-24 12:32:55 -07:00
Eric Merritt
74b9ccfe3f ocaml-pa_test: add initial version (112.24.00) to the system 2015-05-24 12:32:55 -07:00
Eric Merritt
6c2a3f35ea ocaml-pa_bench: add initial version (112.06.00) to the system 2015-05-24 12:32:54 -07:00
Eric Merritt
86e8c73d7b ocaml-herelib: add initial version (109.35.02) to the system 2015-05-24 12:32:54 -07:00
Eric Merritt
8a9d5637bc ocaml-custom_printf: add initial version (112.24.00) to the system 2015-05-24 12:32:53 -07:00
Eric Merritt
12c3b11bf4 ocaml-pa_ounit: add initial version (112.24.00) to the system 2015-05-24 12:32:52 -07:00
Eric Merritt
21fa39af2e ocaml-comparelib: add initial version (109.60.00) to the system 2015-05-24 12:32:52 -07:00
Eric Merritt
a88b7ed908 ocaml-bin_prot: add initial version (112.24.00) to the system 2015-05-24 12:32:51 -07:00
Eric Merritt
ea0d507935 sexplib: rename from ocaml_sexplib to sexplib
There really isn't any need for it to be named ocaml_sexplib
2015-05-24 12:32:50 -07:00
Eric Merritt
cac000d73a ocaml-sexplib: upgrade to 112.24.01 2015-05-24 12:32:46 -07:00
Eric Merritt
8751d1ea1a rename ocaml_typeconv to type_conv
The actual name of the package is type_conv
(https://github.com/janestreet/type_conv). Having it named
ocaml_typeconv adds a verbosity that isn't required and actually makes
the package harder to find.
2015-05-24 12:32:45 -07:00
Eric Merritt
82e098fd93 ocaml-typeconv: upgrade to 112.01.01 2015-05-24 12:32:45 -07:00
Pascal Wittmann
72550060dc Merge pull request #7972 from oxij/add-xbomb
xbomb: add version 2.2b
2015-05-24 20:22:56 +02:00
Jan Malakhovski
bdf32ed2ab fetchurl: allow adding meta info; fetchFrom*: add meta.homepage
The point of this is to be able to do `meta.homepage = src.meta.homepage;`
instead of the usual copy-paste for the packages that are hosted
on these hosting services.
2015-05-24 14:26:39 +00:00
Jan Malakhovski
3d02048283 xbomb: add version 2.2b 2015-05-24 14:24:33 +00:00
William A. Kennington III
2ce464dbe9 Merge pull request #7923 from joelmo/patch-4
rpy2: disable pypy
2015-05-23 22:54:05 -07:00
William A. Kennington III
171904e873 Merge pull request #7965 from benley/awscli-1.7.29
awscli: update to 1.7.29
2015-05-23 22:45:17 -07:00
William A. Kennington III
55636defbc Merge pull request #7961 from benley/prometheus
Update Prometheus and its various helper packages
2015-05-23 22:44:21 -07:00
William A. Kennington III
bb6ac771c4 dnsutils: Add smaller derivation of bind 2015-05-23 22:26:23 -07:00
William A. Kennington III
384d8a79d0 Merge pull request #7717 from stephenmw/gcloud
Add the google-cloud-sdk package
2015-05-23 22:14:47 -07:00
Stephen Weinberg
da2aef3685 Add the google-cloud-sdk package 2015-05-24 06:20:45 +02:00
William A. Kennington III
d5ca9c017c idnkit: Add derivation 2015-05-23 19:07:13 -07:00
Benjamin Staffin
50cb206cd5 awscli: update to 1.7.29
Includes updates to bcdoc and botocore.
2015-05-23 18:29:44 -07:00
Benjamin Staffin
b2de6ccc8e Update prometheus and its various helper packages
Updates to:

 - prometheus
 - prometheus-alertmanager
 - prometheus-cli
 - prometheus-mesos-exporter
 - prometheus-node-exporter
 - prometheus-pushgateway
 - prometheus-statsd-bridge
2015-05-23 17:34:43 -07:00
Eric Seidel
59ab07351b emacs-packages: update swiper to 0.5.0 2015-05-23 13:46:48 -07:00
Domen Kožar
42d9fe8b09 gevent: 1.0.1 -> 1.0.2 2015-05-23 14:30:49 +02:00
Florian Friesdorf
6ad9f8e1dd mediathekview-9 2015-05-23 12:41:14 +02:00
Mateusz Kowalczyk
815f85edfd python-livestreamer: update to 1.12.2 2015-05-23 01:40:19 +01:00
William A. Kennington III
1dc671956b consul: 0.5.1 -> 0.5.2 2015-05-22 15:59:05 -07:00
Eric Merritt
d814c50505 add an ocaml specific builder to the system 2015-05-22 10:12:21 -07:00
Arseniy Seroka
f06ec43e8b Merge pull request #7946 from couchemar/isort-3.9.6
Add python package: isort-3.9.6
2015-05-22 20:04:03 +03:00
Andrey Pavlov
e32332b9b5 Add python package: isort-3.9.6 2015-05-22 19:11:27 +03:00
Sander van der Burg
c5fa23cb85 rman: add package 2015-05-22 09:51:32 +00:00
aszlig
b26de39252
gyp: Revive old SVN version to build Chromium.
Works around regression from a305e6855d.

We're also marking it lowPrio to make sure nobody will accidentally
reference it using nix-env -i.

Until we have fixed #7402, we're going to build with the old gyp version
to prevent being affected by https://crbug.com/462153.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2015-05-22 11:37:40 +02:00
William A. Kennington III
efd4fcbebc Merge pull request #7919 from codyopel/gyp
gyp: svn-1977 -> 2015-05-17
2015-05-21 20:18:13 -07:00
Michael Raskin
aca9050ad9 Use 32-bit Wine for Pipelight 2015-05-21 19:48:25 +03:00
John Wiegley
597aebc94d libgcrypt: Set libpcap to null on Darwin 2015-05-21 10:55:54 -05:00
Joel Moberg
a0d3e234ec rpy2: disable pypy 2015-05-21 13:59:58 +02:00
Paulus Esterhazy
c4a8acd983 Add sqlite3_analyzer 2015-05-21 13:57:53 +02:00
Luca Bruno
478e1d6f14 vanubi: use vte 2.90 2015-05-21 12:58:01 +02:00
Joachim Schiele
d254729034 goPackage: enabled checks for goquery/cascadia 2015-05-21 12:55:44 +02:00
Joachim Schiele
ed8e6f62df new goPackage(s): goquery, cascadia 2015-05-21 12:51:04 +02:00
codyopel
a305e6855d gyp: svn-1977 -> 2015-05-17 2015-05-21 05:06:54 -04:00
William A. Kennington III
19c259161b qemu: 2.2.2 -> 2.3.0 2015-05-20 18:30:22 -07:00
Pascal Wittmann
c2dd7622c5 Merge pull request #7914 from pjones/pkg/mpdris2
New package: mpDris2, MPRIS 2 support for mpd
2015-05-20 23:45:35 +02:00
Peter Jones
05a6c34e04 New package: mpDris2, MPRIS 2 support for mpd 2015-05-20 15:37:25 -06:00
jz
f2cc21a8b4 Merge branch 'master' of github.com:NixOS/nixpkgs 2015-05-20 15:18:26 -06:00
Nikolay Amiantov
dbcfd854c8 Merge pull request #7104 from gebner/mozc
Add mozc, a Japanese input method from Google.
2015-05-20 22:20:32 +03:00
Ozan Sener
97160a8644 Add Thrust 0.7.6 2015-05-20 20:58:03 +02:00
Gabriel Ebner
64ecc21b9a Add mozc and its dependency zinnia. 2015-05-20 20:25:23 +02:00
Pascal Wittmann
824da827ac phpPackages.redis: update from 2.2.5 to 2.2.7 2015-05-20 18:53:25 +02:00
Evgeny Egorochkin
d6a8bdcdc6 azure sdk for python: update from 0.9.0 to 0.11.0
Conflicts:
	pkgs/top-level/python-packages.nix
2015-05-20 13:24:39 +03:00
William A. Kennington III
cf94a678f3 consul-alerts: Fix 2015-05-19 22:21:28 -07:00
William A. Kennington III
bbfac173ba go-packages: Fix more packaging 2015-05-19 20:14:03 -07:00
Allen Nelson
ec2f3eb855 added gfortran expression for darwin 2015-05-19 15:59:55 -05:00
Ricardo M. Correia
e2cc63424f rustRegistry: 2015-05-13 -> 2015-05-19 2015-05-19 19:02:37 +02:00
Luca Bruno
10f49c84dd Remove last reference to gnome3.gnome_icon_theme 2015-05-19 14:46:45 +02:00
Luca Bruno
9adde87fea More usage of gnome3.defaultIconTheme 2015-05-19 14:44:27 +02:00
Luca Bruno
68bf202b65 easytag: use gnome defaultIconTheme 2015-05-19 13:26:33 +02:00
Peter Simons
51412f96c0 Merge pull request #7886 from joelmo/numpy
numpy and matplotlib updates
2015-05-19 13:16:11 +02:00
Paulus Esterhazy
557c1401af Add unfree Oracle instant client and SQLPlus CLI utility. 2015-05-19 11:10:11 +02:00
William A. Kennington III
b10472fae9 goPackages: Add dependencies for vault 2015-05-18 19:45:19 -07:00
William A. Kennington III
a6d5a2e442 consul-alerts: Make go-package 2015-05-18 19:45:19 -07:00
William A. Kennington III
d0e45e274b fetchFromBitbucket: Add 2015-05-18 19:45:19 -07:00
William A. Kennington III
f0d324c23a consul-template: Move to go-packages 2015-05-18 19:45:19 -07:00
William A. Kennington III
414b3f2909 consul: Move into the go-packages framework 2015-05-18 19:45:19 -07:00
Herwig Hochleitner
ef9cfd3dda wine: enable 64bit build for wineStaging 2015-05-18 21:01:54 +02:00
Siarhei Zirukin
023aaf8f6d add package: uni-vga 2015-05-18 19:59:27 +02:00
William A. Kennington III
6eecaddced goPackages.tools: Make the build work with the go decoupling 2015-05-18 10:13:33 -07:00
William A. Kennington III
92398e92ff goPackages: Standardize source of built ins 2015-05-18 10:13:33 -07:00
Nikolay Amiantov
e2f0e08b02 bomi: build with PulseAudio support by default 2015-05-18 17:21:08 +03:00
Nikolay Amiantov
4936324273 libbdplus: add package 2015-05-18 17:21:08 +03:00
Pascal Wittmann
132570bace Add colm, a language for program analysis and transformation 2015-05-18 16:07:12 +02:00
Luca Bruno
6af3e25bb9 Add goffice_0_8 back to toplevel 2015-05-18 13:08:48 +02:00
Luca Bruno
99b14de505 Fix evaluation of goffice 0.8 across gnome updates 2015-05-18 13:05:26 +02:00
Luca Bruno
a43bd6bbcd go: add disabled flag for packages 2015-05-18 12:46:22 +02:00
Luca Bruno
25f9555599 Drop GNOME 3.12 2015-05-18 12:24:08 +02:00
Joel Moberg
7bc00dbdaf numpy: 1.8.2 -> 1.9.2 2015-05-18 11:25:56 +02:00
lethalman
efed756e67 Merge pull request #7849 from mschristiansen/mongo-tools-2
MongoDB Tools and Go dependencies
2015-05-18 10:52:49 +02:00
Mikkel Christiansen
734bc9f2e5 Add MongoDB tools and build dependencies. 2015-05-18 10:29:22 +02:00
Thomas Tuegel
6803ddbf60 firefoxWrapper: install icon to hicolor theme 2015-05-17 20:20:24 -05:00
Thomas Tuegel
9529a0dae2 Build free part of Clementine on Hydra
Clementine consists of a large free part (the main application) and a
small part with unfree dependencies (the Spotify blob). Add a top-level
attribute for the free Clementine for users who don't want unfree
software, and so that the bulk of Clementine will be in the binary cache.
2015-05-17 15:41:48 -05:00
Daniel Peebles
ec69293f05 Merge pull request #7516 from joelmo/rpy2
rpy2: initial
2015-05-17 15:42:19 -04:00
C0DEHERO
3a966376bf voxelands: added 1504.01 2015-05-17 20:33:35 +02:00
Benno Fünfstück
592e411c49 Merge pull request #7863 from C0DEHERO/fix/irrlicht-update
irrlicht: update rev 3843 (1.8) -> rev 5104 (1.8)..
2015-05-17 20:15:10 +02:00
Domen Kožar
f26476f7d4 Merge pull request #7871 from joelmo/scipy
scipy: 0.14.0 -> 0.15.1
2015-05-17 17:59:33 +02:00
Joel Moberg
8c1dfabdce rpy2: initial 2015-05-17 15:48:13 +02:00
Joel Moberg
1c678fdcf3 scipy: 0.14.0 -> 0.15.1
Fixes #7870
2015-05-17 15:12:27 +02:00
C0DEHERO
d90dd6d17b irrlicht: update rev 3843 (1.8) -> rev 5104 (1.8); fixed awkward naming; use svn release branch 2015-05-16 22:48:43 -04:00
Arseniy Seroka
78b2afadff Merge pull request #7811 from pmiddend/fcppt
Add fcppt package
2015-05-16 22:37:14 +03:00
Domen Kožar
3efefb5baa greenlet: delete problematic test 2015-05-16 20:56:53 +02:00
Domen Kožar
4c67102a59 pythonPackages.greenlet: 0.4.5 -> 0.4.7 2015-05-16 20:34:40 +02:00
Paulus Esterhazy
dd545e0fa4 Add Jekyll 2015-05-16 19:45:46 +02:00
Pascal Wittmann
4f43b41240 rubberband: fix build
rubberband assumes double precision fftw
2015-05-16 12:51:00 +02:00
Joachim Schiele
3e0c91e55f Merge pull request #7854 from qknight/openal_cleanup
openal to openalSoft conversion
2015-05-16 12:19:12 +02:00
Joel Taylor
82b74ae425 Conditionally link libnatspec with darwin.libiconv
This fixes zip-archive, which depended on darwin.libiconv via GHC and regular libiconv via
libnatspec.
2015-05-15 21:23:06 -07:00
Joachim Schiele
bbd342dcf4 openal to openalSoft conversion 2015-05-16 04:04:35 +02:00
William A. Kennington III
3913d03890 ttylog: Add derivation 2015-05-15 18:38:12 -07:00
Vladimír Čunát
120852e542 freerdpUnstable, cinepaint: fix by using older cmake
Close #7841.
2015-05-15 23:08:23 +02:00
Vladimír Čunát
b7fe141f6b Revert "remove cmake-2.8"
Some packages fail with the only cmake version we've left.
This reverts commit 67199bda4e.
2015-05-15 23:02:41 +02:00
Peter Simons
1ceebca7af hugs is an interpreter, not a compiler 2015-05-15 21:24:02 +02:00
Georges Dubus
91ba92096c rustc: update to 1.0.0 2015-05-15 19:17:25 +02:00
Peter Simons
57c278200a all-packages.nix: strip trailing whitespace 2015-05-15 15:28:09 +02:00
Peter Simons
92312e17e8 Move definitions of 'uhc' and 'jhc' to 'haskell.compiler' attribute set. 2015-05-15 15:28:09 +02:00
Peter Simons
1e0ab1d4ce haskell-packages.nix: remove unused attribute 'haskell.compiler.ghc'
All compilers in that attribute set are versioned.
2015-05-15 15:20:24 +02:00
Peter Simons
4672165582 Remove unused file pkgs/top-level/haskell-ng.nix. 2015-05-15 15:19:57 +02:00
Arseniy Seroka
632eded07c Merge pull request #7838 from benmont/master
pyblosxom: new package
2015-05-15 15:14:02 +03:00
Arseniy Seroka
0b3e2becca Merge pull request #7829 from joamaki/vmware_guest
VMWare guest support and open-vm-tools package
2015-05-15 15:13:30 +03:00
Wout Mertens
ebedf814ce Merge pull request #7847 from spwhitt/libdvdnav
libdvdnav: 4.2.1 -> 5.0.3
2015-05-15 13:21:35 +02:00
Thomas Tuegel
111fec1ba7 Add qca-qt5 2015-05-15 05:48:32 -05:00
Thomas Tuegel
c80638905d Upgrade to kde-frameworks-5.10 2015-05-15 05:48:20 -05:00
Jussi Maki
6a0d21eb86 VMWare guest support and open-vm-tools package 2015-05-15 12:43:21 +02:00
Luca Bruno
58b865cfc6 go: remove renameImports and use goPackageAliases 2015-05-15 11:16:59 +02:00
Peter Simons
ede1606933 gwenhywfar: build with gnutls33 to avoid linker errors
./.libs/libgwenhywfar.so: undefined reference to `gnutls_protocol_set_priority'
2015-05-15 10:59:46 +02:00
Michael Phillips
9579fecd28 pyblosxom: new package 2015-05-15 00:47:46 -05:00
Spencer Whitt
01d7d24dbb libdvdnav: 4.2.1 -> 5.0.3
Keeping the old version around for now in order to support mplayer.
2015-05-14 23:26:16 -04:00
William A. Kennington III
5219d3e3d1 goPackages: Update and add some packages 2015-05-14 18:28:16 -07:00
William A. Kennington III
dcd5ab9cfe goPackages: Update and add some packages 2015-05-14 17:58:30 -07:00