public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
91,062 Commits 1 Branch 0 Tags 1.5 GiB
Commit Graph

1002 Commits

Author SHA1 Message Date
Robin Gloster 1b979d8384 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-08-03 13:34:44 +00:00
Tuomas Tynkkynen 21f17d69f6 treewide: Add lots of meta.platforms 
Build-tested on x86_64 Linux & Mac.
 2016-08-02 21:42:43 +03:00
Tuomas Tynkkynen 102ffa6be7 treewide: Wrap some really long package descriptions 2016-08-02 21:17:44 +03:00
Tuomas Tynkkynen 59ce911810 treewide: Some EOF-whitespace fixes 2016-08-02 21:17:44 +03:00
Tuomas Tynkkynen 1bf5ded193 treewide: Lots of meta.hydraPlatforms -> meta.platforms 
In all of these files, there is no meta.platforms but only
meta.hydraPlatforms, which doesn't seem to have any purpose except being
inconsistent.
 2016-08-02 21:17:44 +03:00
Robin Gloster 63c7b4f9a7 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-07-31 20:51:34 +00:00
Robert Helgesson 8878e8ec05 leo2: remove use of `builderDefsPackage` (#17398) 2016-07-31 13:57:29 +02:00
Ram Kromberg 78d82f33ac alliance: 5.0 -> 5.1.1 (#17353) 2016-07-30 15:35:51 +01:00
Dmitry Kalinkin 4449ecb617 root: 6.04.16 -> 6.04.18 (#17265) 
root: compile against external gsl

Revert "Revert "root: enable parallel building""

This reverts commit ee1a10ee6b.

ROOT has no problems with parallel build. The problems that caused the
original commit were not related to parallel building.
 2016-07-30 01:41:37 +01:00
Robin Gloster 154af9e67d Merge pull request #9499 from khumba/scilab-bin-5 
scilab-bin: init at 5.5.2
 2016-07-28 16:43:08 +02:00
Marco Maggesi c28eb6c2ba Update HOL Light to version 2016-07-23. 2016-07-28 15:56:20 +02:00
Bryan Gardiner ed071594e5
scilab-bin: init at 5.5.2 
A built-from-source Scilab 5 package looks to be a lot more work, and some
dependencies are missing from Nixpkgs, but the binary version with bundled
dependencies works.
 2016-07-27 21:30:12 -07:00
Gabriel Ebner f970bc67c7 lean: 20160117 -> 2016-07-05 
Fixes #17260.
 2016-07-27 11:01:45 +02:00
Robin Gloster f222d98746 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-07-25 12:47:13 +00:00
Gabriel Ebner 9082476478 cvc4: 1.4 -> 1.5pre-smtcomp2016 2016-07-24 13:11:17 +02:00
Robert Helgesson 1012508356 stellarium: 0.14.2 -> 0.14.3 2016-07-22 23:13:35 +02:00
Robert Helgesson 1bedecb4f9 stellarium: wrap binary using `wrapQtProgram` 
Fixes #13582 where Stellarium segfaults when starting.
 2016-07-22 22:21:17 +02:00
Gabriel Ebner 82f087944b metis-prover: 2.3.20160102 -> 2.3.20160713 2016-07-21 18:41:26 +02:00
Robin Gloster 203846b9de Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-07-19 10:37:02 +00:00
Gabriel Ebner 530a9ab981 Merge remote-tracking branch 'vbgl/why3-0.87.1' 2016-07-18 13:33:50 +02:00
Ben Darwin a896233396 jags: 3.4.0 -> 4.1.0 (#16804) 
* jags: 3.4.0 -> 4.1.0
* unbreak rjags and dependent packages
 2016-07-18 13:11:18 +02:00
vbgl d7cfdc581c coq: 8.5pl1 -> 8.5pl2 (#16863) 2016-07-18 11:33:51 +02:00
Nikolay Amiantov aefd8c420c Merge pull request #17043 from womfoo/fix/qmake4Hook-builds 
reintroduce qmake .pro files after qmake4Hook changes
 2016-07-18 00:11:24 +04:00
Kranium Gikos Mendoza dd778f1756 fritzing: fix qmake4Hook build 
pass phoenix.pro and return unpack logic which were removed in 0b88755
 2016-07-17 22:40:27 +08:00
Joachim F d9701350f9 Merge pull request #16951 from heilkn/lie 
LiE: include forgotten file INFO.a by installation
 2016-07-16 19:54:23 +02:00
Michael Raskin 61a3610853 tptp: 6.3.0 -> 6.4.0 2016-07-16 11:34:32 +02:00
Konstantin Heil c0656fe0c1 LiE: include forgotten file INFO.a by installation 2016-07-14 14:18:57 +02:00
Franz Pletz 26dd9acba5 Merge remote-tracking branch 'origin/master' into hardened-stdenv 2016-07-09 13:21:28 +02:00
Konstantin Heil b92c429799 LiE: init at 2.2.2 2016-06-30 21:04:41 +02:00
Vladimír Čunát 3afa246038 Merge branch 'staging' 
This includes a security update of expat.
 2016-06-29 07:47:04 +02:00
Austin Seipp 25bf4a5634 cryptoverif: init at 1.22 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2016-06-28 04:37:29 +00:00
Austin Seipp a69799c740 statverif: init at 1.86pl4 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2016-06-28 04:36:11 +00:00
Austin Seipp be19637b2a proverif: init at 1.94 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2016-06-28 04:36:11 +00:00
Ta'iř sj Ořit 3832ebde8b gephi: init at 0.9.1 (#16071) 2016-06-26 22:40:00 +02:00
mimadrid 5c7a75412e
igv: init at 2.3.77 2016-06-26 19:27:56 +02:00
Joachim Fasting 46b07b335b Merge pull request #16379 from mimadrid/init/bcftools-1.3.1 
bcftools: init at 1.3.1
 2016-06-24 22:15:51 +02:00
mimadrid d91d245f16
bcftools: init at 1.3.1 2016-06-24 21:08:17 +02:00
mimadrid 14feec44e4
samtools: refactoring 2016-06-24 21:08:17 +02:00
Vladimír Čunát 6b27ceb006 Merge 'master' into staging and re-revert merge 
... from staging to master, reverted temporarily in aa9a04883e.
 2016-06-23 12:09:03 +02:00
Vladimír Čunát aa9a04883e Revert "Merge branch 'staging'" due to glibc 
The main output started to retain dependency on bootstrap-tools; see
https://github.com/NixOS/nixpkgs/pull/15867#issuecomment-227949096

This reverts commit c05d829598, reversing
changes made to f073df60d6.
 2016-06-23 09:25:10 +02:00
Vladimír Čunát c05d829598 Merge branch 'staging' 2016-06-22 10:49:56 +02:00
Gabriel Ebner 0a8e613cea aspino: init at 2016-01-31 2016-06-21 13:55:28 +02:00
Gabriel Ebner 8f84a5cb08 glucose, glucose-syrup: init at 4.0 2016-06-21 13:26:51 +02:00
Gabriel Ebner 9c5588e99f spass: 3.7 -> 3.9 2016-06-21 08:18:20 +02:00
Michael Raskin ca495a53a5 tptp: fix hash 2016-06-20 18:38:08 +02:00
Bjørn Forsman bd01fad0ed Captialize meta.description of all packages 
In line with the Nixpkgs manual.

A mechanical change, done with this command:

  find pkgs -name "*.nix" | \
      while read f; do \
          sed -e 's/description\s*=\s*"\([a-z]\)/description = "\u\1/' -i "$f"; \
      done

I manually skipped some:

* Descriptions starting with an abbreviation, a user name or package name
* Frequently generated expressions (haskell-packages.nix)
 2016-06-20 13:55:52 +02:00
Gabriel Ebner 727716cd82 speedcrunch: 0.11-alpha -> 0.11 2016-06-19 18:45:04 +02:00
Gabriel Ebner e5b3b685f4 libqalculate, qalculate-gtk: 0.9.7 -> 0.9.8 2016-06-19 17:33:45 +02:00
Gabriel Ebner cc0b3bbcc2 minisat: support clang 2016-06-19 15:19:25 +02:00
Vladimír Čunát e757404555 Merge branch 'master' into staging 
Hydra nixpkgs: ?compare=1279790
 2016-06-19 12:33:04 +02:00
Vladimír Čunát 97c484a10f treewide: fix #include errors after gcc-5.4 
They were mostly missing <cmath> or <math.h>.
 2016-06-19 10:18:30 +02:00
mimadrid aa8eba9d95
weka: 3.6.12 -> 3.8.0 
Closes #16055
 2016-06-16 15:47:48 +02:00
mimadrid 9b7a53d9cb
cytoscape: init at 3.4.0 
Closes #16197
 2016-06-16 15:47:21 +02:00
Robin Gloster 8031cba2ab Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-06-10 09:27:04 +00:00
Christopher Lübbemeier ac4903284c gmsh: init at 2.12.0 2016-06-09 18:54:26 +02:00
Vincent Laporte a577b3666e why3: 0.87.0 -> 0.87.1 2016-06-09 09:51:38 +02:00
Luis Pedro Coelho bd617cb185 init bwa at 0.7.15 
Closes #16064
 2016-06-08 17:25:20 +01:00
Tuomas Tynkkynen f1d83444a5 openmodelica: Use makeLibraryPath 2016-06-07 21:18:02 +03:00
Joachim Fasting e65698db0b Merge pull request #15939 from ChrisJefferson/fix-gap 
gap : 4.4.12 -> 4.8.3
 2016-06-04 01:14:09 +02:00
Chris Jefferson 75f793bbb2 gap : 4.4.12 -> 4.8.3 2016-06-03 19:01:12 +01:00
Tuomas Tynkkynen bac26e08db Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
Robin Gloster 2d382f3d98 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-05-30 19:39:34 +00:00
Nikolay Amiantov 51f479465c qgroundcontrol: fix build 2016-05-29 19:51:22 +03:00
Moritz Ulrich 7b2fab05f3 Merge pull request #15606 from dvc94ch/fpga-toolchain-updates 
FPGA toolchain updates
 2016-05-28 15:41:10 +02:00
Vladimír Čunát e4832c7541 Merge branch 'staging' 
Includes a security update of libxml2.
 2016-05-27 15:58:40 +02:00
Vladimír Čunát 81039713fa Merge branch 'master' into staging 
... to get the systemd update (rebuilding ~7k jobs).
 2016-05-26 16:50:22 +02:00
Vladimír Čunát ee1a10ee6b Revert "root: enable parallel building" 
This reverts commit 2991fdca52.
Hydra builds often report missing various files.
 2016-05-26 16:27:59 +02:00
Tobias Geerinckx-Rice dce1edf946
samtools: 1.3 -> 1.3.1 2016-05-25 02:06:47 +02:00
Nicolò Balzarotti c1c0c99af3 yarp: 2.3.64 -> 2.3.65 (#15662) 2016-05-24 13:30:52 +02:00
David Craven 509ce20ded verilog: 0.97 -> 2016.05.21 2016-05-22 07:38:57 +02:00
David Craven ce3d510d90 verilator: 3.874 -> 3.884 2016-05-22 07:38:57 +02:00
Tuomas Tynkkynen 8d473f107c treewide: Make explicit that 'dev' output of readline is used 2016-05-19 10:03:35 +02:00
Tuomas Tynkkynen 47c45e2041 treewide: Make explicit that 'dev' output of gmp is used 2016-05-19 10:00:36 +02:00
Tuomas Tynkkynen 85a51074dc treewide: Make explicit that 'dev' output of atk is used 2016-05-19 10:00:25 +02:00
Franz Pletz f8d481754c
Merge remote-tracking branch 'origin/master' into hardened-stdenv 2016-05-18 17:10:02 +02:00
Peter Simons 8e462995ba Bring my stdenv.lib.maintainers user name in line with my github nick. 2016-05-16 22:49:55 +02:00
Vladimír Čunát 6c2fbfbd77 Merge branch 'master' into staging 2016-05-12 04:53:38 +02:00
Bjørn Forsman 300e495101 sigrok: update whole suite to latest (2016-01) 
Release announcement, 2016-01-30:
https://www.sigrok.org/blog/major-sigrok-releases-libsigrok-libsigrokdecode-sigrok-cli-pulseview

I first tried updating the projects in separate commits. But later I
found cyclic dependencies, that would break git bisect, so I ended up
squashing the commits:

* libsigrok: 0.3.0 -> 0.4.0
  Enable building libsigrokcxx.so, the C++ bindings for libsigrok, by
  adding doxygen, glibmm and python as build deps. This is needed for
  Pulseview >= 0.3.0. Also update the firmware (sigrok-firmware-fx2lafw)
  while at it.

* libsigrokdecode: 0.3.0 -> 0.4.0

* sigrok-cli: 0.5.0 -> 0.6.0

* pulseview: 0.2.0 -> 0.3.0
  New dependency: glibmm (due to libsigrokcxx.pc from libsigrok).

Note that collectd is incompatible with the new libsigrok release, so
I let it use the old one (0.3.0).
 2016-05-11 22:23:29 +02:00
Eelco Dolstra 7ce5d43c63 Fix some URLs that lacked a URI scheme 2016-05-09 19:35:05 +02:00
Vladimír Čunát 65a9fa8cdc Merge branch 'master' into staging 2016-05-08 21:24:48 +02:00
Gabriel Ebner 516f331227 minisat: migrate from builderDefsPackage to mkDerivation 2016-05-08 15:32:58 +02:00
Gabriel Ebner 3f19d757cb veriT: disable broken static linking 2016-05-08 15:11:29 +02:00
Vladimír Čunát 1dc36904d8 Merge #14920: windows improvements, mainly mingw 2016-05-05 08:30:19 +02:00
Joachim Fasting 35efc53274 Merge pull request #15214 from taku0/lp_solve_isnan 
lp_solve: fixed build error due to defining isnan
 2016-05-04 20:55:51 +02:00
taku0 f2bab58b3e lp_solve: change source URL to mirror 2016-05-04 22:17:56 +09:00
taku0 3fa49d5ac4 lp_solve: updated description 2016-05-04 22:03:22 +09:00
taku0 725c85c720 lp_solve: fixed build error due to defining isnan 2016-05-04 19:58:05 +09:00
Tuomas Tynkkynen aadaa91379 Merge remote-tracking branch 'upstream/master' into staging 
Conflicts:
	pkgs/applications/networking/browsers/vivaldi/default.nix
	pkgs/misc/emulators/wine/base.nix
 2016-05-03 23:12:48 +03:00
Robin Gloster c92bca56f8 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-05-02 22:58:02 +00:00
Vincent Laporte 60a7c607d1 hol-light: fix build with camlp5-6.16 2016-05-01 16:10:09 +02:00
Nikolay Amiantov 87ebab128a replace ${stdenv.cc.cc}/lib occurences 2016-05-01 00:13:23 +03:00
Tuomas Tynkkynen 4ff8f377af Merge remote-tracking branch 'upstream/master' into staging 2016-04-28 00:13:53 +03:00
Tuomas Tynkkynen ca0e724266 otter: Mark broken 
Build hangs an hits the hydra time limit:
http://hydra.nixos.org/build/34897110
 2016-04-27 03:24:04 +03:00
Edward Tjörnhammar f027aa2059
jonprl: corrected sha change 2016-04-26 22:23:37 +02:00
Frederik Rietdijk d5e6a4494a Python: use PyPI mirror (#15001) 
* mirrors: add pypi

* Python: Use pypi mirror for all PyPI packages
 2016-04-26 13:38:03 +01:00
Dmitry Kalinkin 088601cb51 root: fix chrooted build, workaround 491f7f017c (cmake: set LIBDIR and INCLUDEDIR for multiple outputs) 2016-04-25 17:38:19 -04:00
Nikolay Amiantov ab0a0c004e makeSearchPathOutputs: refactor to makeSearchPathOutput 2016-04-25 13:24:39 +03:00
Vladimír Čunát e9379f7416 Merge branch 'staging' 
This includes a fix to closure-size regression that moved
share/doc/*/ to share/doc/
 2016-04-22 16:49:09 +02:00
Vincent Laporte 71e0ce571b csdp: fix build on Darwin 
When the `INSTALL` file is present, `make` claims that the `install`
target is up-to-date.
 2016-04-22 11:53:43 +02:00
Nikolay Amiantov fb2c651647 qgroundcontrol: move to qmakeHook 
This reverts commit 11294eaf16.
 2016-04-20 18:55:48 +03:00