jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
78,337 Commits 266 Branches 122 Tags 5.3 GiB
d47857c3d9
Commit Graph

771 Commits

Author SHA1 Message Date
Robin Gloster
d47857c3d9 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-03-01 21:09:17 +00:00
Vincent Laporte
694a5ba291 eprover: fix build on Darwin 2016-02-29 15:35:40 +01:00
Robin Gloster
4f0608abdb perseus: disable stackprotector hardening 2016-02-29 12:51:28 +00:00
Robin Gloster
3b4765c9e5 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-02-28 16:32:57 +00:00
zimbatm
17348dc094 Remove all dots at end of descriptions 
Specially crafted for @JagaJaga

    find pkgs -name "*.nix" -exec \
      sed -e 's|\(description.*\)\.";|\1";|g' -i {} \;
 2016-02-27 17:30:29 +00:00
Robin Gloster
3477e662e6 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-02-27 00:08:08 +00:00
Franz Pletz
ef0325e940 Merge pull request #13435 from tg-x/calc 
calc: init at 2.12.5.3
 2016-02-26 11:16:11 +01:00
Franz Pletz
db2b0c8406 Merge pull request #13430 from nico202/yarp 
yarp (+ libace): init at 2.3.64
 2016-02-26 09:29:21 +01:00
tg(x)
1fb998f6c6 calc: init at 2.12.5.3 2016-02-24 22:47:55 +01:00
=
a5ed58445f yarp (+ libace): init at 2.3.64 2016-02-24 22:08:29 +01:00
Ben Darwin
69c628e1ff minc-tools: init at 2.3.00 2016-02-23 14:03:56 -05:00
Frederik Rietdijk
40ca841c5c Merge pull request #13124 from FRidh/buildPythonApplication 
buildPythonApplication: use new function for Python applications
 2016-02-23 16:02:10 +01:00
Gabriel Ebner
87b0a41ac5 isabelle: 2015 -> 2016 2016-02-23 14:19:13 +01:00
Robin Gloster
bb2639aafc Merge branch 'curl-7.15-fixup' of https://github.com/zimbatm/nixpkgs into hardened-stdenv 2016-02-22 01:14:22 +00:00
devresse
4046d3ce8d neuron: init at 7.4 2016-02-21 15:02:47 +00:00
Frederik Rietdijk
4d06bf70f4 buildPythonApplication: use new function for Python applications 2016-02-19 13:16:41 +01:00
Robin Gloster
c572cc5159 qalculate-gtk: turn off format hardening 2016-02-12 16:16:52 +00:00
Robin Gloster
0ea02595f7 otter: turn off format hardening 2016-02-12 13:51:05 +00:00
Robin Gloster
0afc644cfd cbc: turn off format hardening 2016-02-09 01:35:33 +00:00
Robin Gloster
457f340785 prover9: turn off format hardening 2016-02-08 00:44:00 +00:00
Robin Gloster
5808bfb977 yacas: no format hardening 2016-02-07 22:51:21 +00:00
Robin Gloster
d117254822 drgeo: turn off format hardening 2016-02-07 20:54:52 +00:00
Robin Gloster
321c57d69e ltl2ba: turn off format hardening 2016-02-07 16:34:05 +00:00
Sven Keidel
ca21ae0eda isabelle: 2014 -> 2015 
Picked from #8510. /cc maintainer @jwiegley.
 2016-02-03 13:51:35 +01:00
Robin Gloster
8c91610cb2 content: remove 
Doesn't build and have been abandoned for years
 2016-01-30 20:31:05 +00:00
Gabriel Ebner
73468cf4d4 tptp: replace use of builderDefsPackage 2016-01-29 10:33:35 +01:00
Gabriel Ebner
462958b3b7 tptp: 6.1.0 -> 6.3.0 2016-01-29 09:37:11 +01:00
John Wiegley
5009b4a8cf coq_8_5: 8.5rc1 -> 8.5 2016-01-25 12:33:31 -08:00
Tobias Geerinckx-Rice
32d40f0f98 Remove no longer (or never) referenced patches 
55 files changed, 6041 deletions. Tested with `nix-build -A tarball`.
 2016-01-24 02:02:21 +01:00
Vladimír Čunát
0957359568 Merge branch 'staging' 2016-01-22 13:48:35 +01:00
Arseniy Seroka
f63db297d6 Merge pull request #12519 from gebner/metis-20160102 
metis-prover: 2.3.20160101 -> 2.3.20160102
 2016-01-21 18:39:57 +03:00
Ricardo M. Correia
194168b722 z3: 4.4.0 -> 4.4.1 2016-01-21 13:27:12 +01:00
Gabriel Ebner
d714963d1b metis-prover: 2.3.20160101 -> 2.3.20160102 2016-01-21 11:26:10 +01:00
Robin Gloster
53b389327e refactor to use autoreconfHook where possible 
Close #12446.
 2016-01-18 10:45:31 +01:00
Pascal Wittmann
ff837f9288 Merge pull request #12443 from gebner/lean-ninja 
lean: update and add wrapper for linja
 2016-01-17 20:00:16 +01:00
Mathieu Boespflug
545444cd19 R: add a new enableStrictBarrier package option. 
This option compiles R with --enable-strict-barrier. Doing so is
enables extra memory diagnostics in R that very useful for debugging
memory leak or memory protections issues in extensions to R written in
C, or for any apps embedding R (e.g. Haskell aps embedding R via
HaskellR).
 2016-01-17 11:09:05 +01:00
Gabriel Ebner
8a26d9b84f lean: add wrapper for linja 2016-01-17 09:29:18 +01:00
Gabriel Ebner
36c430de12 lean: 20150821 -> 20160117 2016-01-17 09:29:05 +01:00
Tobias Geerinckx-Rice
d1232049fb tkgate 2.x: remove dead package 
Broken since April 2014. Homepage leads to an expired domain.
 2016-01-14 23:55:47 +01:00
Asko Soukka
a225a650bf R: fix Darwin build 
Merged manually from https://github.com/NixOS/nixpkgs/pull/10623.
 2016-01-06 22:20:40 +01:00
Vincent Laporte
fde89b6762 alt-ergo: also supported on Darwin 2016-01-04 17:17:44 +01:00
Gabriel Ebner
711e9e20de metis-prover: 2.3 -> 2.3.20160101 2016-01-02 16:04:03 +01:00
Michael Raskin
51f8932c8e pari (PARI/GP): 2.7.4 -> 2.7.5 2016-01-01 12:30:17 +03:00
John Wiegley
d80aa87b13 coqPackages_8_5.coq: 8.5b2 -> 8.5rc1 2015-12-21 16:12:43 -08:00
Thomas Tuegel
541b2f20de fritzing: Qt 5 infrastructure update 2015-12-20 07:56:50 -06:00
Arseniy Seroka
330afe9f4e Merge pull request #11075 from mogorman/pcb 
pcb: new package
 2015-12-17 09:13:54 +03:00
Matthew O'Gorman
09aff6c104
pcb: init at 20140316 2015-12-16 19:29:17 -05:00
Pascal Wittmann
f45b8176c0 Merge pull request #11074 from mogorman/gerbv 
gerbv: new package
 2015-12-16 18:13:20 +01:00
Matthew O'Gorman
a76241c6cb
gerbv: init at git-2015-10-07 2015-12-15 21:11:54 -05:00
Pascal Wittmann
84c3b5f71f Merge pull request #11073 from mogorman/geda_fix 
geda: refdes_renum called /usr/bin/perl
 2015-12-14 07:56:41 +01:00