JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
85,700 Commits 2 Branches 0 Tags 12 GiB
832ac8479b
Commit Graph

879 Commits

Author SHA1 Message Date
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
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
Christopher Lübbemeier
ac4903284c gmsh: init at 2.12.0 2016-06-09 18:54:26 +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
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
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
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