Vladimír Čunát
716aac2519
Merge branch 'staging' into closure-size
2016-01-19 09:55:31 +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
Vladimír Čunát
4858f3307e
R: fix build after splitting gfortran.lib
...
The extra flag was causing static libraries to be found (and used)
before dynamic ones. /cc #12085
2016-01-12 23:57:48 +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
Vladimír Čunát
f9f6f41bff
Merge branch 'master' into closure-size
...
TODO: there was more significant refactoring of qtbase and plasma 5.5
on master, and I'm deferring pointing to correct outputs to later.
2015-12-31 09:53:02 +01: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
Luca Bruno
5b0352a6a4
Merge branch 'master' into closure-size
2015-12-11 18:31:00 +01: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
Luca Bruno
920b1d3591
Merge branch 'master' into closure-size
2015-11-29 16:50:26 +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 c111b0cd4d
2015-11-25 12:58:07 -08:00
Luca Bruno
a412927924
Merge remote-tracking branch 'origin/master' into closure-size
2015-11-25 21:37:30 +01: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
Vladimír Čunát
333d69a5f0
Merge staging into closure-size
...
The most complex problems were from dealing with switches reverted in
the meantime (gcc5, gmp6, ncurses6).
It's likely that darwin is (still) broken nontrivially.
2015-11-20 14:32:58 +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
Vladimír Čunát
fd1619cf60
yices: use correct static gmp
...
It still won't build due to trying to use /sbin/ldconfig,
but gmp-related things do seem OK.
2015-10-28 11:50:05 +01:00
Vladimír Čunát
148e03b2f1
gmp: split into multiple outputs
2015-10-28 10:15:49 +01:00
Vladimír Čunát
cba6641623
cairo, pango: fix some string references
2015-10-13 20:18:51 +02:00
Vladimír Čunát
91407a8bdf
ncurses: split into multiple outputs
...
Some programs (e.g. tput) might better be moved somewhere else than
$dev/bin, but that can be improved later if need be.
2015-10-13 20:18:44 +02:00
