jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
75,929 Commits 266 Branches 122 Tags 5.3 GiB
5009b4a8cf
Commit Graph

744 Commits

Author SHA1 Message Date
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
Matthew O'Gorman
f076a0867f
geda: refdes_renum called /usr/bin/perl 2015-12-14 00:04:12 -05:00
Michel Kuhlmann
cebbb18e9e R: 3.2.2 -> 3.2.3 2015-12-11 11:36:30 +01:00
Bjørn Forsman
c27de52d39 eagle: 6.6.0 -> 7.5.0 
* It grew a couple of extra (hard) dependencies:
  libxcb, cups, xkeyboardconfig
* It is also available in native 64-bit version (yay!)
 2015-12-08 22:30:10 +01:00
Frederik Rietdijk
4ff3787adb python spyder: 2.3.7 -> 2.3.8 2015-12-01 20:23:42 +01:00
Vincent Laporte
38eb17c2e2 why3: 0.86.1 -> 0.86.2 2015-12-01 11:04:08 +01:00
Aristid Breitkreuz
158e4ffd9c mathematica package patchPhase does not like set -e 2015-11-30 21:08:30 +01:00
Arseniy Seroka
c6932509b8 Merge pull request #11302 from fkz/sad 
add package: system for automated deduction
 2015-11-27 22:25:44 +03:00
Fabian Schmitthenner
dc164dc2ee system for automated deduction: init at 2.3-25 2015-11-27 15:12:09 +00:00
Domen Kožar
67e03d0c50 Merge branch 'buildPythonPackage+wheels' 2015-11-26 17:38:35 +01:00
John Wiegley
2b8ef119c5 Revert "coq: 8.5b2 -> 8.5b3" 
This reverts commit c111b0cd4d3d9b419e63623364132f2e6e55db44.

@oconnorr I will restore this once there is more ecosystem to support it.
 2015-11-25 12:58:07 -08:00
Nikolay Amiantov
5ee5b5ba82 R: add curl for https support 2015-11-25 11:39:28 +01:00
Joachim Fasting
6d4ff90207 gap: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Joachim Fasting
4229525eac spass: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Joachim Fasting
0a4e12c0e2 opensmt: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Joachim Fasting
c6d645803a iprover: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Joachim Fasting
a228252b69 cvc3: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Joachim Fasting
022bbe1c0c singular: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Joachim Fasting
42fc03411f drgeo: reimplement using mkDerivation 2015-11-24 14:45:15 +01:00
Domen Kožar
4b23328e39 buildPythonPackage: fix more wheels failures 2015-11-21 21:44:12 +01:00
Russell O'Connor
c111b0cd4d coq: 8.5b2 -> 8.5b3 2015-11-19 00:10:22 -05:00
Pascal Wittmann
7fd2796e99 Replace 'with plaforms; platform' with 'platforms.platform' 2015-11-17 21:30:43 +01:00
Marco Maggesi
a487b3326b Update HOL Light to version 2015-11-02 2015-11-03 15:24:56 +01:00
Karn Kallio
87b75c33ce R: advance to version 3.2.2. 
A test failing without recommended packages has been patched.
 2015-10-02 22:15:14 +02:00
Peter Simons
ccd3e52b60 Merge pull request #9917 from FlorentBecker/sage 
Update sage to 6.8
 2015-09-30 17:28:36 +02:00
Vincent Laporte
9a1245280d hol_light: add support for camlp5 > 6.12 2015-09-23 19:04:51 +02:00
Vladimír Čunát
76ef7a93e3 Merge: xlibs and x11 attribute cleanup 
Frequently using multiple *almost* identical attributes is bad.
 2015-09-23 10:42:34 +02:00
Florent Becker
b860b106c5 sage: 6.1.1 -> 6.8 2015-09-22 09:01:33 +00:00